← Back to branch summary

~tapaal-ltl/verifypn/traceable-tarjan

From Revision 259 to 240

expand all expand all

Rev   Summary Authors Date Diff Files
259
Added some additional newlines
Simon Virenfeldt 3 years ago Diff Files
258
Add trace levels for internal usage
Nikolaj Jensen Ulrik 3 years ago Diff Files
257
TAPAAL compatible trace format, correct NDFS traces
Nikolaj Jensen Ulrik 3 years ago Diff Files
256
Hotfix and docstring
Nikolaj Jensen Ulrik 3 years ago Diff Files
255
Fixed traceable Tarjan, docstring on Tarjan class
Nikolaj Jensen Ulrik 3 years ago Diff Files
254
Add proper trace support to Tarjan's algorithm
Nikolaj Jensen Ulrik 3 years ago Diff Files
253
Merge lp:~tapaal-ltl/verifypn/traceable-ndfs@256
Simon Virenfeldt 3 years ago Diff Files
252
Merge lp:~tapaal-ltl/verifypn/ruleI.5@253
Simon Virenfeldt 3 years ago Diff Files
251
Merge lp:~tapaal-ltl/verifypn/buchi-better-cleanup@251
Simon Virenfeldt 3 years ago Diff Files
250
High -> Medium optimizations in Spot for less overkill
Nikolaj Jensen Ulrik 3 years ago Diff Files
249
Merge from origin
Nikolaj Jensen Ulrik 3 years ago Diff Files
248
Proper print of CommutativeExpr
Nikolaj Jensen Ulrik 3 years ago Diff Files
247
Merge ltl-cleanup@247
Simon Virenfeldt 3 years ago Diff Files
246
Merge binary-encoder@247
Simon Virenfeldt 3 years ago Diff Files
245
More better printing
Nikolaj Jensen Ulrik 3 years ago Diff Files
244
Better print of LTL algorithm
Nikolaj Jensen Ulrik 3 years ago Diff Files
243
Merge lp:~tapaal-ltl/verifypn/random-ndfs@242
Simon Virenfeldt 3 years ago 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