|
lp:~verifypn-cpn/verifypn/relevant-inhib-fix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~tapaal-ltl/verifypn/simple-ltl-heuristics
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~verifypn-cpn/verifypn/xml_visitor
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~jespoke/verifypn/relevant-inhib-fix
⇒
lp:verifypn
|
Merged |
Jesper Adriaan Van Diepen
|
|
lp:~tapaal-ltl/verifypn/reach-stub-new
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~ragusaen/verifypn/verifypn
⇒
lp:verifypn
|
Merged |
Rasmus Tollund
|
|
lp:~tapaal-contributor/verifypn/Fix-partition-id-clash-1939939
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
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:~yrke/verifypn/fixed-required-bison-version
⇒
lp:verifypn
|
Merged |
Kenneth Yrke Jørgensen
|
|
lp:~tapaal-ltl/verifypn/ltl-trace-fixes
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
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:~yrke/verifypn/github-automation
⇒
lp:verifypn
|
Merged |
Kenneth Yrke Jørgensen
|
|
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:~verifypn-cpn/verifypn/graceful-exitting
⇒
lp:verifypn
|
Merged |
Peter Haahr Taankvist
|
|
lp:~tapaal-contributor/verifypn/update-parser
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
lp:~verifypn-cpn/verifypn/optimize-unfolding
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
lp:~verifypn-cpn/verifypn/partitioning
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
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/stubborn-set-refactor
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-ltl/verifypn/ltl-model-checker
⇒
lp:verifypn
|
Merged |
Nikolaj Jensen Ulrik
|
|
lp:~tapaal-contributor/verifypn/unfoldTACPN
⇒
lp:verifypn
|
Needs review |
Thomas Pedersen
|
|
lp:~tapaal-contributor/verifypn/remove_debug_print-1906837
⇒
lp:verifypn
|
Needs review |
Thomas Pedersen
|
|
lp:~tapaal-contributor/verifypn/show-reduced-net
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
lp:~tapaal-contributor/verifypn/show-reduced-net
⇒
lp:verifypn
|
Merged |
Thomas Pedersen
|
|
lp:~verifypn-maintainers/verifypn/interval_tar
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-cpn/verifypn/eq-push-fix-trunk
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-maintainers/verifypn/emptyTracePrint
⇒
lp:verifypn
|
Merged |
Jiri Srba
|
|
lp:~verifypn-cpn/verifypn/rulef-tracefix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-cpn/verifypn/query_rewrite_fix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-cpn/verifypn/unfold-improve
⇒
lp:verifypn
|
Merged |
Andreas Klostergaard
|
|
lp:~verifypn-cpn/verifypn/SuccGen-simp
⇒
lp:verifypn
|
Work in progress |
Andreas Klostergaard
|
|
lp:~verifypn-stub/verifypn/rulei-segfault
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/inhibitor-por-error
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-cpn/verifypn/col_weight_fix
⇒
lp:verifypn
|
Merged |
Andreas Klostergaard
|
|
lp:~verifypn-stub/verifypn/inhib-por-bugfix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/dl-structural-bug
⇒
lp:verifypn
|
Merged |
Jiri Srba
|
|
lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade
⇒
lp:verifypn
|
Merged |
Andreas Klostergaard
|
|
lp:~verifypn-cpn/verifypn/trunk-cpn-upgrade
⇒
lp:verifypn
|
Superseded |
Jiri Srba
|
|
lp:~verifypn-cpn/verifypn/cpn_ctlss
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/ctl_por_bug
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/commutative_expr_bug
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/always_compile
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/encoder-fix
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/ctl-structural
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/conjunction
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/po-fixes
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/initrw
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/new-ctl
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/negation-push
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/query-opt
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/encoder_bug
⇒
lp:verifypn
|
Merged |
Jiri Srba
|
|
lp:~verifypn-stub/verifypn/substraction-fix
⇒
lp:verifypn
|
Merged |
Jiri Srba
|
|
lp:~verifypn-stub/verifypn/inhib
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
⇒
lp:verifypn
|
Merged |
Lasse S. Jensen
|
|
lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
⇒
lp:verifypn
|
Superseded |
Søren Moss Nielsen
|
|
lp:~verifypn-stub/verifypn/short-circut
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/ctl-flow
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~verifypn-stub/verifypn/structural-reduction-statistics
⇒
lp:verifypn
|
Merged |
Mads Johannsen
|
|
lp:~verifypn-stub/verifypn/qr-metrics
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~verifypn-stub/verifypn/simplification_timout
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/simplification_mem
⇒
lp:verifypn
|
Merged |
Peter Gjøl Jensen
|
|
lp:~verifypn-stub/verifypn/interesting
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~tapaal-dist-ctl/verifypn/ss-cleanup
⇒
lp:verifypn
|
Merged |
Lasse S. Jensen
|
|
lp:~verifypn-stub/verifypn/memory_bug_fix
⇒
lp:verifypn
|
Merged |
Mads Johannsen
|
|
lp:~tapaal-dist-ctl/verifypn/ss-cleanup
⇒
lp:verifypn
|
Superseded |
Lasse S. Jensen
|
|
lp:~verifypn-stub/verifypn/bad_alloc_fix
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~verifypn-stub/verifypn/CTL-strategy-adjustment
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~verifypn-stub/verifypn/flagship
⇒
lp:verifypn
|
Merged |
Jakob Dyhr
|
|
lp:~tapaal-dist-ctl/verifypn/new-verifypn-w-ctl
⇒
lp:verifypn
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/new-verifypn-w-ctl
⇒
lp:verifypn
|
Superseded |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/new-verifypn-w-ctl
⇒
lp:verifypn
|
Superseded |
Lasse S. Jensen
|
|
lp:~tapaal-dist-ctl/verifypn/new-verifypn-w-ctl
⇒
lp:verifypn
|
Superseded |
Lasse S. Jensen
|
