Skip to content
GitLab
Explore
Sign in
Spot
divine-ltsmin-deb
Repository
divine-ltsmin-deb
tools
dvecompile.cpp
Find file
Blame
History
Permalink
Completed DiVinE / SPIN LTL semantics for deadlocks.
· 87ac63e7
Alfons Laarman
authored
Mar 23, 2011
Added LTSmin semantics under -L (io -l). (Closes #552)
87ac63e7