projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #73 from kbansal/parser-dont-tokenize
[cvc5.git] / src / theory / rewriter.h
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw
2014-11-17 Liana HadareanResource-limiting work. blob | commitdiff | raw
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