lp:~verifypn-stub/verifypn/negation-push

Created by Peter Gjøl Jensen and last modified
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/negation-push
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

231. By Jiri Srba

added documentation for CTL equivalence simplification of formulae

230. By Jiri Srba <email address hidden>

removed array and replaced with vector

229. By Peter Gjøl Jensen

fixed wrong if-eif chain

228. By Peter Gjøl Jensen

added stats for rw

227. By Peter Gjøl Jensen

removed wrong rules

226. By Peter Gjøl Jensen

new rules

225. By Peter Gjøl Jensen

disabled rules that do not speed up computation in general, removed debug, wrapped or/and construction to avoid trivials

224. By Peter Gjøl Jensen

extended negation-push

223. By Peter Gjøl Jensen

udpated rewrite-rules for negation-push

222. By Peter Gjøl Jensen

removed AX and EX rewrites, they are not always correct

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