src/Parser/LOLA.hs · 769f3e0955ea073d4aa47bac5e5c46593cc7cf4b · i7 / peregrine · GitLab

7.12.2023: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.

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