lp:~verifypn-stub/verifypn/encoder-fix

Created by Peter Gjøl Jensen on 2018-01-15 and last modified on 2018-01-15
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/encoder-fix
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

195. By Peter Gjøl Jensen on 2018-01-15

fixed typo in encoder

194. By Jiri Srba on 2018-01-13

changed version number to 2.2.0 and copyright to 2018

193. By Jiri Srba <email address hidden> on 2018-01-04

merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction
for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm

192. By Jiri Srba <email address hidden> on 2017-12-14

merged in branch lp:~verifypn-stub/verifypn/conjunction
- Compiles inequalities into a convex constraint-system when possible.
- Unfolds fire-ability propositions on-the-fly instead of up front.
- Removes occurrences of same variable of each side of an equality over commutative arithmetic operators (eg a+b+c<=a can be rewritten b+c<=0).
- Compiles id-expressions and constants directly into an array of a commutative arithmetic expression rather than as child-objects.
- Constructs lazy linear programs into a (balanced) tree instead of a linear walk through (fixes issue with stack-overflow).

191. By Jiri Srba <email address hidden> on 2017-12-13

merged in branch lp:~verifypn-stub/verifypn/po-fixes fixing partial order reduction for equality and nonequality

190. By Jiri Srba <email address hidden> on 2017-12-04

merged in branch lp:~verifypn-stub/verifypn/initrw additing initial marking rewriting test

189. By Jiri Srba <email address hidden> on 2017-12-04

merged in branch lp:~verifypn-stub/verifypn/new-ctl

188. By Jiri Srba <email address hidden> on 2017-11-30

merged in branch lp:~verifypn-stub/verifypn/negation-push and logical equivalnces to query processing

187. By Jiri Srba <email address hidden> on 2017-11-20

merged in branch lp:~verifypn-stub/verifypn/query-opt addion query simplification optmizations

186. By Jiri Srba <email address hidden> on 2017-09-21

merged in branch fixing a bug in the encoder

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