|
lp:~tapaal-dist-ctl/verifypn/logicaloperator_change
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/warning_fix
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/new_deadlocksupport
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/escapeKey_issue_fix
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/true_false_and_equal_support
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/arbitrary_query_count_support
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/ParserRefactoring_The_Correct_One
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/ctl-cache-single-succ
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-conf-opti
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-and-or-opti
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-ctl-fast-eval
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-ctl-config-hash
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-ctl-bfs
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-ctl-hash
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-ctl-lazy-explore
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-dist-ctl/verifypn/verifypn-ctl-ef-order
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~verifypn-maintainers/verifypn/multiplePlaceBounds
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~tapaal-ctl/verifypn/verifypnCTL
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Søren Moss Nielsen
|
|
lp:~tapaal-ctl/verifypn/verifypnCTL
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Superseded |
Søren Moss Nielsen
|
|
lp:~tapaal-ctl/verifypn/verifypnCTL
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Superseded |
Søren Moss Nielsen
|
|
lp:~tapaal-ctl/verifypn/verifypnCTL
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Superseded |
Søren Moss Nielsen
|
|
lp:~tapaal-ctl/verifypn/verifypnCTL
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Superseded |
Søren Moss Nielsen
|
|
lp:~tapaal-ctl/verifypn/verifypnCTL
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Superseded |
Søren Moss Nielsen
|
|
lp:~verifypn-maintainers/verifypn/parserCompetition2015
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/xmlParsingOrderFix
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/ruleCfix
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/lpsolve-no-dlopen
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jonas Finnemann Jensen
|
|
lp:~verifypn-maintainers/verifypn/sumoXMLparsing
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/QuotedQueryIdentifiers
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jonas Finnemann Jensen
|
|
lp:~verifypn-maintainers/verifypn/newPNMLparserID
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/verifypnRuleBfix
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/memoryLimitBug
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/placeBoundStatistics
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/statistics
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
|
lp:~verifypn-maintainers/verifypn/reductions
⇒
lp:~verifypn-maintainers/verifypn/trunk
|
Merged |
Jiri Srba
|
