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

Created by Thomas Pedersen on 2021-01-05 and last modified on 2021-01-12
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:
Development

Recent revisions

284. By Thomas Pedersen <email address hidden> on 2021-01-12

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

283. By Thomas Pedersen <email address hidden> on 2021-01-10

Fix bugs causing us to unfold too much

282. By Thomas Pedersen <email address hidden> on 2021-01-06

Clear valid bindings between iterations

281. By Thomas Pedersen <email address hidden> on 2021-01-06

Undo push of wrong code

280. By Thomas Pedersen <email address hidden> on 2021-01-06

Fix intersection in tuples

279. By Thomas Pedersen <email address hidden> on 2021-01-05

Convert color fixpoint creation to pointwise version

278. By Thomas Pedersen <email address hidden> on 2021-01-02

Add negation push in guard parser

277. By Thomas Pedersen <email address hidden> on 2021-01-02

Fix lower max-interval values not unfolding correctly

276. By Thomas Pedersen <email address hidden> on 2020-12-30

Implement timeout and print max intervals

275. By Thomas Pedersen <email address hidden> on 2020-12-30

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