verifypn

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

Created by Jakob Dyhr and last modified
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/negation-simplify
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

173. By Jakob Dyhr

Merge with trunk

172. By Jakob Dyhr

Add the negation-hack to other operators, and fix bug in EQ and NE simplification

171. By Jiri Srba <email address hidden>

Merged in branch lp:~verifypn-stub/verifypn/simplification_mem

170. By Jiri Srba

merged in branch lp:~verifypn-stub/verifypn/interesting

169. By Jiri Srba <email address hidden>

updated BenchKit head

168. By Jiri Srba <email address hidden>

fixed compilation bugs in the merged branch lp:~tapaal-dist-ctl/verifypn/ss-cleanup

167. By Jiri Srba <email address hidden>

merged in branch bzr merge lp:~tapaal-dist-ctl/verifypn/ss-cleanup

166. By Jiri Srba <email address hidden>

fixed mem limit options

165. By Jiri Srba <email address hidden>

added lpsolve_MemLimit to option print and set the default to 2048 according to the -h switch

164. By Jiri Srba

merged in branch lp:~verifypn-stub/verifypn/memory_bug_fix

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