projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed40bba) | patch
Better error in case of nonlinear assertions while in linear logic
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 13 Mar 2013 22:27:11 +0000 (18:27 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 21 Mar 2013 20:25:13 +0000 (16:25 -0400)
commit2a2c5102e10a8b3f1091bc50916fda5e766b5d4a
treee358fead2796386ed99fece5f964643b6979a4dftree
parented40bbae19622ff29e1ca6eb873d20262ed21926commit | diff
Better error in case of nonlinear assertions while in linear logic
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/normal_form.cpp diff | blob | history