lp:~verifypn-stub/verifypn/always_compile

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

204. By Peter Gjøl Jensen on 2018-01-23

added error message

203. By Peter Gjøl Jensen on 2018-01-23

removed un-needed check

202. By Peter Gjøl Jensen on 2018-01-23

removed debug

201. By Peter Gjøl Jensen on 2018-01-23

using return flags

200. By Peter Gjøl Jensen on 2018-01-23

fixed conflicting flag detection

199. By Peter Gjøl Jensen on 2018-01-23

fixed bug in conjunction compilation

198. By Peter Gjøl Jensen on 2018-01-22

removed redundant negation-push from CTL

197. By Peter Gjøl Jensen on 2018-01-22

always run negation-push prior to any analysis of query

196. By Jiri Srba on 2018-01-15

updated the license file

195. By Jiri Srba on 2018-01-15

merged branch lp:~verifypn-stub/verifypn/encoder-fix fixing a bug in encoder (memcpy)

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