lp:~verifypn-stub/verifypn/conjunction

Created by Peter Gjøl Jensen on 2017-12-05 and last modified on 2017-12-14
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/conjunction
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

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

removed unused lambda function

214. By Peter Gjøl Jensen on 2017-12-13

fixed warnings

213. By Peter Gjøl Jensen on 2017-12-12

renabled formula output

212. By Peter Gjøl Jensen on 2017-12-11

small things

211. By Peter Gjøl Jensen on 2017-12-11

made merging a tree-construction to avoid stack overflows

210. By Peter Gjøl Jensen on 2017-12-11

changed to best setting, removed output, fixed size computation to be more fair

209. By Peter Gjøl Jensen on 2017-12-08

changed to const ref

208. By Peter Gjøl Jensen on 2017-12-08

replaced map with unordered version

207. By Peter Gjøl Jensen on 2017-12-08

seems to do the trick

206. By Peter Gjøl Jensen on 2017-12-07

fixed output and removed expensive size-call

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