Tags

Tags give the ability to mark specific points in history as being important

bbde7e03 · Merge branch 'develop' · Mar 16, 2016

version with possibility to manually perform model-finiding

V0.5

2e2ebee2 · Merge branch 'develop' · Feb 10, 2016
```
version with new grammar
```

070fcf00 · Merge branch 'develop' · Jan 14, 2016

version with kodkod generation and tableview support

V0.3.4

6427e590 · Final fix for functions · Dec 08, 2015
```
another bugfix for fuction invariants
```
V0.3.3

8ebcf956 · bugfix for functions · Dec 08, 2015
```
bugfix for fuction invariants
```
V0.3.2

bf19e988 · Merge branch 'functionFix' · Nov 24, 2015
```
full function support, including only total functions
```
V0.3.1

9122e331 · implementation for recursive function calls · Nov 10, 2015
```
full function support, bugs from 3.1 fixed
```
V0.3

d5787873 · version containing basic function support · Nov 09, 2015
```
basic function support added
```
V0.2

4cf9c0a1 · Support for free variables added · Oct 28, 2015
```
support everything except functions
```
V0.1

8c5ec56b · Added documentation and proper function handling · Oct 27, 2015
```
Creates Sig declarations as Alloy File
```