Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-10-04 | Yet Another Antlr3 Mod---this time, all my fault: for configuration ↵ | Morgan Deters | |
auto-detection of libantlr3c, I chose an innocent-looking function that was present in both versions. But it's signature had changed, breaking source compatibility in both directions. Just like the other function that started the whole mess. Silly me. | |||
2011-10-04 | Oh, here's another cute compatibility fix for libantlr3c 3.4-beta4. They ↵ | Morgan Deters | |
#define true and false to their own ANTLR3_TRUE and ANTLR3_FALSE, wreaking havoc on our parsers. I'm really fed up with this package. | |||
2011-10-04 | mimicking Chris's recent contribution to QueryResult in CVC3 in the ↵ | Morgan Deters | |
compatibility layer | |||
2011-10-04 | more fixes for libantlr3c v3.4 | Morgan Deters | |
2011-10-04 | support for configure-discovery of antlr3-3.4-beta4 | Morgan Deters | |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters | |
2011-10-03 | Importing Chris's recent changes to CVC3's ValidityChecker into the ↵ | Morgan Deters | |
compatibility layer | |||
2011-09-30 | fix to CNF undoTranslate(), to support incrementality | Morgan Deters | |
2011-09-30 | forgot to put some things in the distro | Morgan Deters | |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters | |
2011-09-30 | more push/pop infrastructure, some SAT stuff | Morgan Deters | |
2011-09-30 | fixes to incremental simplification, cnf routines, other stuff in ↵ | Morgan Deters | |
preparation of user push/pop in SAT solver | |||
2011-09-29 | compatibility work, documentation | Morgan Deters | |
2011-09-29 | build system fixes | Morgan Deters | |
2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop ↵ | Morgan Deters | |
and model gen also. I also expect this commit to fix bug #273. No performance change is expected on regressions with this commit, see http://goedel.cims.nyu.edu/regress-results/compare_jobs.php?job_id=2871&reference_id=2863 | |||
2011-09-29 | some test fixes | Morgan Deters | |
2011-09-28 | another make dist fix for java compat bindings | Morgan Deters | |
2011-09-28 | variety of visibility fixes (should clean up some of the many warnings on ↵ | Morgan Deters | |
MacOS-production-dynamic builds) | |||
2011-09-28 | CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on ↵ | Morgan Deters | |
MacOS in production builds. Fixed. | |||
2011-09-28 | fixes for make dist ; make install | Morgan Deters | |
2011-09-28 | better fix for #281, also fix issue with command line options not existing ↵ | Morgan Deters | |
on older g++en, like Apple's 4.2 on Snow Leopard. | |||
2011-09-28 | Regular expressions in shell scripts on MacOS are inconsistent... again. :-( ↵ | Morgan Deters | |
Fixing a problem with Debug_tags and Trace_tags, closes bug #281 | |||
2011-09-28 | removed "typename" keyword (fix to bug 280) | Morgan Deters | |
2011-09-27 | more interface work; adding legacy C interface | Morgan Deters | |
2011-09-25 | first crack at compatibility java interface (not built by default) | Morgan Deters | |
2011-09-24 | Fix to building and linking for unit tests. (This should fix the ↵ | Morgan Deters | |
segfaulting units in optimized-dynamic. The problem was that the code incorrectly determined the address of one of the thread-scoped global variables, and I think it's because the same library was linked twice into the unit test in two different ways, confusing the runtime support code.) | |||
2011-09-23 | interface cleanup, java bindings work | Morgan Deters | |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. ↵ | Morgan Deters | |
iterators aren't functional). Also, output isn't very flexible yet, as I told SWIG to ignore all the operator<<'s. | |||
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters | |
2011-09-20 | fix build | Morgan Deters | |
2011-09-20 | Merge from "swig" branch: language binding for Java is compiling and ↵ | Morgan Deters | |
linking. Enable with --enable-language-bindings=java | |||
2011-09-18 | cleaned up the mechanism for library versioning | Morgan Deters | |
2011-09-17 | --show-debug-tags and --show-trace-tags now supported by Configuration API; ↵ | Morgan Deters | |
also, the information is only recompiled and relinked when it has changed, avoiding unnecessary relinking | |||
2011-09-16 | dump define-funs correctly with "--dump declarations", whether the function ↵ | Morgan Deters | |
is defined via API or through input language | |||
2011-09-16 | include example theory (former "UF-Tim") that's included in the dist but not ↵ | Morgan Deters | |
built for the library | |||
2011-09-16 | final(?) documentation fixes | Morgan Deters | |
2011-09-16 | fix up more documentation | Morgan Deters | |
2011-09-16 | some minor fixes to the cvc3 compatibility library and test case | Morgan Deters | |
2011-09-16 | new, improved doxygen config file | Morgan Deters | |
2011-09-16 | fix serious issue with copyright-updating script | Morgan Deters | |
2011-09-16 | fix numerous documentation issues; doxygen complains much less, now | Morgan Deters | |
2011-09-16 | fix an oversight in the language printers | Morgan Deters | |
2011-09-16 | fix debian build without breaking anything (i hope) | Morgan Deters | |
2011-09-15 | tim's fixes for context-dependent pre-registration | Dejan Jovanović | |
2011-09-15 | adding --show-debug-tags to list all available debug tracing tags | Dejan Jovanović | |
2011-09-15 | additional stuff for sharing, | Dejan Jovanović | |
2011-09-07 | fixes for uf/equality engine from the quantifiers branch. mainly ↵ | Dejan Jovanović | |
backtracking issues. | |||
2011-09-03 | this should fix the build; doxygen documentation now gets built in ↵ | Morgan Deters | |
srcdir/doc/doxygen | |||
2011-09-03 | Disable a warning to address bug 277. (This doesn't really resolve the ↵ | Morgan Deters | |
issue, but the warning isn't dangerous here. See the bugzilla comments.) | |||
2011-09-03 | removing an assert i forgot to remove that andy found | Dejan Jovanović | |