Age | Commit message (Expand) | Author |
2014-06-22 | Re-enable UNTERMINATED_QUOTED_SYMBOL rules. | Morgan Deters |
2014-06-22 | Merge tag 'smtcomp2014-application' | Morgan Deters |
2014-06-22 | QuitCommand needs "success" output for trace executor. :-(smtcomp2014-application | Morgan Deters |
2014-06-22 | Final fixes for smtcomp2014-application. | Morgan Deters |
2014-06-22 | Merge pull request #39 from mdeters/bv-warnings | lianah |
2014-06-22 | Merge pull request #35 from mdeters/bv-kinds | lianah |
2014-06-21 | Fix compiler warnings (mostly unused variables). | Morgan Deters |
2014-06-21 | API documentation improvements. | Morgan Deters |
2014-06-21 | Fix compiler warnings in BV-related code (unused vars mostly). | Morgan Deters |
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-20 | Bit-vector kinds documentation | 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 | Better --segv-spin messages. | Morgan Deters |
2014-06-19 | Proper escaping in option documentation. | Morgan Deters |
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 | 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 | New translator features: expand define-funs and combine assertions. | Morgan Deters |
2014-06-19 | Code cleanup. | 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 | 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 | More application-track fixes for use with trace executor. | 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 | get-glpk-cut-log script, and configure code. | Morgan Deters |
2014-06-19 | dos2unix-convert some sources. | Morgan Deters |
2014-06-19 | Minor fixes, spelling etc. | Morgan Deters |