src/Main.hs · dcf0342bd1d66dadef79c9cc711707aa38cfc893 · i7 / peregrine · GitLab

Find file Blame History Permalink

Added parsing of lola formulas and added an option · dcf0342b
Philipp Meyer authored Jul 09, 2014
```
to detect deadlocks unless a formula is satisfied
```
dcf0342b

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum