"git@gitlab.cs.fau.de:hpd/cool.git" did not exist on "d2db7e403b45ba7fc1dc12ffddf126031673e2c3"
Christoph
authored
We need to enforce some assumptions for μ-Calculus. Add (still empty) checker function and call them when importing the forumla
| Name | Last commit | Last update |
|---|---|---|
| benchmarks | ||
| cool2tatl | ||
| examples | ||
| randcool | ||
| src | ||
| .gitignore | ||
| BUGS | ||
| HACKING | ||
| INSTALL | ||
| Makefile | ||
| _oasis | ||
| colorize.sh | ||
| fact.conf | ||
| install-remote.sh | ||
| makestatic.sh | ||
| playground.hs | ||
| tatl-compatibility-wrapper.sh |