projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #28 from kbansal/sets
[cvc5.git] / src / theory / arith / options
2014-05-12 Tim KingMerge remote-tracking branch 'timothy-king/master' blob | commitdiff | raw
2014-05-12 Tim KingMerging in additional glpk options and statistics from... blob | commitdiff | raw
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-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model 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-03-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-03-08 Tim KingMerge pull request #18 from timothy-king/master blob | commitdiff | raw | diff to current
2014-03-08 Tim KingMerge remote-tracking branch 'CVC4root/master' blob | commitdiff | raw | diff to current
2014-03-07 Tim KingMerging a squash of the branch timothy-king/CVC4/glpkne... 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 'master' of github.com:CVC4/CVC4 blob | commitdiff | raw | diff to current
2014-02-17 Tianyi Liangtype conversion blob | commitdiff | raw | diff to current
2014-02-17 Tianyi Liangtype conversion blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms... blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-25 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-25 Morgan DetersSupport for abs, to_int, is_int, divisible in SMT-LIB... blob | commitdiff | raw | diff to current
2013-05-03 Tim KingCode cleanup. Reducing misc. warnings in arithmetic. blob | commitdiff | raw | diff to current
2013-05-03 Tim KingMerging branch 'soiquickexplain'. blob | commitdiff | raw | diff to current
2013-05-03 Tim KingMerge branch 'fcexplanations' blob | commitdiff | raw | diff to current
2013-05-02 Tim KingAdding quick explain for soi simplex. blob | commitdiff | raw | diff to current
2013-05-01 Tim KingWorking on the new explanation system. blob | commitdiff | raw | diff to current
2013-04-30 Tim KingDraft of the new propagation code. 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-04-02 Tim KingMaking arithmetic model reversion on unsat checks an... blob | commitdiff | raw | diff to current
2013-04-01 Tim KingAdding a restart test strategy to integers. 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-16 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-08 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersSome fixes for the miplib preprocessing pass. blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-03 Morgan DetersSome cleanup of miplib regressions and options blob | commitdiff | raw | diff to current
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902... blob | commitdiff | raw | diff to current
2013-02-03 Morgan Detersnew option for doing top-level miplib substitutions... blob | commitdiff | raw | diff to current
2013-02-03 Morgan Detersnew miplib pass, works for 1 or 2 vars blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2013-02-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-31 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-31 Tim KingAdding a heuristic to more eagerly split bounded intege... blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-27 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-23 Tim KingAdding miplibtrick option. blob | commitdiff | raw | diff to current
2012-10-06 Morgan Deters* Clean up some options documentation blob | commitdiff | raw | diff to current
2012-07-31 Morgan DetersOptions merge. This commit: blob | commitdiff | raw | diff to current