Age | Commit message (Expand) | Author |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-19 | Minor fixes to build system | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-10-22 | fix parser generation in distributed tarballs (should fix bug #427) | Morgan Deters |
2012-08-03 | better parser makefile fix | Morgan Deters |
2012-08-02 | fixes to paths in parser makefiles; if you've noticed strange SMT2 parser beh... | Morgan Deters |
2012-08-01 | fixes to some *clean targets | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2011-12-02 | Error detection is different now---with new Command infrastructure, exception... | Morgan Deters |
2011-11-02 | Sometimes antlr decides to generate lexers and parsers in a different directo... | Morgan Deters |
2011-09-28 | better fix for #281, also fix issue with command line options not existing on... | Morgan Deters |
2011-09-03 | Disable a warning to address bug 277. (This doesn't really resolve the issue... | Morgan Deters |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-06-15 | fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas) | Morgan Deters |
2010-06-15 | remove warnings about unknown #pragma GCC diagnostic on older compilers | Morgan Deters |
2010-04-05 | fix most of the warnings in the parser by (1) quieting unused-function and un... | Morgan Deters |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-01 | PARSER STUFF: | Morgan Deters |
2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
2010-03-12 | * src/context/cdmap.h: rename orderedIterator to iterator, do away | Morgan Deters |
2009-12-18 | Lots of parser changes to make Chris happy. Yet more to come later. | Dejan Jovanović |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-09 | some fixes and organizational adjustments to assert code, parsers/lexers, and... | Morgan Deters |
2009-12-08 | final (?) fixes to parser/generated build directory modifications | Morgan Deters |
2009-12-08 | parser build fixes | Morgan Deters |
2009-12-08 | work on propositional layer, expression builder support for large expressions... | Morgan Deters |
2009-12-07 | fixing a few broken build-related items, adding test cases | Morgan Deters |
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters |
2009-12-07 | antlr parser for the cvc4 language (boolean only) | Dejan Jovanović |