verifypn

lp:~verifypn-stub/verifypn/commutative_expr_bug

Created by Peter Gjøl Jensen on 2018-02-16 and last modified on 2018-02-27

Get this branch:: bzr branch lp:~verifypn-stub/verifypn/commutative_expr_bug

Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

No branches dependent on this one.

Merged into lp:verifypn at revision 198

Jiri Srba: Approve on 2018-03-15

Related bugs

Bug #1749684: verifypn engine gives wrong answer

Critical

Fix Released

Remove

Link a bug report

Related blueprints

Branch information

Owner:: verifypn-stub

Project:: verifypn

Status:: Merged

Recent revisions

203. By Peter Gjøl Jensen on 2018-02-27: fixed missing analysis of sub expression
202. By Peter Gjøl Jensen on 2018-02-26: no sorting for substraction
201. By Peter Gjøl Jensen on 2018-02-26: removed faulty optimization, added sane one
200. By Peter Gjøl Jensen on 2018-02-26: removed check for substraction
199. By Peter Gjøl Jensen on 2018-02-21: fixes bug when parsing xml
198. By Peter Gjøl Jensen on 2018-02-16: fixed bug with CommutativeExpr
197. By Jiri Srba on 2018-01-23: merged in branch lp:~verifypn-stub/verifypn/always_compile
forcing a compilation of negation push for fireability predicates
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)
194. By Jiri Srba on 2018-01-13: changed version number to 2.2.0 and copyright to 2018

»

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