lp:~verifypn-cpn/verifypn/cfp_point-wise

Created by Thomas Pedersen and last modified
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/cfp_point-wise
Members of verifypn-cpn can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifypn-cpn
Project:
verifypn
Status:
Abandoned

Recent revisions

284. By Thomas Pedersen <email address hidden>

Fix handling of vars not on in arcs and unfolding of initial tokens

283. By Thomas Pedersen <email address hidden>

Fix bugs causing us to unfold too much

282. By Thomas Pedersen <email address hidden>

Clear valid bindings between iterations

281. By Thomas Pedersen <email address hidden>

Undo push of wrong code

280. By Thomas Pedersen <email address hidden>

Fix intersection in tuples

279. By Thomas Pedersen <email address hidden>

Convert color fixpoint creation to pointwise version

278. By Thomas Pedersen <email address hidden>

Add negation push in guard parser

277. By Thomas Pedersen <email address hidden>

Fix lower max-interval values not unfolding correctly

276. By Thomas Pedersen <email address hidden>

Implement timeout and print max intervals

275. By Thomas Pedersen <email address hidden>

Add naive timeout

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