4.0.0

• merge the following repositories to simply install / code releases:
  • https://github.com/coq-io/evaluate
  • https://github.com/coq-io/exception
  • https://github.com/coq-io/list
• add compatibility with Coq 8.9

3.3.0

Compiles with the -compat 8.4 option to support both Coq 8.4 and 8.5.

3.2.0

Notations for the runs

3.1.0

Function let_ret added

3.0.0

.gitignore updated for Coq 8.5

2.1.0

Concurrency.

2.0.0

Sources moved to src/

1.0.0

Cosmetic