projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
simplify mkSkolem naming system: don't use $$
[cvc5.git] / src / theory / arith / theory_arith_private.cpp
2014-04-17 Kshitij Bansalsimplify mkSkolem naming system: don't use $$ blob | commitdiff | raw
2014-04-06 Tim KingMerge pull request #21 from pcc/ite-fix 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-21 Kshitij BansalMerge pull request #22 from kbansal/sets-model blob | commitdiff | raw | diff to current
2014-03-19 Martin BrainRefactor the theory specific parts of definition expans... 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-11 Andrew ReynoldsInitial refactor of rewrite rules, make theory_rewriter... 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 '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-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2014-01-22 Morgan DetersDelay QuantifiersEngine and UF strong solver initializa... blob | commitdiff | raw | diff to current
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... blob | commitdiff | raw | diff to current
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-11-27 Morgan DetersGeneral pre-release cleanup commit blob | commitdiff | raw | diff to current
2013-09-30 Liana Hadareanmerged golden blob | commitdiff | raw | diff to current
2013-09-27 Morgan DetersMerge branch 'master' of github.com:tiliang/CVC4 blob | commitdiff | raw | diff to current
2013-09-27 Tianyi Liangfix the infinite issue blob | commitdiff | raw | diff to current
2013-09-27 Tianyi Liangfor morgan to see the regression problems blob | commitdiff | raw | diff to current
2013-09-27 Tianyi Liangadds model generation for strings, and a hacked way... blob | commitdiff | raw | diff to current
2013-09-25 Tianyi Liangfix the infinite issue blob | commitdiff | raw | diff to current
2013-09-25 Tianyi Liangfor morgan to see the regression problems blob | commitdiff | raw | diff to current
2013-09-24 Tianyi Liangadds model generation for strings, and a hacked way... blob | commitdiff | raw | diff to current
2013-08-26 Kshitij BansalMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-27 Morgan DetersSmall fix for IS_INTEGER. 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-06-19 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-04 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-06-03 Morgan DetersMerge tag 'casc24' blob | commitdiff | raw | diff to current
2013-05-29 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsSignificant work on bounded integer quantification... blob | commitdiff | raw | diff to current
2013-05-22 Andrew ReynoldsAdd regressions for finite model finding blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-21 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-20 Morgan DetersMerge branch '1.2.x' blob | commitdiff | raw | diff to current
2013-05-11 Andrew ReynoldsPreliminary version of finite model finding over bounde... blob | commitdiff | raw | diff to current
2013-05-07 Tim KingImproving arithmetic debugging output. blob | commitdiff | raw | diff to current
2013-05-07 Tim KingDisabling an incorrect prototyping line from the simple... blob | commitdiff | raw | diff to current
2013-05-06 Tim KingAdding a heuristic for guessing an optimization functio... blob | commitdiff | raw | diff to current
2013-05-05 Tim KingAdding cut offs for likely integer infeasible paths. blob | commitdiff | raw | diff to current
2013-05-04 Tim KingAdding a smarter technique for pivoting in solutions... blob | commitdiff | raw | diff to current
2013-05-03 Tim KingMore misc. arithmetic cleanup. Removing unused files... blob | commitdiff | raw | diff to current
2013-05-03 Tim KingRemoving arithmetic legacy code and unifying functions. 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-01 Tim KingWorking on the new explanation system. blob | commitdiff | raw | diff to current
2013-04-30 Tim KingMaking propagation more conversative. 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-30 Tim KingAdding has bound counts and tracking for rows. blob | commitdiff | raw | diff to current
2013-04-26 Tim KingFCSimplex branch merge blob | commitdiff | raw | diff to current