summaryrefslogtreecommitdiff
path: root/src/expr/kind.h
AgeCommit message (Expand)Author
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-02-03Adding functions/predicates to SMT grammarChristopher L. Conway
2010-01-29fixed CNF conversion, and more modular; CNF conversion command line option; v...Morgan Deters
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-16Fixes to the build system:Morgan Deters
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-06Big chunk of changes:Dejan Jovanović
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-24configure option adjustments as per 11/24 meeting; various fixes and improvem...Morgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17from meetingMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback