projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
squash-merge from proof branch
[cvc5.git] / config /
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
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-05-20 Morgan Detersconfigure fix for building with glpk on redhat, perhaps... tree | commitdiff
2013-05-20 Morgan Detersminor changes to language bindings tree | commitdiff
2013-05-16 Morgan Detersconfigure fix for building with glpk on redhat, perhaps... tree | commitdiff
2013-05-16 Morgan Detersminor changes to language bindings tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-03-27 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-26 Morgan DetersFixes for warnings from clang++, from -std=gnu++0x... tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-19 Morgan DetersRemove PropositionalQuery class and all CUDD-related... tree | commitdiff
2013-02-02 lianahmerged master into branch tree | commitdiff
2013-01-22 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org) tree | commitdiff
2012-12-15 Tim KingMerge remote-tracking branch 'main-repo/1.0.x' into... tree | commitdiff
2012-12-08 Morgan DetersMerge from 1.0.x (bugfix for 476). tree | commitdiff
2012-12-08 Morgan DetersFix bug 476: when CxxTest is not found, make the error... tree | commitdiff
2012-11-27 Morgan Detersmore mac fixes tree | commitdiff
2012-11-27 Morgan Detersfix for some Mac builds tree | commitdiff
next