lp:~verifypn-stub/verifypn/ctl_search_strategies

Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/ctl_search_strategies
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-stub
Project:
verifypn
Status:
Merged

Recent revisions

290. By Peter Gjøl Jensen

merged with trunk

289. By Peter Gjøl Jensen

copied over old implementation and modified to fit with new structure

288. By Peter Gjøl Jensen

added search strategies to CTL

287. By Peter Gjøl Jensen

fixed signed/unsigned bug

286. By Peter Gjøl Jensen

smaller closure

285. By Peter Gjøl Jensen

fixed upper bounds bug

284. By Peter Gjøl Jensen

fixed upper bounds encoding

283. By Peter Gjøl Jensen

fixed bug in encoding

282. By Peter Gjøl Jensen

added binary input/output

281. By Peter Gjøl Jensen

disabled H for NEXT, only NEXT safe rule is C

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:verifypn
This branch contains Public information 
Everyone can see this information.

Subscribers