branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-ltl/verifypn/ltl-spring-2021 1 Development 2021-05-07 10:07:12 UTC
248. Actual log fire count heuristic

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-05-07 10:07:12 UTC

Actual log fire count heuristic

lp:~tapaal-ltl/verifypn/rulek 1 Development 2021-04-08 13:12:40 UTC This branch is empty.
lp:~tapaal-ltl/verifypn/stubborn-heuristic 1 Development 2021-04-02 08:37:27 UTC
282. closure version

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-04-02 08:37:27 UTC

closure version

lp:~tapaal-ltl/verifypn/replay-trace 1 Development 2021-03-26 14:14:14 UTC
259. Commenting the code

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-03-26 14:14:14 UTC

Commenting the code

lp:~tapaal-ltl/verifypn/loopInvariantReduction 1 Development 2021-03-26 10:27:05 UTC
262. Added states explored print and disab...

Author: Simon Virenfeldt
Revision Date: 2021-03-26 10:27:05 UTC

Added states explored print and disabled fallthrough to reachability,

lp:~tapaal-ltl/verifypn/scc-optimise 1 Development 2021-02-11 08:01:33 UTC
247. Misc tweaks/debugging

Author: Nikolaj Jensen Ulrik
Revision Date: 2021-02-11 08:00:53 UTC

Misc tweaks/debugging

lp:~tapaal-ltl/verifypn/ltl-engine 1 Development 2019-10-29 13:46:02 UTC
303. Fixed the last few problems (I hope) ...

Author: Asger Gitz-Johansen
Revision Date: 2019-10-29 13:46:02 UTC

Fixed the last few problems (I hope) with the LTL parsing.

17 of 7 results