| 2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
tree | commitdiff |
| 2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-07-30 |
Morgan Deters | Minor fixes to build system. |
tree | commitdiff |
| 2013-07-16 |
Morgan Deters | Fix for get-antlr script and PIC/non-PIC objects, on... |
tree | commitdiff |
| 2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-08 |
Morgan Deters | Fix typos in alttheoryskel |
tree | commitdiff |
| 2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
tree | commitdiff |
| 2013-06-03 |
Morgan Deters | Updated CASC scripts, as provided to Geoff Sutcliffe |
tree | commitdiff |
| 2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-05-20 |
Andrew Reynolds | Possible final version of run scripts for casc. |
tree | commitdiff |
| 2013-05-17 |
Andrew Reynolds | Add model-producing run script for casc. |
tree | commitdiff |
| 2013-05-14 |
Andrew Reynolds | Update casc24-fnt run script. Add casc24-fof run script. |
tree | commitdiff |
| 2013-05-11 |
Andrew Reynolds | Preliminary version of finite model finding over bounde... |
tree | commitdiff |
| 2013-05-10 |
Andrew Reynolds | Update casc run script. Work on compliance for SZS... |
tree | commitdiff |
| 2013-05-10 |
Andrew Reynolds | Add simplification option --fo-prop-quant. Add model... |
tree | commitdiff |
| 2013-05-08 |
Morgan Deters | final updates for smt-eval script |
tree | commitdiff |
| 2013-05-08 |
Morgan Deters | fix for smt-eval run script |
tree | commitdiff |
| 2013-05-07 |
Morgan Deters | BV strategy for SMT-EVAL |
tree | commitdiff |
| 2013-05-07 |
Morgan Deters | Change SMT-EVAL run-script to use Tim's best QF_LRA... |
tree | commitdiff |
| 2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
| 2013-04-24 |
Morgan Deters | Theory "alternates" support |
tree | commitdiff |
| 2013-04-03 |
Morgan Deters | Pre-release versioning |
tree | commitdiff |
| 2013-04-03 |
Morgan Deters | Some final minor changes before cutting 1.1. |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | Fix get-authors script to not extract email addresses... |
tree | commitdiff |
| 2013-04-02 |
Morgan Deters | Adjust release Makefile rules, new run script |
tree | commitdiff |
| 2013-04-01 |
Morgan Deters | Merging some cleanup work: |
tree | commitdiff |
| 2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
| 2013-03-19 |
Morgan Deters | Remove PropositionalQuery class and all CUDD-related... |
tree | commitdiff |
| 2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
| 2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions |
tree | commitdiff |
| 2013-02-16 |
Morgan Deters | Some cleanup and copyright updating |
tree | commitdiff |
| 2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-15 |
Tim King | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
tree | commitdiff |
| 2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-04 |
Morgan Deters | fixed files with DOS newlines; fixed contrib/ scripts... |
tree | commitdiff |
| 2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-02-02 |
lianah | merged master into branch |
tree | commitdiff |
| 2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-25 |
Morgan Deters | Fix errors and reduce warnings on clang (merge from... |
tree | commitdiff |
| 2013-01-24 |
Morgan Deters | Add win32 support (merge from mdeters/win32, with some... |
tree | commitdiff |
| 2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
| 2013-01-22 |
Morgan Deters | update ANTLR URLs (antlr.org -> antlr3.org) |
tree | commitdiff |
| 2012-12-01 |
Morgan Deters | Cutting release 1.0. |
tree | commitdiff |
| 2012-12-01 |
Morgan Deters | fix cut-release sanity checks |
tree | commitdiff |
| 2012-11-30 |
Morgan Deters | minor fix to release script |
tree | commitdiff |
| 2012-10-24 |
Morgan Deters | Includes many fixes to build system for Solaris (thanks... |
tree | commitdiff |
| 2012-10-23 |
Tim King | The contrib/get-antlr-3.4 script: |
tree | commitdiff |
| 2012-10-22 |
Morgan Deters | add bug 425 models regression; fix mac-build execute... |
tree | commitdiff |
| 2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
| 2012-10-08 |
Morgan Deters | * Models' SubstitutionMaps are now attached to the... |
tree | commitdiff |
| 2012-10-06 |
Morgan Deters | * Clean up some options documentation |
tree | commitdiff |
| 2012-10-03 |
Morgan Deters | updates to contrib scripts to match docs |
tree | commitdiff |
| 2012-10-03 |
Morgan Deters | better documentation, allow examples to be installed... |
tree | commitdiff |
| 2012-09-26 |
Morgan Deters | Fix a handful of things for Mac, and Java bindings. |
tree | commitdiff |
| 2012-09-26 |
Morgan Deters | bug #398 test (bug was resolved last night), and a... |
tree | commitdiff |
| 2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
| 2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
tree | commitdiff |
| 2012-06-18 |
Morgan Deters | qf_lra strategy |
tree | commitdiff |
| 2012-06-18 |
Morgan Deters | another qf_lra strategy update |
tree | commitdiff |
| 2012-06-18 |
Morgan Deters | unnecessary ^ in regular expression; warning produced... |
tree | commitdiff |
| 2012-06-18 |
Morgan Deters | QF_LRA strategy in run script, now final (?) for smt... |
tree | commitdiff |
| 2012-06-18 |
Morgan Deters | final sources (?) for competition |
tree | commitdiff |
| 2012-06-16 |
Morgan Deters | updated build script for smt-comp submission |
tree | commitdiff |
| 2012-06-13 |
Morgan Deters | Don't use the "inlined" feature of ANTLR 3.2, which... |
tree | commitdiff |
| 2012-03-24 |
Dejan Jovanović | a cute script to make a video of development from the... |
tree | commitdiff |
| 2012-02-27 |
Morgan Deters | fixes to new-theory script; resolves bug #307 |
tree | commitdiff |
| 2012-02-13 |
François Bobot | precision in theoryskel |
tree | commitdiff |
| 2012-02-12 |
Morgan Deters | copyright year updated to 2012 |
tree | commitdiff |
| 2012-02-12 |
Morgan Deters | separate new-theory components into a "theoryskel"... |
tree | commitdiff |
| 2012-02-11 |
Morgan Deters | ensure using bash for new-theory script |
tree | commitdiff |
| 2012-02-10 |
Morgan Deters | script to ease creating a new theory from scratch ... |
tree | commitdiff |
| 2011-11-01 |
Morgan Deters | Improvements to header installation on user machines... |
tree | commitdiff |
| 2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
tree | commitdiff |
| 2011-09-16 |
Morgan Deters | fix serious issue with copyright-updating script |
tree | commitdiff |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
| 2011-05-05 |
Morgan Deters | luby sequence generator; can use to plot MiniSat's... |
tree | commitdiff |
| 2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
tree | commitdiff |
| 2011-03-30 |
Morgan Deters | Add Valuation::getSatValue() so that theories can acces... |
tree | commitdiff |
| next |
projects / cvc5.git / history