lp:~verifypn-cpn/verifypn/queryUnfold

Created by Mark Glavind on 2019-04-29 and last modified on 2019-05-06
Get this branch:
bzr branch lp:~verifypn-cpn/verifypn/queryUnfold
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

245. By Mark Glavind on 2019-05-06

WIP on making export dynmaic to match the required format of verifydtapn

244. By Mark Glavind on 2019-05-02

added new options for query out save destination and model out save destination

243. By Mark Glavind on 2019-05-02

added isReachability and containsNext to Condition. Exporting unfolded query to xml now works

242. By Mark Glavind on 2019-05-01

WIP on writing unfolded query

241. By Mark Glavind on 2019-05-01

We can now unfold queries, missing functionality before we can write

240. By Mark Glavind on 2019-05-01

Done removing unnecessary functionality for query unfolding, can now compile. Fixed an issue where parenthes on intervals were not created properly

239. By Mark Glavind on 2019-05-01

Missing evaluate for PlusExpr and MultiplyExpr constructors

238. By Mark Glavind on 2019-04-30

WIP on clearing files for unfolding queries

237. By Niels Christensen on 2019-04-30

WIP making queries work

236. By Mark Glavind on 2019-04-30

WIP on clearing files for unfolding queries

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