projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Initial implementation of SygusUnifRL (#1829)
[cvc5.git] / config /
2018-04-19 Andres NoetzliRemove tap-driver.sh (#1791) tree | commitdiff
2018-04-06 Andres Noetzli Python regression script (#1662) tree | commitdiff
2018-03-26 Andres NoetzliMake Java bindings work with newer build envs (#1709) tree | commitdiff
2018-03-20 Mathias PreinerAdd support for CaDiCaL as eager BV SAT solver. (#1675) tree | commitdiff
2018-03-13 Mathias PreinerUse Cryptominisat version 5.0.2 (instead of 4.2.0)... tree | commitdiff
2018-02-08 Mathias PreinerCheck whether Cryptominisat4/ABC was installed via... tree | commitdiff
2017-10-03 Mathias PreinerAdd Cryptominisat and LFSC to --show-config output... tree | commitdiff
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210) tree | commitdiff
2017-08-25 Aina NiemetzMove LFSC checker out of the CVC repository. (#222) tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-14 Mathias PreinerUse antlr-3.4 directory if already present in CVC4... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Andres NoetzliUse is_sorted, merge, copy from std (#199) tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-13 Aina Niemetzautoconf: make -std=gnu++11 mandatory tree | commitdiff
2017-05-28 Clark BarrettMerge pull request #164 from CVC4/fix_comp tree | commitdiff
2017-05-28 Andres Noetzli[Competition] Fix ABC, fix CryptoMiniSat req tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-05-25 Liana HadareanMerged cryptominisat from experimental branch. tree | commitdiff
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-07-20 Tim KingFix for BOOST_SED_CPP for gcc-5. tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-23 Clark BarrettA few more minor updates to match google repository... tree | commitdiff
2014-09-26 Morgan DetersMerge branch '1.4.x' tree | commitdiff
2014-09-26 Morgan DetersFix some configuration-related oddness. tree | commitdiff
2014-09-26 Morgan DetersClarify some licensing-related things. tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #34 from mdeters/datatypes-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #37 from mdeters/quants-kinds tree | commitdiff
2014-06-25 Andrew ReynoldsMerge pull request #38 from mdeters/uf-kinds tree | commitdiff
2014-06-24 Morgan DetersFix header check for glpk.h. tree | commitdiff
2014-06-23 Morgan DetersFix header check for glpk.h. tree | commitdiff
2014-06-22 Morgan DetersBetter documentation pages. tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-22 lianahMerge pull request #39 from mdeters/bv-warnings tree | commitdiff
2014-06-22 lianahMerge pull request #35 from mdeters/bv-kinds tree | commitdiff
2014-06-22 Morgan DetersAPI documentation improvements. tree | commitdiff
2014-06-19 Morgan DetersMinor Doxygen fixes. tree | commitdiff
2014-06-19 Morgan DetersFix for pre-C++11 is_sorted(). tree | commitdiff
2014-06-19 Morgan DetersClean up glpk detection a little, fix a detection bug. tree | commitdiff
2014-06-19 Morgan DetersMinor fixes to get-abc script and configure stuff. tree | commitdiff
2014-06-19 Morgan Detersget-glpk-cut-log script, and configure code. tree | commitdiff
2014-06-18 Morgan DetersMinor Doxygen fixes. tree | commitdiff
2014-06-18 Morgan DetersFix for pre-C++11 is_sorted(). tree | commitdiff
2014-06-17 Morgan DetersClean up glpk detection a little, fix a detection bug. tree | commitdiff
2014-06-17 Morgan DetersMinor fixes to get-abc script and configure stuff. tree | commitdiff
2014-06-17 Morgan Detersget-glpk-cut-log script, and configure code. tree | commitdiff
2014-06-17 Morgan DetersClean up glpk detection a little, fix a detection bug. tree | commitdiff
2014-06-16 Morgan DetersMinor fixes to get-abc script and configure stuff. tree | commitdiff
2014-06-16 Morgan Detersget-glpk-cut-log script, and configure code. tree | commitdiff
2014-06-11 Morgan Deters--best now implies --with-glpk --with-abc tree | commitdiff
2014-06-11 Morgan DetersSome clean-up, post bv-merge. tree | commitdiff
2014-05-19 Tim KingFixing documentation for glpk configuration. tree | commitdiff
2014-05-05 Tim KingImproving documentation for glpk-cut-log switch. tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-03-08 Tim KingMerge pull request #18 from timothy-king/master tree | commitdiff
2014-03-08 Tim KingMerge remote-tracking branch 'CVC4root/master' tree | commitdiff
2014-03-07 Tim KingMerging a squash of the branch timothy-king/CVC4/glpkne... tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-18 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-01-18 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-17 Kshitij BansalMerge branch '1.3.x' tree | commitdiff
2014-01-17 Kshitij Bansalenable search for html doc tree | commitdiff
2014-01-09 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-01-09 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-09 Morgan Detersgmp is again default, not cln, for build ID (reverting... tree | commitdiff
2014-01-08 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-08 Morgan DetersSwitch license default back to BSD, and add --best... tree | commitdiff
2014-01-02 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-26 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-24 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-23 Morgan Deterscln now default w.r.t. build ID string tree | commitdiff
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... tree | commitdiff
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-12-17 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2013-12-17 Morgan Deterssome config changes: new --bsd option, readline gives... tree | commitdiff
2013-12-15 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-12-11 Morgan DetersGLPK build identifier, license warnings. tree | commitdiff
2013-12-09 Morgan DetersGLPK build identifier, license warnings. tree | commitdiff
2013-11-21 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-14 Morgan DetersMinor fixes for Mac OS Mavericks tree | commitdiff
2013-11-11 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-11-11 Morgan DetersSome fixes to build system with dependency-tracking... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. tree | commitdiff
2013-08-26 Kshitij BansalMerge branch '1.2.x' tree | commitdiff
2013-07-29 Morgan DetersFix numerous compiler warnings on various platforms tree | commitdiff
next