← Back to branch summary
~tapaal-ltl/verifypn/answer-for-gui
Changes
Files
~tapaal-ltl/verifypn/answer-for-gui
:
/
include
/
LTL
/Simplification
(Revision 231)
view revision
view branch changes
Committer:
srba.jiri at gmail
Date:
2021-04-02 18:13:50 UTC
mfrom:
(230.1.28 mcc2021)
Revision ID:
srba.jiri@gmail.com-20210402181350-k71xtjut3r48l1o5
merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements
Filename
Latest Rev
Last Changed
Committer
Comment
Size
..
SpotToPQL.h
226.21.1
3 years ago
Nikolaj Jensen Ulrik
Documentation in LTL engine
1.6 KB
Loggerhead is a web-based interface for
Breezy
Version: 2.0.1