Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-10-07 | Some new Datatype public functionality, as per Chris Conway's suggestions on ↵ | Morgan Deters | |
the dev mailing list. | |||
2011-10-06 | don't build language bindings unless expressly requested with ↵ | Morgan Deters | |
--enable-language-bindings | |||
2011-10-05 | Reverting a fix from earlier today that fixed a Mac OS warning but ↵ | Morgan Deters | |
completely broke Linux. :-( | |||
2011-10-05 | ensureLiteral() in CNF stream to support Andy's quantifiers work; an update ↵ | Morgan Deters | |
to model gen on booleans; and a little cleanup | |||
2011-10-05 | minor visibility fixes | Morgan Deters | |
2011-10-05 | remove some debugging code that slowed down last night's regressions | Morgan Deters | |
2011-10-04 | Disabling the variable removal hueristic by default. | Tim King | |
2011-10-04 | also add test case | Morgan Deters | |
2011-10-04 | fixes to context-dependent caching substitutions | Morgan Deters | |
2011-10-04 | add a guard for history saving, to enable building without GNU history library | Morgan Deters | |
2011-10-04 | compatibility, bindings | Morgan Deters | |
2011-10-04 | cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix | Morgan Deters | |
2011-10-04 | compat layer cleanup | Morgan Deters | |
2011-10-04 | oops, one more fix, hopefully the last | Morgan Deters | |
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 | |