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 / rewriter.h
2020-11-16 Gereon KremerImprove accuracy of resource limitation (#4763) blob | commitdiff | raw
2020-10-21 Andrew Reynolds(proof-new) Fixes for proofs in rewriter (#5307) blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-09-02 Andrew Reynolds(proof-new) Updates to builtin proof checker (#4962) blob | commitdiff | raw | diff to current
2020-07-14 Andrew Reynolds(proof-new) Skeleton proof support in the Rewriter... blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... blob | commitdiff | raw | diff to current
2020-04-02 Andres NoetzliInitialize theory rewriters in theories (#4197) blob | commitdiff | raw | diff to current
2020-03-11 Andres NoetzliIntroduce tables in the rewriter (#3742) blob | commitdiff | raw | diff to current
2019-12-09 Andres NoetzliMake theory rewriters non-static (#3547) blob | commitdiff | raw | diff to current
2019-03-26 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... blob | commitdiff | raw | diff to current
2018-06-25 Aina NiemetzUpdated copyright headers. blob | commitdiff | raw | diff to current
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw | diff to current
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf blob | commitdiff | raw | diff to current
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master blob | commitdiff | raw | diff to current
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... blob | commitdiff | raw | diff to current
2017-01-11 Tim KingAdding regression test scrubbing. 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
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking blob | commitdiff | raw | diff to current
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-11-17 Liana HadareanResource-limiting work. 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-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-21 Tim KingAdding the changes needed to delete rewriter attributes... blob | commitdiff | raw | diff to current
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... blob | commitdiff | raw | diff to current
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... 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
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Fix some regressions' expected outputs. 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-14 Dejan Jovanović* removing rewriteEquality from the rewriter 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
2011-10-17 Dejan JovanovićSharing work blob | commitdiff | raw | diff to current
2011-09-28 Morgan Detersvariety of visibility fixes (should clean up some of... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-05-05 Morgan DetersMerge from nonclausal-simplification-v2 branch: blob | commitdiff | raw | diff to current
2011-01-05 Dejan JovanovićCommit for the theory engine and rewriter changes.... blob | commitdiff | raw | diff to current