← Back to branch summary
~verifypn-maintainers/verifypn/u1.2
Changes
Files
~verifypn-maintainers/verifypn/u1.2
:
/
Scripts
/MCC14
(Revision 56)
view revision
view branch changes
Committer:
Jiri Srba
Date:
2015-04-23 20:03:09 UTC
mfrom:
(55.1.10 parserCompetition2015)
Revision ID:
srba@cs.aau.dk-20150423200309-jd52g8z90jyxmv6z
work on competition parsing, fix in paranthesis around conjunction/disjunction, deletion in object for lpsolve,
shell scripts for MCC2015, parsing now avoids using iterator
when not necessary (fixes issues with linux)
Filename
Latest Rev
Last Changed
Committer
Comment
Size
..
BenchKit_head.sh
55.1.8
9 years ago
Jiri Srba
added MCC15 scripts
2.8 KB
run.sh
55.1.8
9 years ago
Jiri Srba
added MCC15 scripts
673 bytes
Loggerhead is a web-based interface for
Breezy
Version: 2.0.1