projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add --lte-restrict-inst-closure option. Push dt.size fairness constraints inside...
[cvc5.git] / src / lib /
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-04-28 Kshitij BansalMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2014-04-11 Morgan DetersBetter support for building with mingw64; thanks to... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-07-24 Morgan DetersFixes for building with mingw win64. tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' tree | commitdiff
2013-02-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-04 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-02-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-31 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489) tree | commitdiff
2013-01-28 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-27 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some... tree | commitdiff
2012-11-05 Morgan Detersfixes for replacement function library tree | commitdiff
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... tree | commitdiff
2012-09-28 Morgan Deterssome fixes to build system tree | commitdiff
2011-09-29 Morgan Detersbuild system fixes tree | commitdiff
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff
2011-05-02 Morgan Detersanother small fix tree | commitdiff
2011-05-02 Morgan Detersfix broken build; sorry, all! tree | commitdiff
2011-04-25 Morgan DetersWeekend work. The main points: tree | commitdiff
2011-03-30 Morgan DetersAdd Valuation::getSatValue() so that theories can acces... tree | commitdiff
2011-03-25 Morgan DetersThis is a merge from the "theoryfixes+cdattrhash" branc... tree | commitdiff
2010-11-19 Morgan DetersMerge from ufprop branch, including: tree | commitdiff
2010-10-03 Morgan Detersfile header documentation regenerated with contributors... tree | commitdiff
2010-10-01 Morgan Detersreplacement implementation for clock_gettime() on mac... tree | commitdiff