| 2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1 |
blob | commitdiff | raw |
| 2012-06-22 |
François Bobot | TPTP: add parser for cnf and fof |
blob | commitdiff | raw | diff to current |
| 2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
| 2011-09-28 |
Morgan Deters | fixes for make dist ; make install |
blob | commitdiff | raw | diff to current |
| 2011-09-24 |
Morgan Deters | Fix to building and linking for unit tests. (This... |
blob | commitdiff | raw | diff to current |
| 2011-09-21 |
Morgan Deters | considerable bindings interface work, some improvements... |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| 2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
blob | commitdiff | raw | diff to current |
| 2010-10-27 |
Morgan Deters | "make dist" fixes; a distribution tarball can now build... |
blob | commitdiff | raw | diff to current |
| 2010-10-26 |
Christopher L. Conway | Cleaning up some header files |
blob | commitdiff | raw | diff to current |
| 2010-10-04 |
Morgan Deters | fix gdb issues (at least for static builds); resolves... |
blob | commitdiff | raw | diff to current |
| 2010-10-01 |
Morgan Deters | last update broke the parser inadvertently, fixing... |
blob | commitdiff | raw | diff to current |
| 2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac... |
blob | commitdiff | raw | diff to current |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
blob | commitdiff | raw | diff to current |
| 2010-06-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>... |
blob | commitdiff | raw | diff to current |
| 2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic... |
blob | commitdiff | raw | diff to current |
| 2010-05-12 |
Christopher L. Conway | Adding ParserBuilder, reducing visibility of Parser... |
blob | commitdiff | raw | diff to current |
| 2010-05-01 |
Christopher L. Conway | Fixing private/public header warnings in parser library |
blob | commitdiff | raw | diff to current |
| 2010-04-29 |
Christopher L. Conway | First draft implementation of SMT v2 parser |
blob | commitdiff | raw | diff to current |
| 2010-04-28 |
Christopher L. Conway | Refactoring Input/Parser code to support external manip... |
blob | commitdiff | raw | diff to current |
| 2010-04-05 |
Christopher L. Conway | Moving code imported from libantlr3c to separate file... |
blob | commitdiff | raw | diff to current |
| 2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Christopher L. Conway | Parser tweaks to address review |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
| 2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
blob | commitdiff | raw | diff to current |
| 2010-02-27 |
Christopher L. Conway | Adding --mmap option to use memory-mapped file input... |
blob | commitdiff | raw | diff to current |
| 2010-02-06 |
Christopher L. Conway | Preliminary support for types in parser |
blob | commitdiff | raw | diff to current |
| 2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | more build system fix-ups |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Christopher L. Conway | CvcParserBlack and supporting Makefile changes |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
| 2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert... |
blob | commitdiff | raw | diff to current |
| 2009-12-08 |
Morgan Deters | parser build fixes |
blob | commitdiff | raw | diff to current |
| 2009-12-07 |
Dejan Jovanović | antlr parser for the cvc4 language (boolean only) |
blob | commitdiff | raw | diff to current |
| 2009-12-06 |
Dejan Jovanović | Big chunk of changes: |
blob | commitdiff | raw | diff to current |
| 2009-12-05 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
| 2009-12-04 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
| 2009-12-04 |
Dejan Jovanović | Adding support for ANTLR checking in autogen.sh (config... |
blob | commitdiff | raw | diff to current |
| 2009-12-03 |
Morgan Deters | parsing/expr/command/result/various other fixes |
blob | commitdiff | raw | diff to current |
| 2009-11-26 |
Dejan Jovanović | Enough parsing for tonight. Added: |
blob | commitdiff | raw | diff to current |
| 2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
blob | commitdiff | raw | diff to current |
| 2009-11-24 |
Christopher L. Conway | Partial parser for booleans |
blob | commitdiff | raw | diff to current |
| 2009-11-23 |
Morgan Deters | fixups, file comments |
blob | commitdiff | raw | diff to current |
| 2009-11-20 |
Morgan Deters | fixes to build/test system |
blob | commitdiff | raw | diff to current |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | fixes/redesign of source layout from meeting |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | another pass |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | fixes and additions |
blob | commitdiff | raw | diff to current |
| 2009-11-12 |
Morgan Deters | parser, minisat, other things.. |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history