Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-11-01 | Working memory leak free version, changes interface to pointers. | ajreynol | |
2016-04-20 | update from the master | PaulMeng | |
2014-12-11 | Minor fixes to language bindings. (Resolves #607.) | Morgan Deters | |
2014-05-27 | Some fixes to GC order in Java. | Morgan Deters | |
2014-05-27 | Fix typo in Java destruction code; should fix some recent bug reports of ↵ | Morgan Deters | |
crashes in Java. | |||
2013-12-02 | Another fix to Java destruction order issues. Thanks to Zheng Manchun for ↵ | Morgan Deters | |
the report. | |||
2013-11-27 | Add missing template instanatiation in Java bindings | Morgan Deters | |
2013-11-26 | Fix Java destruction order issue; thanks to Zheng Manchun for reporting this ↵ | Morgan Deters | |
bug. | |||
2013-11-26 | Minor fix for swig bindings. | Morgan Deters | |
2013-08-30 | Add ability to mkConst(TupleSelect) and friends in language bindings | Morgan Deters | |
2012-11-17 | * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ↵ | Morgan Deters | |
ALL_SUPPORTED logic * Java bindings fixes: fixed access to ostreams, iterators * Make SmtEngine::setUserAttribute() (and others) take a const string& * Also a few compliance fixes (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-08-20 | fixes for java bindings | Morgan Deters | |
2012-08-16 | fix exceptions and mkConst() in java binding | Morgan Deters | |
2012-08-16 | some fixes for language bindings | Morgan Deters | |
2011-11-15 | Bindings work (ocaml bindings are now sort of working); also minor cleanup | 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-09-30 | interfaces fixes and cleanups...and examples of each interface! | 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 |