|
lp:~tapaal-ltl/verifypn/simple-ltl-heuristics
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/reach-stub-new
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/kbound-fix-ltl
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ltl-trace-fixes
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ltl-spring-2021
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/rule-D-fix
⇒
lp:verifypn
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/answer-for-gui
⇒
lp:verifypn
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/ltl-neg-fix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~tapaal-ltl/verifypn/ltl-stubborn-merge
⇒
lp:~tapaal-ltl/verifypn/random-fix
|
Needs review |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/random-fix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~tapaal-ltl/verifypn/mcc2021
⇒
lp:verifypn
|
Merged |
Jiri Srba
|
|
lp:~tapaal-ltl/verifypn/embed_nba_export
⇒
lp:~tapaal-ltl/verifypn/ltl-trunk
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/stubborn-set-refactor
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ltl-model-checker
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/traceable-tarjan
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ruleI.5
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/traceable-ndfs
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/buchi-better-cleanup
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ltl-cleanup
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/binary-encoder
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/random-ndfs
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/ltl-xml-write
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/integration
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/weak-tarjan2
⇒
lp:~tapaal-ltl/verifypn/ltl-model-checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/ltl-structural-reductions
⇒
lp:~tapaal-ltl/verifypn/ltl_model_checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/query-simplifications
⇒
lp:~tapaal-ltl/verifypn/ltl_model_checker
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ltl-weak-ndfs
⇒
lp:~tapaal-ltl/verifypn/ltl_model_checker
|
Merged |
Simon Virenfeldt
|
|
lp:~tapaal-ltl/verifypn/resumable-suc-generator
⇒
lp:~tapaal-ltl/verifypn/ltl_model_checker
|
Merged |
Simon Virenfeldt
|
