2018-05-10 |
Aina Niemetz | Refactored BVAckermann preprocessing pass. (#1889) |
blob | commitdiff | raw |
2018-05-08 |
Andrew Reynolds | Infrastructure for approximations in model output ... |
blob | commitdiff | raw | diff to current |
2018-01-16 |
Tim King | Removing more miscellaneous throw specifiers. (#1509) |
blob | commitdiff | raw | diff to current |
2017-12-08 |
Andrew Reynolds | Make collect model info return a Bool (#1421) |
blob | commitdiff | raw | diff to current |
2017-11-30 |
Andrew Reynolds | Fixes for issue 1404 (#1409) |
blob | commitdiff | raw | diff to current |
2017-11-01 |
Andrew Reynolds | (Move-only) Refactor and document theory model part... |
blob | commitdiff | raw | diff to current |
2017-10-27 |
Andrew Reynolds | Refactor theory model (#1236) |
blob | commitdiff | raw | diff to current |
2017-10-05 |
Andrew Reynolds | Ho model (#1120) |
blob | commitdiff | raw | diff to current |
2017-08-31 |
Andrew Reynolds | Answer unknown when uf-ss=no-minimal is combined with... |
blob | commitdiff | raw | diff to current |
2017-08-30 |
Andrew Reynolds | Fix model construction for parametric types (#1059) |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
blob | commitdiff | raw | diff to current |
2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
blob | commitdiff | raw | diff to current |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2017-04-06 |
Clark Barrett | Merge pull request #143 from FabianWolff/master |
blob | commitdiff | raw | diff to current |
2017-04-05 |
ajreynol | Add non-linear regressions, disable nlAlgSubs, do not... |
blob | commitdiff | raw | diff to current |
2017-04-04 |
ajreynol | Simplify Theory::collectModelInfo interface to not... |
blob | commitdiff | raw | diff to current |
2017-03-24 |
ajreynol | Refactor model building for quantifiers to be a single... |
blob | commitdiff | raw | diff to current |
2016-12-02 |
Tim King | Merge pull request #95 from 4tXJ7f/fix_sierra_build |
blob | commitdiff | raw | diff to current |
2016-12-02 |
Clark Barrett | Merge pull request #113 from 4tXJ7f/remove_extract_rule |
blob | commitdiff | raw | diff to current |
2016-12-02 |
ajreynol | Bug fixes and refactoring of parametric datatypes,... |
blob | commitdiff | raw | diff to current |
2016-12-02 |
ajreynol | Refactor preprocessing of models in fmf. Fix options... |
blob | commitdiff | raw | diff to current |
2016-08-24 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2016-08-12 |
ajreynol | Minor fixes to model construction to take singleton... |
blob | commitdiff | raw | diff to current |
2016-07-20 |
ajreynol | Infrastructure for storing and printing heap models... |
blob | commitdiff | raw | diff to current |
2016-07-06 |
ajreynol | Add comment field for model, resolves hack for printing... |
blob | commitdiff | raw | diff to current |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2016-06-20 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-06-17 |
ajreynol | Cleanup from last commit, treat sep.nil as variable... |
blob | commitdiff | raw | diff to current |
2016-06-17 |
ajreynol | Support for separation logic. Enable cbqi by default... |
blob | commitdiff | raw | diff to current |
2016-05-23 |
ajreynol | Fix related to parametric sorts whose interpretation... |
blob | commitdiff | raw | diff to current |
2016-04-20 |
PaulMeng | update from the master |
blob | commitdiff | raw | diff to current |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
blob | commitdiff | raw | diff to current |
2016-03-01 |
ajreynol | Shorter explanations for strings based on tracking... |
blob | commitdiff | raw | diff to current |
2016-02-15 |
PaulMeng | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2016-02-15 |
ajreynol | Eliminate most of the internal representation infrastru... |
blob | commitdiff | raw | diff to current |
2016-02-08 |
ajreynol | Updates related to finite model finding and (co)datatyp... |
blob | commitdiff | raw | diff to current |
2016-02-03 |
Clark Barrett | Added --omit-dont-cares option which doesn't print... |
blob | commitdiff | raw | diff to current |
2016-01-19 |
ajreynol | Bug fixes for model construction with codatatypes,... |
blob | commitdiff | raw | diff to current |
2016-01-18 |
ajreynol | Bug fix rewriter for fun defs. |
blob | commitdiff | raw | diff to current |
2016-01-15 |
ajreynol | Type enumerators take optional argument indicating... |
blob | commitdiff | raw | diff to current |
2016-01-14 |
ajreynol | Ensure model construction for parametric sorts involvin... |
blob | commitdiff | raw | diff to current |
2015-12-24 |
Tim King | Miscellaneous fixes |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2015-11-26 |
ajreynol | Front-end support for get-value of sort cardinality... |
blob | commitdiff | raw | diff to current |
2015-10-08 |
ajreynol | Minor improvements to strings. Refactor rewriter. Enabl... |
blob | commitdiff | raw | diff to current |
2015-10-07 |
ajreynol | Minor improvements, add endpoint eq inference to strings. |
blob | commitdiff | raw | diff to current |
2015-09-16 |
ajreynol | Add option --fmf-fun-rlv, remove deprecated option... |
blob | commitdiff | raw | diff to current |
2015-09-15 |
ajreynol | Fix bug related to quantifiers + incremental, thanks... |
blob | commitdiff | raw | diff to current |
2015-09-10 |
ajreynol | Models for codatatypes. Fixes bug 662. |
blob | commitdiff | raw | diff to current |
2015-09-04 |
ajreynol | Fix bugs 605 and 667. |
blob | commitdiff | raw | diff to current |
2015-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2015-06-27 |
ajreynol | Refactor various corner cases of fmf, quantifiers modul... |
blob | commitdiff | raw | diff to current |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
blob | commitdiff | raw | diff to current |
2015-04-26 |
ajreynol | Bug fixes and improvements for mbqi with theory symbols... |
blob | commitdiff | raw | diff to current |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
blob | commitdiff | raw | diff to current |
2015-04-21 |
Clark Barrett | Changes needed to compile at Google, plus some bug... |
blob | commitdiff | raw | diff to current |
2015-02-06 |
Tianyi Liang | Minor clean up |
blob | commitdiff | raw | diff to current |
2015-02-06 |
Tianyi Liang | Improved string performance, thanks to Peter's benchmarks. |
blob | commitdiff | raw | diff to current |
2015-02-06 |
Tianyi Liang | Improved string performance, thanks to Peter's benchmarks. |
blob | commitdiff | raw | diff to current |
2015-01-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-12-27 |
Dejan Jovanovic | Adding an option to the equality engine constructor... |
blob | commitdiff | raw | diff to current |
2014-12-22 |
Tianyi Liang | bug fix for constant regular expression model building |
blob | commitdiff | raw | diff to current |
2014-12-22 |
Tianyi Liang | bug fix for constant regular expression model building |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-08 |
ajreynol | Fix bug with incremental+datatypes. Minor cleanup... |
blob | commitdiff | raw | diff to current |
2014-11-08 |
Clark Barrett | Fixed bug in model builder with subtypes |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
ajreynol | Properly distinguish which EQC to assign values in... |
blob | commitdiff | raw | diff to current |
2014-11-05 |
ajreynol | Fix model bug in --mbqi=fmc. Minor cleanup in datatypes. |
blob | commitdiff | raw | diff to current |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-02 |
Clark Barrett | Added cache to getModelValue |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
blob | commitdiff | raw | diff to current |
2014-06-19 |
lianah | fixed merge conflict |
blob | commitdiff | raw | diff to current |
2014-06-19 |
lianah | added model generation to eager bit-blasting and turned... |
blob | commitdiff | raw | diff to current |
2014-05-17 |
Kshitij Bansal | Merge pull request #26 from kbansal/sets |
blob | commitdiff | raw | diff to current |
2014-05-16 |
Kshitij Bansal | sets: fix a bug in model building, another in handling... |
blob | commitdiff | raw | diff to current |
2014-05-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-05-11 |
Andrew Reynolds | More preparation for CASC proofs. Minor fix for sort... |
blob | commitdiff | raw | diff to current |
2014-04-30 |
Morgan Deters | Mostly resolves bug #561 memory leaks, and more. |
blob | commitdiff | raw | diff to current |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-10 |
Andrew Reynolds | Expand definitions in theory datatypes, now has the... |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-03-20 |
Kshitij Bansal | cleanup |
blob | commitdiff | raw | diff to current |
2014-03-20 |
Kshitij Bansal | fix for sets/mar2014/..317minimized.. |
blob | commitdiff | raw | diff to current |
2014-03-20 |
Kshitij Bansal | fix a sharing issues with sets |
blob | commitdiff | raw | diff to current |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
blob | commitdiff | raw | diff to current |
2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
blob | commitdiff | raw | diff to current |
|