projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixing documentation for glpk configuration.
[cvc5.git] / config /
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
2012-11-27 Morgan Detersgive warning at configure-time about unsupported langua... tree | commitdiff
2012-10-26 Morgan Detersnew boost.m4 makes boost-thread require boost-system... tree | commitdiff
2012-10-24 Morgan DetersIncludes many fixes to build system for Solaris (thanks... tree | commitdiff
2012-10-06 Morgan Detersturn off cudd by default in configure script tree | commitdiff
2012-10-06 Morgan Deters* Clean up some options documentation tree | commitdiff
2012-10-06 Morgan Deters* Some documentation about building compatibility and... tree | commitdiff
2012-09-21 Morgan DetersSMT-LIBv2 compliance updates: tree | commitdiff
2012-08-29 Morgan Deters* Numerous documentation fixes (fix doxygen warnings... tree | commitdiff
2012-08-28 Morgan Detersfixes for Mac and automake 1.12 detection tree | commitdiff
2012-07-08 Morgan DetersBugs resolved by this commit: #314, #322, #359, #364... tree | commitdiff
2012-06-13 Morgan DetersDon't use the "inlined" feature of ANTLR 3.2, which... tree | commitdiff
2012-03-30 Dejan Jovanovićfixing some build systme warnings tree | commitdiff
2012-02-22 Morgan Detersfixes to configure and boost.m4 to make certain boost... tree | commitdiff
2012-02-22 Morgan Detersmake sure to clear out READLINE_LIBS if readline causes... tree | commitdiff
2012-02-20 Morgan Detersportfolio merge tree | commitdiff
2012-02-20 Morgan Detersreadline links in -ltermcap -ltinfo too (fixes breakage... tree | commitdiff
2012-02-03 Dejan Jovanovićupdating configure to use python-config for building... tree | commitdiff
2011-11-16 Morgan DetersFix "make dist". Fixes to python and ruby bindings... tree | commitdiff
2011-11-16 Morgan Deters* Applying Andy's fix for datatypes bug #286; thanks... tree | commitdiff
2011-11-15 Morgan DetersBindings work (ocaml bindings are now sort of working... tree | commitdiff
2011-10-28 Liana Hadareanmerged the proofgen3 branch into trunk: tree | commitdiff
2011-10-21 Morgan Detersadd gcc version information to Configuration, and warn... tree | commitdiff
2011-10-19 Morgan Detersfix bug #264: competition / other static library builds... tree | commitdiff
2011-10-06 Morgan Detersdon't build language bindings unless expressly requeste... tree | commitdiff
2011-10-04 Morgan Detersoops, one more fix, hopefully the last tree | commitdiff
2011-10-04 Morgan DetersYet Another Antlr3 Mod---this time, all my fault: for... tree | commitdiff
2011-10-04 Morgan Detersmore fixes for libantlr3c v3.4 tree | commitdiff
2011-10-04 Morgan Deterssupport for configure-discovery of antlr3-3.4-beta4 tree | commitdiff
2011-10-03 Morgan Detersuser push/pop support in minisat and simplification... tree | commitdiff
2011-09-28 Morgan Detersbetter fix for #281, also fix issue with command line... tree | commitdiff
2011-09-27 Morgan Detersmore interface work; adding legacy C interface tree | commitdiff
2011-09-21 Morgan DetersJava binding now working. Some interface types still... tree | commitdiff
2011-09-20 Morgan DetersMerge from "swig" branch: language binding for Java... tree | commitdiff
2011-09-16 Morgan Detersfinal(?) documentation fixes tree | commitdiff
2011-09-16 Morgan Detersnew, improved doxygen config file tree | commitdiff
2011-09-16 Morgan Detersfix debian build without breaking anything (i hope) tree | commitdiff
next