finally works
[cvc5.git] / src / expr / node.h
2010-02-22 Dejan Jovanovićfinally works
2010-02-22 Dejan JovanovićMerging from branch branches/Liana r241
2010-02-22 Christopher L. ConwaySwitching to types-as-attributes in parser
2010-02-22 Morgan Deters* src/expr/attribute.h: fixed an issue with "const...
2010-02-22 Morgan DetersRe-committing revision 232 properly:
2010-02-22 Morgan Detersundoing improperly-committed revision 232; will re...
2010-02-22 Cesare Tinelli* Add virtual destructors to CnfStream, Theory, OutputC...
2010-02-19 Morgan Deters* Attribute infrastructure -- static design. Documenta...
2010-02-12 Dejan JovanovićChanges to hashing that solve the xinetd boolean benchm...
2010-02-04 Dejan Jovanovićbeautification of the prop engine
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it...
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright...
2010-02-03 Tim KingBy popular demand, I also added a printAst to Expr.
2010-02-03 Tim KingWithin node I added printAst(..) for general purpose...
2010-01-29 Morgan Detersfixed CNF conversion, and more modular; CNF conversion...
2010-01-26 Morgan Detersfixes to build structure, util classes, lots of fixes...
2009-12-18 Morgan Detersnumerous fixes to nodes; more coming
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates...
2009-12-16 Tim KingSmall refactoring changes for the expr package.
2009-12-16 Morgan DetersFixes to the build system:
2009-12-15 Morgan Detersminor: fixing typos
2009-12-11 Dejan JovanovićExtracted the public Expr and ExprManager interface...
2009-12-10 Dejan Jovanovićkilling expr into node...