summaryrefslogtreecommitdiff
path: root/src/expr/declaration_scope.h
AgeCommit message (Expand)Author
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-06-22Parser: add the possibility to bind at level 0.François Bobot
2012-03-02CDMap -> CDHashMapDejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-14add AscriptionType stuff to support nullary parameterized datatypes; also, re...Morgan Deters
2011-05-13added support for parametric datatypes, updated cvc parser to handle parametr...Andrew Reynolds
2011-04-20numerous bugfixesMorgan Deters
2011-04-20Tuesday end-of-day commit.Morgan Deters
2011-04-01This commit is a merge from the "betterstats" branch, which:Morgan Deters
2011-03-25This is a merge from the "theoryfixes+cdattrhash" branch. The changesMorgan Deters
2010-10-31enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...Morgan Deters
2010-10-11use "forward" headersMorgan Deters
2010-10-06declare-sort, define-sort working but not thoroughly tested; define-fun half ...Morgan Deters
2010-10-04remove/shuffle some #include dependencies; fix some documentation; apply codi...Morgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-05-12Adding class Smt2 to handle declaration of logic and theory symbolsChristopher L. Conway
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-13Merging from branches/decl-scopes (r401:411)Christopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback