← Back to branch summary

~tapaal-ltl/verifypn/scc-optimise

From Revision 242 to 223

expand all expand all

Rev   Summary Authors Date Diff Files
242
Merge ltl-xml-write@241
Simon Virenfeldt 3 years ago Diff Files
241
Added a none option to ltl to perform a dry run
Simon Virenfeldt 3 years ago Diff Files
240
Fix reachability engine not being called
Nikolaj Jensen Ulrik 3 years ago Diff Files
239
Disable LTL query simplifications if queryReductionTimeout i...
Simon Virenfeldt 3 years ago Diff Files
238
Merge integration@241
Nikolaj Jensen Ulrik 3 years ago Diff Files
237
Merge weak-tarjan2@237
Nikolaj Jensen Ulrik 3 years ago Diff Files
236
Minor tweaks in Tarjan
Nikolaj Jensen Ulrik 3 years ago Diff Files
235
Merge ltl-structural-reductions@267 into ltl_model_checker@2...
Simon Virenfeldt 3 years ago Diff Files
234
Merge query-simplifications into ltl_model_checker
Nikolaj Jensen Ulrik 3 years ago Diff Files
233
Merge ltl-weak-ndfs
Simon Virenfeldt 3 years ago Diff Files
232
Merge branch resumable-suc-generator
Simon Virenfeldt 3 years ago Diff Files
231
Merge spot-integration
Simon Virenfeldt 3 years ago Diff Files
230
Fixed bug in CTLVisitor And & Or condition resulting in not ...
Simon Virenfeldt 3 years ago Diff Files
229
Fix nullptr deref when visiting UntilExpression
Nikolaj Jensen Ulrik 3 years ago Diff Files
228
Merge ltl_xml_parser into ltl_model_checker
Simon Virenfeldt 3 years ago Diff Files
227
Added missing dependency
Simon Virenfeldt 3 years ago Diff Files
226
updated version number to 3.1.0
srba.jiri at gmail 3 years ago Diff Files
225
merged in lp:~verifypn-maintainers/verifypn/interval_tar doi...
srba.jiri at gmail 3 years ago Diff Files
224
updated MCC 2020 competition script
Jiri Srba 3 years ago Diff Files
223
fixed a bug in MCC20 script BC should be BK
Jiri Srba 4 years ago Diff Files