projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Switching to types-as-attributes in parser
[cvc5.git] / src / expr /
2010-02-22 Christopher L. ConwaySwitching to types-as-attributes in parser tree | commitdiff
2010-02-22 Morgan Deters* src/expr/attribute.h: fixed an issue with "const... tree | commitdiff
2010-02-22 Morgan Deters* configure.ac: Remove doc/ from search path for Makefi... tree | commitdiff
2010-02-22 Morgan DetersRe-committing revision 232 properly: tree | commitdiff
2010-02-22 Morgan Detersundoing improperly-committed revision 232; will re... tree | commitdiff
2010-02-22 Cesare Tinelli* Add virtual destructors to CnfStream, Theory, OutputC... tree | commitdiff
2010-02-22 Morgan Detersresolve bug 32; public-facing interface functions in... tree | commitdiff
2010-02-22 Morgan Detersfix bug 22 (remove tracing from non-trace builds; remov... tree | commitdiff
2010-02-19 Morgan Detersspecialized implementation for boolean node attributes... tree | commitdiff
2010-02-19 Morgan Deters* Attribute infrastructure -- static design. Documenta... tree | commitdiff
2010-02-16 Dejan Jovanovićremoving assertion and warning that shouldn't be there... tree | commitdiff
2010-02-12 Dejan JovanovićChanges to hashing that solve the xinetd boolean benchm... tree | commitdiff
2010-02-09 Morgan Detersmoving built-in kinds out of the kind.h prologue/middle... tree | commitdiff
2010-02-08 Dejan JovanovićPush/Pop parsing and commands tree | commitdiff
2010-02-07 Christopher L. ConwayDocumenting type.h/cpp tree | commitdiff
2010-02-06 Morgan Detersforce sorting of AC_CONFIG_FILES, otherwise different... tree | commitdiff
2010-02-06 Christopher L. ConwayPreliminary support for types in parser tree | commitdiff
2010-02-04 Dejan Jovanovićbeautification of the prop engine tree | commitdiff
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... tree | commitdiff
2010-02-04 Morgan Detersminor cleanup; give the main driver a different exit... tree | commitdiff
2010-02-04 Morgan Deterssrc/expr/kind.h is now automatically generated. tree | commitdiff
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... tree | commitdiff
2010-02-04 Tim KingFixes to the cnf converter. Also a barebones utility... tree | commitdiff
2010-02-03 Christopher L. ConwayAdding functions/predicates to SMT grammar tree | commitdiff
2010-02-03 Dejan Jovanovićsimple ITE parsing tree | commitdiff
2010-02-03 Tim KingBy popular demand, I also added a printAst to Expr. tree | commitdiff
2010-02-03 Tim KingWithin node I added printAst(..) for general purpose... tree | commitdiff
2010-02-01 Morgan Detersfix node manager code (bugzilla #15, comment #2) in... tree | commitdiff
2010-01-30 Morgan Deterscnf conversion (variable-introducing), cleanups, fixes... tree | commitdiff
2010-01-29 Morgan Detersfixed CNF conversion, and more modular; CNF conversion... tree | commitdiff
2010-01-28 Christopher L. ConwayRemoving Makefile.in's tree | commitdiff
2010-01-26 Morgan Deterscnf conversion tree | commitdiff
2010-01-26 Morgan Detersfixes to build structure, util classes, lots of fixes... tree | commitdiff
2010-01-25 Morgan Detersminor fixes to scoped-context node manager tree | commitdiff
2010-01-25 Morgan Detersscoped node managers tree | commitdiff
2010-01-19 Morgan Detersminor changes to Theory tree | commitdiff
2009-12-18 Dejan JovanovićMore fixes fot the parser tests. tree | commitdiff
2009-12-18 Morgan Detersnumerous fixes to nodes; more coming tree | commitdiff
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... tree | commitdiff
2009-12-17 Morgan Deters+ test infrastructure fixes tree | commitdiff
2009-12-17 Morgan Detersbuild system cleanup; test system separation into white... tree | commitdiff
2009-12-17 Morgan Deterssupport nonstandard, unconfigured builds (e.g., ".... tree | commitdiff
2009-12-16 Morgan Deters+ refactoring fixes for expr package based on code... tree | commitdiff
2009-12-16 Tim KingSmall refactoring changes for the expr package. tree | commitdiff
2009-12-16 Morgan DetersFixes to the build system: tree | commitdiff
2009-12-15 Morgan Detersminor: fixing typos tree | commitdiff
2009-12-11 Dejan JovanovićExtracted the public Expr and ExprManager interface... tree | commitdiff
2009-12-11 Morgan Detersbuild fixes, configuration simplifications tree | commitdiff
2009-12-10 Dejan Jovanovićkilling expr into node... tree | commitdiff
2009-12-10 Morgan Deterscleanups, assert work, add a stubbed uf theory, fix... tree | commitdiff
2009-12-09 Dejan JovanovićA mess of changes in the expression manager, simple... tree | commitdiff
2009-12-08 Morgan Deterscheck in automake/libtool/autoconf-generated files... tree | commitdiff
2009-12-08 Morgan Deterswork on propositional layer, expression builder support... tree | commitdiff
2009-12-07 Morgan Detersbig check-in of various fixes and adjustments tree | commitdiff
2009-12-06 Dejan JovanovićBig chunk of changes: tree | commitdiff
2009-12-03 Morgan Detersparsing/expr/command/result/various other fixes tree | commitdiff
2009-11-24 Morgan Detersvarious fixes and updates to use and support parser tree | commitdiff
2009-11-24 Morgan Detersconfigure option adjustments as per 11/24 meeting;... tree | commitdiff
2009-11-23 Morgan Detersfixups, file comments tree | commitdiff
2009-11-20 Morgan Detersfixes to build/test system tree | commitdiff
2009-11-20 Morgan Detersfix to expr #includes; better test-environment configur... tree | commitdiff
2009-11-19 Morgan Deterstesting framework, configure fixes, incorporations... tree | commitdiff
2009-11-18 Morgan Deterswork on exprs, driver, util tree | commitdiff
2009-11-17 Morgan Detersignored items tree | commitdiff
2009-11-17 Morgan Detersfrom meeting tree | commitdiff