← Back to branch summary
~tapaal-dist-ctl/verifypn/arbitrary_query_count_support
Changes
Files
~tapaal-dist-ctl/verifypn/arbitrary_query_count_support
:
/
Scripts
/MCC16
(Revision 89)
view revision
view branch changes
Committer:
Jiri Srba
Date:
2016-04-15 15:15:34 UTC
Revision ID:
srba.jiri@gmail.com-20160415151534-5tcqnrbsd202zxxr
one fix in the script in upper bounds
Filename
Latest Rev
Last Changed
Committer
Comment
Size
..
competition-scripts
69
8 years ago
Jiri Srba
added competition scripts
test-scripts
65
8 years ago
Jiri Srba
added test scripts for MCC 2016
Loggerhead is a web-based interface for
Breezy
Version: 2.0.1