projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch '1.3.x'
[cvc5.git] / src / theory / arith /
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-20 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-02-19 Tim KingMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2014-02-19 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-02-19 Tim KingStopping non-linear terms from entering the dio solver... tree | commitdiff
2014-02-17 Tianyi Liangtype conversion tree | commitdiff
2014-02-17 Tianyi Liangtype conversion tree | commitdiff
2014-01-27 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-01-22 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-01-22 Morgan DetersDelay QuantifiersEngine and UF strong solver initializa... 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 DetersMinor code cleanup. tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-12-03 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-11-27 Morgan DetersGeneral pre-release cleanup commit tree | commitdiff
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-09-30 Liana Hadareanmerged golden tree | commitdiff
2013-09-27 Morgan DetersMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-09-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2013-09-27 Tianyi Liangfix the infinite issue tree | commitdiff
2013-09-27 Tianyi Liangfor morgan to see the regression problems tree | commitdiff
2013-09-27 Tianyi Liangadds model generation for strings, and a hacked way... tree | commitdiff
2013-09-25 Tianyi Liangfix the infinite issue tree | commitdiff
2013-09-25 Tianyi Liangfor morgan to see the regression problems tree | commitdiff
2013-09-24 Clark BarrettReduce compiler dependencies on substitutions.h, tree | commitdiff
2013-09-24 Tianyi Liangadds model generation for strings, and a hacked way... tree | commitdiff
2013-09-13 Morgan DetersDocumentation fixes, some code typo fixes, file perms... 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-06-27 Morgan DetersSmall fix for IS_INTEGER. tree | commitdiff
2013-06-25 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-25 Morgan DetersSupport for abs, to_int, is_int, divisible in SMT-LIB... tree | commitdiff
2013-06-19 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-04 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-06-03 Morgan DetersMerge tag 'casc24' tree | commitdiff
2013-05-29 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-22 Andrew ReynoldsMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2013-05-22 Andrew ReynoldsSignificant work on bounded integer quantification... tree | commitdiff
2013-05-22 Andrew ReynoldsAdd regressions for finite model finding tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-21 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-20 Morgan DetersMerge branch '1.2.x' tree | commitdiff
2013-05-20 Morgan Detersconfigure fix for building with glpk on redhat, perhaps... tree | commitdiff
2013-05-16 Morgan Detersconfigure fix for building with glpk on redhat, perhaps... tree | commitdiff
2013-05-11 Andrew ReynoldsPreliminary version of finite model finding over bounde... tree | commitdiff
2013-05-09 Kshitij BansalMerge branch 'master' of ssh://github.com/CVC4/CVC4 tree | commitdiff
2013-05-09 Tim KingChanging the integer normal form to increase matching. tree | commitdiff
2013-05-08 Morgan DetersMerge tag 'smteval2013' tree | commitdiff
2013-05-08 Morgan DetersRemoving arithmetic compile warning for release tree | commitdiff
2013-05-07 Tim KingFixes a bug with arithmetic's new attempt solution... tree | commitdiff
2013-05-07 Tim KingImproving arithmetic debugging output. tree | commitdiff
2013-05-07 Tim KingDisabling an incorrect prototyping line from the simple... tree | commitdiff
2013-05-06 Morgan DetersRemoving excess verbosity from ApproxSimplex (after... tree | commitdiff
2013-05-06 Tim KingAdding a heuristic for guessing an optimization functio... tree | commitdiff
2013-05-05 Tim KingAdding cut offs for likely integer infeasible paths. tree | commitdiff
2013-05-04 Tim KingAdding a smarter technique for pivoting in solutions... tree | commitdiff
2013-05-03 Tim KingMore misc. arithmetic cleanup. Removing unused files... tree | commitdiff
2013-05-03 Tim KingCode cleanup. Reducing misc. warnings in arithmetic. tree | commitdiff
2013-05-03 Tim KingRemoving arithmetic legacy code and unifying functions. tree | commitdiff
2013-05-03 Tim KingFixing a debug typo. tree | commitdiff
2013-05-03 Tim KingMerging branch 'soiquickexplain'. tree | commitdiff
2013-05-03 Tim KingMerge branch 'fcexplanations' tree | commitdiff
2013-05-02 Tim KingAdding quick explain for soi simplex. tree | commitdiff
2013-05-01 Tim KingWorking on the new explanation system. tree | commitdiff
2013-04-30 Tim KingMaking propagation more conversative. tree | commitdiff
2013-04-30 Tim KingDraft of the new propagation code. tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-30 Tim KingAdding has bound counts and tracking for rows. tree | commitdiff
2013-04-29 Morgan DetersSome fixes for GCC 4.2, and for Java on Mac tree | commitdiff
2013-04-29 Kshitij BansalMerge pull request #9 from kbansal/master tree | commitdiff
2013-04-29 Morgan DetersFixes to FCSimplex for some versions of compilers tree | commitdiff
2013-04-28 Tim KingFixing the failure for make distcheck. tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-04-02 Tim KingMaking arithmetic model reversion on unsat checks an... tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-04-01 Tim KingCleaning up the demand restart code. tree | commitdiff
2013-04-01 Tim KingAdding a restart test strategy to integers. tree | commitdiff
2013-03-21 lianahMerge branch 'master' into bv-core tree | commitdiff
2013-03-21 Morgan DetersBetter error in case of nonlinear assertions while... tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
2013-03-05 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-01 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-26 lianahMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-17 Kshitij BansalMerge pull request #6 from kbansal/decNewoptions tree | commitdiff
2013-02-16 Morgan DetersSome cleanup and copyright updating tree | commitdiff
2013-02-16 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Kshitij BansalMerge branch '1.0.x' tree | commitdiff
2013-02-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-02-15 Tim KingMerge branch '1.0.x' tree | commitdiff
2013-02-08 Morgan DetersMerge branch '1.0.x' tree | commitdiff
next