summaryrefslogtreecommitdiff
path: root/src/expr/expr.h
AgeCommit message (Expand)Author
2010-02-12Changes to hashing that solve the xinetd boolean benchmark in 14s (from ~25mi...Dejan Jovanović
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-02-03simple ITE parsingDejan Jovanović
2010-02-03By popular demand, I also added a printAst to Expr.Tim King
2010-01-29fixed CNF conversion, and more modular; CNF conversion command line option; v...Morgan Deters
2009-12-18More fixes fot the parser tests.Dejan Jovanović
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-16Small refactoring changes for the expr package.Tim King
2009-12-15minor: fixing typosMorgan Deters
2009-12-11Extracted the public Expr and ExprManager interface to encapsulate the optimi...Dejan Jovanović
2009-12-10killing expr into node...Dejan Jovanović
2009-12-09A mess of changes in the expression manager, simple example still failing due...Dejan Jovanović
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-06Big chunk of changes:Dejan Jovanović
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-24various fixes and updates to use and support parserMorgan Deters
2009-11-24configure option adjustments as per 11/24 meeting; various fixes and improvem...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback