summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-10-04also add test caseMorgan Deters
2011-10-04fixes to context-dependent caching substitutionsMorgan Deters
2011-10-04add a guard for history saving, to enable building without GNU history libraryMorgan Deters
2011-10-04compatibility, bindingsMorgan Deters
2011-10-04cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fixMorgan Deters
2011-10-04compat layer cleanupMorgan Deters
2011-10-04oops, one more fix, hopefully the lastMorgan Deters
2011-10-04Yet 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-04Oh, 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-04mimicking Chris's recent contribution to QueryResult in CVC3 in the ↵Morgan Deters
compatibility layer
2011-10-04more fixes for libantlr3c v3.4Morgan Deters
2011-10-04support for configure-discovery of antlr3-3.4-beta4Morgan Deters
2011-10-03user push/pop support in minisat and simplification; also bindings workMorgan Deters
2011-10-03Importing Chris's recent changes to CVC3's ValidityChecker into the ↵Morgan Deters
compatibility layer
2011-09-30fix to CNF undoTranslate(), to support incrementalityMorgan Deters
2011-09-30forgot to put some things in the distroMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-30more push/pop infrastructure, some SAT stuffMorgan Deters
2011-09-30fixes to incremental simplification, cnf routines, other stuff in ↵Morgan Deters
preparation of user push/pop in SAT solver
2011-09-29compatibility work, documentationMorgan Deters
2011-09-29build system fixesMorgan Deters
2011-09-29Some 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-29some test fixesMorgan Deters
2011-09-28another make dist fix for java compat bindingsMorgan Deters
2011-09-28variety of visibility fixes (should clean up some of the many warnings on ↵Morgan Deters
MacOS-production-dynamic builds)
2011-09-28CVC4::Integer was not marked CVC4_PUBLIC, causing dynamic link errors on ↵Morgan Deters
MacOS in production builds. Fixed.
2011-09-28fixes for make dist ; make installMorgan Deters
2011-09-28better 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-28Regular 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-28removed "typename" keyword (fix to bug 280)Morgan Deters
2011-09-27more interface work; adding legacy C interfaceMorgan Deters
2011-09-25first crack at compatibility java interface (not built by default)Morgan Deters
2011-09-24Fix 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-23interface cleanup, java bindings workMorgan Deters
2011-09-21Java 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-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-20fix buildMorgan Deters
2011-09-20Merge from "swig" branch: language binding for Java is compiling and ↵Morgan Deters
linking. Enable with --enable-language-bindings=java
2011-09-18cleaned up the mechanism for library versioningMorgan 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-16dump define-funs correctly with "--dump declarations", whether the function ↵Morgan Deters
is defined via API or through input language
2011-09-16include example theory (former "UF-Tim") that's included in the dist but not ↵Morgan Deters
built for the library
2011-09-16final(?) documentation fixesMorgan Deters
2011-09-16fix up more documentationMorgan Deters
2011-09-16some minor fixes to the cvc3 compatibility library and test caseMorgan Deters
2011-09-16new, improved doxygen config fileMorgan Deters
2011-09-16fix serious issue with copyright-updating scriptMorgan Deters
2011-09-16fix numerous documentation issues; doxygen complains much less, nowMorgan Deters
2011-09-16fix an oversight in the language printersMorgan Deters
2011-09-16fix debian build without breaking anything (i hope)Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback