projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4bebb3) | patch
Fixes for the arithmetic normal form and rewriter to handle arbitrary constants for...
authorTim King <taking@cs.nyu.edu>
Sun, 11 Nov 2012 00:28:05 +0000 (00:28 +0000)
committerTim King <taking@cs.nyu.edu>
Sun, 11 Nov 2012 00:28:05 +0000 (00:28 +0000)
commit341794b1cbd5693010c78b9f5bfe232ee90404b0
treeb03c9a0d39050cf0fb5dbfe7393435adc7c5de19tree
parenta4bebb3ec1e27b433b63dcb2b82f6385e0c40561commit | diff
Fixes for the arithmetic normal form and rewriter to handle arbitrary constants for total functions.
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/arith_rewriter.h diff | blob | history
src/theory/arith/normal_form.cpp diff | blob | history