verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: verifypn-cpn

Project:: verifypn

Status:: Abandoned

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