~tapaal-ltl/verifypn/ltl-spring-2021 : changes

~tapaal-ltl/verifypn/ltl-spring-2021 » Changes from revision 273

From Revision 273 to 254

Rev	Summary	Authors	Date
273	fully revert tapaal.sh back to trunk version (aka MCC submis... fully revert tapaal.sh back to trunk version (aka MCC submission), newer LTL script can be found in tapaal-tweaked-rev270.sh	Nikolaj Jensen Ulrik	2 years ago
272	Move rev 270 change in tapaal.sh to new file and revert 270 Move rev 270 change in tapaal.sh to new file and revert 270	Nikolaj Jensen Ulrik	2 years ago
271	fix warnings fix warnings	Nikolaj Jensen Ulrik	2 years ago
270	Refine MCC21 competition script with fresh heuristic and no ... Refine MCC21 competition script with fresh heuristic and no stubborn sets in random phase	Nikolaj Jensen Ulrik	2 years ago
269	Fix heuristics not being used Fix heuristics not being used	Nikolaj Jensen Ulrik	2 years ago
268	hov hov	Nikolaj Jensen Ulrik	2 years ago
267	Fix crash in Tarjan's algorithm when trying to generate a tr... Fix crash in Tarjan's algorithm when trying to generate a trace when the invariant self loop optimization triggers	Nikolaj Jensen Ulrik	2 years ago
266	Fix traces also in NDFS Fix traces also in NDFS	Nikolaj Jensen Ulrik	2 years ago
265	Fixing trace formats Fixing trace formats	Nikolaj Jensen Ulrik	2 years ago
264	Print GUI-friendly output string from LTL Print GUI-friendly output string from LTL	Nikolaj Jensen Ulrik	2 years ago
263	More sane trace behaviour maybe More sane trace behaviour maybe	Nikolaj Jensen Ulrik	2 years ago
262	WIP fixing bad traces, still some bugs left WIP fixing bad traces, still some bugs left	Nikolaj Jensen Ulrik	2 years ago
261	Fix stupid nullptr Fix stupid nullptr	Nikolaj Jensen Ulrik	2 years ago
260	Merge verifypn@245 Merge verifypn@245	Nikolaj Jensen Ulrik	2 years ago
259	Merge verifypn@243 into ltl-spring-2021@258 Merge verifypn@243 into ltl-spring-2021@258	Nikolaj Jensen Ulrik	2 years ago
258	Removing unused files and some debug code Removing unused files and some debug code	Nikolaj Jensen Ulrik	2 years ago
257	More elaborate parsing scheme for LTL heuristics More elaborate parsing scheme for LTL heuristics	Nikolaj Jensen Ulrik	2 years ago
256	Enable NDFS heuristics and tracing under RDFS Enable NDFS heuristics and tracing under RDFS	Nikolaj Jensen Ulrik	2 years ago
255	Updated tapaal.sh to contain our best configuration. Updated tapaal.sh to contain our best configuration.	Simon Virenfeldt	2 years ago
254	Merge lp:verifypn@238 Merge lp:verifypn@238	Simon Virenfeldt	2 years ago

Older »