projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix regression option (#4680)
[cvc5.git] / src / lib /
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-09-07 Mathias PreinerRemove clock_gettime() replacement for macOS. (#2436) tree | commitdiff
2018-09-05 Mathias PreinerAdd HAVE_CLOCK_GETTIME guard to clock_gettime.c (#2428) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2016-12-02 Tim KingMerge pull request #95 from 4tXJ7f/fix_sierra_build tree | commitdiff
2016-12-02 Andres NotzliFix build on macOS Sierra tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-09 Kshitij Bansalcardinality operation for finite sets (based on my... tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-02-01 Tim KingRemoving the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard... tree | commitdiff
2016-02-01 Tim KingGeneralizing lib/strtok_r.c so that it can always be... tree | commitdiff
2016-02-01 Tim KingGeneralizing the implementation of lib/clock_gettime... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2015-12-30 Tim KingShuffling around public vs. private headers tree | commitdiff
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