Merge lp:~tapaal-ltl/verifypn/ltl-stubborn-merge into lp:~tapaal-ltl/verifypn/random-fix
Proposed by
Nikolaj Jensen Ulrik
| Status: | Needs review |
|---|---|
| Proposed branch: | lp:~tapaal-ltl/verifypn/ltl-stubborn-merge |
| Merge into: | lp:~tapaal-ltl/verifypn/random-fix |
| To merge this branch: | bzr merge lp:~tapaal-ltl/verifypn/ltl-stubborn-merge |
| Related bugs: |
| Reviewer | Review Type | Date Requested | Status |
|---|---|---|---|
| tapaal-ltl | Pending | ||
|
Review via email:
|
|||
Commit message
Stubborn sets for LTL. Defaults to reachability subformula stubborn method.
To post a comment you must log in.
Unmerged revisions
- 290. By Nikolaj Jensen Ulrik
-
Realign help and options parse v2
- 289. By Nikolaj Jensen Ulrik
-
Realign help and options parse (whoops!)
- 288. By Nikolaj Jensen Ulrik
-
Remove RandomNDFS and use NestedDepthFirs
tSearch for random NDFS instead - 287. By Nikolaj Jensen Ulrik
-
Reformulate POR documentation in -h
- 286. By Nikolaj Jensen Ulrik
-
Fixing warnings
- 285. By Nikolaj Jensen Ulrik
-
Fix build error, document --ltl-por
- 284. By Nikolaj Jensen Ulrik
-
Merge reach-aut-stub@275
- 283. By Nikolaj Jensen Ulrik
-
Merge random-fix@240
- 282. By Nikolaj Jensen Ulrik
-
Replace extstack with dentry bit on CEntry
- 281. By Nikolaj Jensen Ulrik
-
Merge remote@282
