projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improvements to header installation on user machines. Internally, we can
[cvc5.git] / src / parser / parser.cpp
2011-11-01 Morgan DetersImprovements to header installation on user machines... blob | commitdiff | raw
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-05-14 Morgan Detersadd AscriptionType stuff to support nullary parameteriz... blob | commitdiff | raw | diff to current
2011-05-13 Andrew Reynoldsadded support for parametric datatypes, updated cvc... blob | commitdiff | raw | diff to current
2011-04-20 Morgan Detersnumerous bugfixes blob | commitdiff | raw | diff to current
2011-04-20 Morgan DetersTuesday end-of-day commit. blob | commitdiff | raw | diff to current
2011-04-18 Morgan DetersPartial merge from datatypes-merge branch: blob | commitdiff | raw | diff to current
2011-04-10 Morgan Detersmerge from replay branch blob | commitdiff | raw | diff to current
2010-10-09 Morgan Detersreverting some changes to parser from last commit blob | commitdiff | raw | diff to current
2010-10-09 Morgan Deterssupport for SMT-LIBv2 :named attributes, and attributes... blob | commitdiff | raw | diff to current
2010-10-06 Morgan Detersdeclare-sort, define-sort working but not thoroughly... blob | commitdiff | raw | diff to current
2010-10-05 Morgan Detersparser and core support for SMT-LIBv2 commands get... blob | commitdiff | raw | diff to current
2010-07-28 Christopher L. ConwayForcing a type check on Node construction in debug... blob | commitdiff | raw | diff to current
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw | diff to current
2010-05-12 Christopher L. Conwaytrue and false are only defined if the core theory... blob | commitdiff | raw | diff to current
2010-05-12 Christopher L. ConwayAdding class Smt2 to handle declaration of logic and... blob | commitdiff | raw | diff to current
2010-05-07 Christopher L. ConwayTightening lexer rules for numerals in SMT v2 blob | commitdiff | raw | diff to current
2010-05-06 Christopher L. ConwayAdding --strict-parsing option blob | commitdiff | raw | diff to current
2010-05-06 Christopher L. ConwayAdding bit-vector constants in SMT2 blob | commitdiff | raw | diff to current
2010-04-28 Christopher L. ConwayRefactoring Input/Parser code to support external manip... blob | commitdiff | raw | diff to current
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) blob | commitdiff | raw
2010-03-05 Morgan Deters* public/private code untangled (smt/smt_engine.h no... blob | commitdiff | raw | diff to current
2010-02-27 Christopher L. ConwayAdding --mmap option to use memory-mapped file input... blob | commitdiff | raw | diff to current
2010-02-25 Morgan Deters* src/expr/node.h: add a copy constructor. Apparently... blob | commitdiff | raw | diff to current
2010-02-22 Morgan Deters* configure.ac: Remove doc/ from search path for Makefi... blob | commitdiff | raw | diff to current
2010-02-18 Christopher L. ConwayAdding --no-checking option to disable semantic checks... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Deterssrc/expr/kind.h is now automatically generated. blob | commitdiff | raw | diff to current
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... blob | commitdiff | raw | diff to current
2010-02-03 Dejan JovanovićELSEIF support and parser debugging with '-d parser' blob | commitdiff | raw | diff to current
2010-02-01 Dejan JovanovićFixing the CVC grammar for parsing Boolean expressions... blob | commitdiff | raw | diff to current
2009-12-18 Dejan JovanovićMore fixes fot the parser tests. blob | commitdiff | raw | diff to current
2009-12-18 Dejan JovanovićChanging some deatils on the parser. Now we know we... blob | commitdiff | raw | diff to current
2009-12-18 Morgan Detersmore build system fix-ups blob | commitdiff | raw | diff to current
2009-12-18 Dejan JovanovićLots of parser changes to make Chris happy. Yet more... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... blob | commitdiff | raw | diff to current
2009-12-11 Dejan JovanovićExtracted the public Expr and ExprManager interface... blob | commitdiff | raw | diff to current
2009-12-10 Dejan Jovanovićkilling expr into node... blob | commitdiff | raw | diff to current
2009-12-09 Morgan Deterssome fixes and organizational adjustments to assert... blob | commitdiff | raw | diff to current
2009-12-08 Morgan Detersparser build fixes blob | commitdiff | raw | diff to current
2009-12-08 Morgan Deterscheck in automake/libtool/autoconf-generated files... blob | commitdiff | raw | diff to current
2009-12-08 Morgan Deterswork on propositional layer, expression builder support... 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 Detersmore build system work blob | commitdiff | raw | diff to current
2009-12-03 Morgan Detersparsing/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 Detersadditional work on parser hookup, configuration + build blob | commitdiff | raw | diff to current
2009-11-17 Morgan Detersanother pass blob | commitdiff | raw | diff to current
2009-11-12 Morgan Detersparser, minisat, other things.. blob | commitdiff | raw | diff to current