projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add bag inferences for operators: intersection, duplicate_removal, and empty bags...
[cvc5.git] / contrib / theoryskel /
2018-04-02 Clark BarrettRemove references to nyu (#1721) tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2016-01-06 Tim KingAdd SmtGlobals Class tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-17 Morgan DetersNew, uniform checkTime statistic for all theories ... tree | commitdiff
2014-11-10 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-11-05 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-17 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-16 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-11 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' tree | commitdiff
2014-10-09 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-07 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-06 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-03 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-10-02 Morgan DetersMerge branch '1.4.x'. tree | commitdiff
2014-09-30 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-27 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. tree | commitdiff
2014-09-17 Kshitij BansalMerge branch '1.4.x' tree | commitdiff
2014-09-03 Kshitij BansalMerge remote-tracking branch 'origin/master' tree | commitdiff
2014-09-03 Kshitij Bansalcheck() optimization tree | commitdiff
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-04-01 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-31 Morgan DetersTravis-CI test for new-theory script, also related... tree | commitdiff
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-27 Morgan DetersGeneral pre-release cleanup commit tree | commitdiff
2013-11-12 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-12 Morgan DetersFix new-theory script for new, flattened build system. tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms... tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-08 Morgan DetersFix typos in alttheoryskel tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-24 Morgan DetersTheory "alternates" support tree | commitdiff
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... tree | commitdiff
2012-02-27 Morgan Detersfixes to new-theory script; resolves bug #307 tree | commitdiff
2012-02-13 François Bobotprecision in theoryskel tree | commitdiff
2012-02-12 Morgan Detersseparate new-theory components into a "theoryskel"... tree | commitdiff