| Age | Commit message (Expand) | Author |
|---|
| 2014-06-21 | Fix to the compatibility library (this does fix the build). | Morgan Deters |
| 2014-06-21 | Fix compat-Java layer, should fix build. | Morgan Deters |
| 2014-06-21 | Lower the Java JRE version requirement. | Morgan Deters |
| 2014-06-21 | Adjust library dependencies to be more correct (fixes lintian warnings). | Morgan Deters |
| 2014-06-21 | Add some missing functions in configuration and compat library. | Morgan Deters |
| 2014-06-21 | Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ... | Morgan Deters |
| 2014-06-21 | Minor fixes for man pages. | Morgan Deters |
| 2014-06-21 | Some minor cleanup and documentation. | Morgan Deters |
| 2014-06-21 | fixed build failure | lianah |
| 2014-06-20 | Implement RecordProperties::mkGroundTerm(). Resolves bug #546. | Morgan Deters |
| 2014-06-19 | fixed merge conflict | lianah |
| 2014-06-19 | added model generation to eager bit-blasting and turned abc off by default | lianah |
| 2014-06-19 | update to abc install instructions | lianah |
| 2014-06-19 | Better --segv-spin messages. | Morgan Deters |
| 2014-06-19 | Fix make install-examples. | Morgan Deters |
| 2014-06-19 | Proper escaping in option documentation. | Morgan Deters |
| 2014-06-19 | Version of the run script that works with trace executor; waiting on StarExec... | Morgan Deters |
| 2014-06-19 | forgot to add the test with fix | Kshitij Bansal |
| 2014-06-19 | basic fixes for sets translator, separate binaries | Kshitij Bansal |
| 2014-06-19 | Options script fix. | Morgan Deters |
| 2014-06-19 | Fix for mac readline. | Morgan Deters |
| 2014-06-19 | Better error for invalid concrete syntax of sorts with too many parens, like ... | Morgan Deters |
| 2014-06-19 | Fix GLPK builds: correct access specifier on cut classes. | Morgan Deters |
| 2014-06-19 | Java bindings fixes. | Morgan Deters |
| 2014-06-19 | Minor Doxygen fixes. | Morgan Deters |
| 2014-06-19 | disable unate lemmas when using incremental mode | Kshitij Bansal |
| 2014-06-19 | Fix for pre-C++11 is_sorted(). | Morgan Deters |
| 2014-06-19 | More minor code cleanup. | Morgan Deters |
| 2014-06-19 | No more dependence on libstdc++ or PBDS stuff: remove build stuff that suppor... | Morgan Deters |
| 2014-06-19 | New translator features: expand define-funs and combine assertions. | Morgan Deters |
| 2014-06-19 | Code cleanup. | Morgan Deters |
| 2014-06-19 | Documentation clean-ups. | Morgan Deters |
| 2014-06-19 | Another fix for the CASC stuff. | Morgan Deters |
| 2014-06-19 | Final preparations for arithmetic for building with libc++. | Morgan Deters |
| 2014-06-19 | Fix for new CASC features, fixes Java builds. | Morgan Deters |
| 2014-06-19 | Some reversions of recent commits re: portfolio failure. | Morgan Deters |
| 2014-06-19 | This commit adds a priority queue implementation. This is to avoid compilati... | Tim King |
| 2014-06-19 | Test portfolio with --no-wait-to-join. | Morgan Deters |
| 2014-06-19 | For casc : print models of functions rewritten by sort inference. | ajreynol |
| 2014-06-19 | Fix rewriter typo. | Morgan Deters |
| 2014-06-19 | Clean up glpk detection a little, fix a detection bug. | Morgan Deters |
| 2014-06-19 | fix typo | Morgan Deters |
| 2014-06-19 | More application-track fixes for use with trace executor. | Morgan Deters |
| 2014-06-19 | Versioning preparation. | Morgan Deters |
| 2014-06-19 | Some fixes for tear-down-incremental and "success" output. | Morgan Deters |
| 2014-06-19 | Disallow context-dependent copy/assignment. | Morgan Deters |
| 2014-06-19 | Fix compile errors with some versions of GCC. | Morgan Deters |
| 2014-06-19 | Clean up some compiler warnings on 32-bit. | Morgan Deters |
| 2014-06-19 | Minor fixes to get-abc script and configure stuff. | Morgan Deters |
| 2014-06-19 | get-glpk-cut-log script, and configure code. | Morgan Deters |
