projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[proof-new] Optimizing sat proof (#6324)
[cvc5.git] / COPYING
2021-03-31 Aina NiemetzFix years in COPYING. (#6248) blob | commitdiff | raw
2021-03-23 Haniel BarbosaRemoving unused build options and deprecated proof... blob | commitdiff | raw | diff to current
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... blob | commitdiff | raw | diff to current
2020-07-17 Gereon KremerIntegration of libpoly (#4679) blob | commitdiff | raw | diff to current
2020-02-03 Andrew V. JonesRenaming '--bsd' to '--no-gpl' (#3609) blob | commitdiff | raw | diff to current
2019-10-15 Andres NoetzliRemove remaining references to Boost and Autotools... blob | commitdiff | raw | diff to current
2018-05-14 Mathias PreinerAdd contrib/get-symfpu for downloading symfpu. (#1905) blob | commitdiff | raw | diff to current
2018-03-20 Mathias PreinerAdd support for CaDiCaL as eager BV SAT solver. (#1675) blob | commitdiff | raw | diff to current
2017-10-05 Mathias PreinerSplit COPYING file, add missing licenses. (#1195) blob | commitdiff | raw | diff to current
2017-09-29 Clark BarrettA few updates to license files. blob | commitdiff | raw | diff to current
2017-09-29 Andres NoetzliAdd license information for GMP blob | commitdiff | raw | diff to current
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210) blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-05-05 Clark BarrettUpdate to COPYING 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-13 Clark BarrettMinor changes to AUTHORS and COPYING blob | commitdiff | raw | diff to current
2014-11-13 Morgan DetersCopyright text fixes. blob | commitdiff | raw | diff to current
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-09-26 Morgan DetersClarify some licensing-related things. 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-02 Morgan DetersMinor. blob | commitdiff | raw | diff to current
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' blob | commitdiff | raw | diff to current
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' blob | commitdiff | raw | diff to current
2014-06-19 Morgan DetersDocumentation clean-ups. blob | commitdiff | raw | diff to current
2014-06-17 Tim KingMerge pull request #33 from mdeters/arith-proposal blob | commitdiff | raw | diff to current
2014-06-17 Morgan DetersDocumentation clean-ups. blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersSwitch license default back to BSD, and add --best... blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersUpdate copyright year. blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersNEWS reorganization. blob | commitdiff | raw | diff to current
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw | diff to current
2013-04-26 Tim KingFCSimplex branch merge blob | commitdiff | raw | diff to current
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions blob | commitdiff | raw | diff to current
2013-02-16 Morgan DetersSome cleanup and copyright updating blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2013-01-22 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersFix wording on GPL in legal notices; also remove an... blob | commitdiff | raw | diff to current
2012-02-21 Morgan Detersdon't require libboost_thread (its presence is detected... blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge blob | commitdiff | raw | diff to current
2012-02-12 Morgan Deterscopyright year updated to 2012 blob | commitdiff | raw | diff to current
2011-04-10 Morgan Detersmerge from replay branch blob | commitdiff | raw | diff to current
2010-11-08 Morgan Detersfix out-of-date version/copyright for minisats blob | commitdiff | raw | diff to current
2010-09-27 ACSYSadd workaround for systems (i.e., Mac OS X) that don... blob | commitdiff | raw | diff to current
2010-07-05 Morgan Detersworkaround for strange CIMS installation of automake... blob | commitdiff | raw | diff to current
2010-07-03 Morgan DetersWith this commit come a number of changes to build... blob | commitdiff | raw | diff to current
2010-04-05 Morgan Detersupdating COPYING file to reflect that antlr_input_impor... blob | commitdiff | raw | diff to current
2010-04-01 Morgan DetersPARSER STUFF: blob | commitdiff | raw | diff to current
2010-03-05 Morgan Deters* public/private code untangled (smt/smt_engine.h no... blob | commitdiff | raw | diff to current
2009-11-12 Morgan Detersparser, minisat, other things.. blob | commitdiff | raw | diff to current
2009-11-03 Morgan Deterscommit of project structure including autotools support blob | commitdiff | raw | diff to current