projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Move first order model for full model check to own file (#5918)
[cvc5.git] / src / theory / bv / theory_bv_rewrite_rules_constant_evaluation.h
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-02-27 Andres NoetzliFix -Wshadow warnings in common headers (#3826) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-02-08 Aina NiemetzUpdated copyright blob | commitdiff | raw | diff to current
2018-02-07 Aina NiemetzRenamed bv::utils::isBVGroundTerm to isBvConstTerm... blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-03-06 Clark BarrettAdding support for bool-to-bv blob | commitdiff | raw | diff to current
2016-04-20 PaulMengupdate from the master blob | commitdiff | raw | diff to current
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2016-04-04 Tim KingUpdating the copyright headers and scripts. blob | commitdiff | raw | diff to current
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... blob | commitdiff | raw | diff to current
2014-07-01 Morgan DetersUpdate copyrights. blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-07-16 Morgan DetersMinor bugfixes to model-building blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-14 Tim KingRemoving BVDebug and replacing with Debug. blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into... blob | commitdiff | raw | diff to current
2012-12-12 Dejan JovanovićMerge pull request #2 from CVC4/1.0.x blob | commitdiff | raw | diff to current
2012-12-12 Dejan JovanovićMerge pull request #1 from lianah/1.0.x blob | commitdiff | raw | diff to current
2012-12-12 lianah* fixed bug 481 by adding check for division by 0 in... blob | commitdiff | raw | diff to current
2012-11-13 Liana Hadareanadded support for division by zero for bit-vector divis... blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... blob | commitdiff | raw | diff to current
2012-06-28 Clark BarrettFixed bug in bv rewriter that caused wrong answer in... blob | commitdiff | raw | diff to current
2012-06-13 Clark BarrettFixes lots of problems in bv rewrite rules and adds... blob | commitdiff | raw | diff to current
2012-05-28 Clark BarrettAdded some BV rewrites, fixed bugs in array theory... blob | commitdiff | raw | diff to current
2012-04-04 Liana Hadarean * added propagation as lemmas to TheoryBV: blob | commitdiff | raw | diff to current
2012-03-22 Liana HadareanMerged updated version of the bitvector theory: blob | commitdiff | raw | diff to current