summaryrefslogtreecommitdiff
path: root/src/expr/Makefile.am
AgeCommit message (Expand)Author
2017-08-14Move function definitions from metakind.h to cpp (#218)Andres Noetzli
2017-08-14Move function definitions from kind.h to kind.cpp (#217)Andres Noetzli
2017-07-22Deprecating the unused convenience_node_builders.h (#203)Tim King
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...ajreynol
2017-05-12Adding VPATH back inmakaimann
2017-05-12Conditional coverage buildmakaimann
2017-04-18Coverage fixmakaimann
2017-03-06Support for set compliment and universe set. Simplify approach for sep.nil no...ajreynol
2016-06-17Support for separation logic. Enable cbqi by default for pure BV.ajreynol
2016-01-28Adding listeners to Options.Tim King
2016-01-08Adding a new Listener utility class. Changing the ResourceManager to use List...Tim King
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2016-01-05Moving sexpr.{cpp,h,i} from expr/ back into util/.Tim King
2016-01-05Add SmtGlobals ClassTim King
2015-12-30Shuffling around public vs. private headersTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-12-03Reverting a previous change to the options_handlers.h. Using inline defintion...Tim King
2015-12-02Separating the steps of the old mkoptions script into smaller phases.Tim King
2015-10-26This commit removes using absolute paths in the generation of the .subdirs fi...Tim King
2013-11-21Adding the changes needed to delete rewriter attributes. This includes being...Tim King
2013-11-10Flatten libcvc4 build structure; remove some #include interdependencesMorgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-11-17* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT...Morgan Deters
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-02-20portfolio mergeMorgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-23interface cleanup, java bindings workMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and linking....Morgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-07-09minor fixupsMorgan Deters
2011-07-09surprize surprizeDejan Jovanović
2011-04-25Weekend work. The main points:Morgan Deters
2011-04-11fix "make dist" issues in makefilesMorgan Deters
2011-01-05Commit for the theory engine and rewriter changes. Changes are substantial an...Dejan Jovanović
2010-10-07NodeSelfIterator implementation and unit test (resolves bug #204); also fix P...Morgan Deters
2010-10-06declare-sort, define-sort working but not thoroughly tested; define-fun half ...Morgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-05-04Type-checking classes and hooks (not tested yet).Dejan Jovanović
2010-05-03theory detection fixes; fixes build breakage when you delete build directoriesMorgan Deters
2010-04-26Adding the intermediary TypeNode to represent (and separate) the Types at the...Dejan Jovanović
2010-04-14Marging from types 404:415, changes: MassiveDejan Jovanović
2010-04-14* Better dependency tracking for unit test building and linking, andMorgan Deters
2010-04-13Merging from branches/decl-scopes (r401:411)Christopher L. Conway
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback