src/Parser/LOLA.hs · 769f3e0955ea073d4aa47bac5e5c46593cc7cf4b · 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