Tags

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

tests-2020-july-1

6dde7960 · Fixed argumentedStateWriter issue · Jul 01, 2020

Release: tests-2020-july-1
```
Test Case Generator used for tests-2020-july-1
```
test-case-gen-1.0

93175f49 · Updated readme · Jun 26, 2020

Release: test-case-gen-1.0
```
Working test case generator for TLA+ Model
```
1.1.0

e8839910 · Add license and all that · Jun 23, 2020

Release: 1.1.0