projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a478abe 213c2c4)
Merge pull request #152 from timothy-king/delta-rational-value-cases-second-submission
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 24 Apr 2017 01:07:54 +0000 (20:07 -0500)
committerGitHub <noreply@github.com>
Mon, 24 Apr 2017 01:07:54 +0000 (20:07 -0500)
Updating TheoryArithPrivate::getDeltaValue() to eagerly use the parti…


Trivial merge