summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2014-06-22Renaming of SMT2 operator names, kinds for set theoryKshitij Bansal
* SET_SINGLETON kind renamed to just SINGLETON * "setenum" smt2 opertor renamed to "singleton"[1] * "in" smt2 operator renamed to "member"[2] [1] It was anyhow accepting exactly one argument, so was bit misleading to call set enumerator. [2] The corresponding kind was called MEMBER, so this will also make them consistent. Only inconsistency now is for subset: kind is called SUBSET but operator is called "subseteq".
2014-06-21Sets kinds documentationMorgan Deters
2014-06-21fixed build failurelianah
2014-06-20Implement RecordProperties::mkGroundTerm(). Resolves bug #546.Morgan Deters
2014-06-19fixed merge conflictlianah
2014-06-19added model generation to eager bit-blasting and turned abc off by defaultlianah
2014-06-19update to abc install instructionslianah
2014-06-19Better --segv-spin messages.Morgan Deters
2014-06-19Fix make install-examples.Morgan Deters
2014-06-19Proper escaping in option documentation.Morgan Deters
2014-06-19Version of the run script that works with trace executor; waiting on ↵Morgan Deters
StarExec infrastructure for testing.
2014-06-19forgot to add the test with fixKshitij Bansal
according to bug report, fix was in 6267f3
2014-06-19basic fixes for sets translator, separate binariesKshitij Bansal
2014-06-19Options script fix.Morgan Deters
2014-06-19Fix for mac readline.Morgan Deters
2014-06-19Better error for invalid concrete syntax of sorts with too many parens, like ↵Morgan Deters
(Int). Thanks to Dan Liew for the report.
2014-06-19Fix GLPK builds: correct access specifier on cut classes.Morgan Deters
2014-06-19Java bindings fixes.Morgan Deters
2014-06-19Minor Doxygen fixes.Morgan Deters
2014-06-19disable unate lemmas when using incremental modeKshitij Bansal
2014-06-19Fix for pre-C++11 is_sorted().Morgan Deters
2014-06-19More minor code cleanup.Morgan Deters
2014-06-19No more dependence on libstdc++ or PBDS stuff: remove build stuff that ↵Morgan Deters
supported it.
2014-06-19New translator features: expand define-funs and combine assertions.Morgan Deters
2014-06-19Code cleanup.Morgan Deters
2014-06-19Documentation clean-ups.Morgan Deters
2014-06-19Another fix for the CASC stuff.Morgan Deters
2014-06-19Final preparations for arithmetic for building with libc++.Morgan Deters
2014-06-19Fix for new CASC features, fixes Java builds.Morgan Deters
2014-06-19Some reversions of recent commits re: portfolio failure.Morgan Deters
* Partial reversion of b8e28a7, do it a different way. * Revert "Test portfolio with --no-wait-to-join." This reverts commit 8b56004ee8bf6c34aaf045bec12bf0e4401a044c.
2014-06-19This commit adds a priority queue implementation. This is to avoid ↵Tim King
compilation troubles with libc++.
2014-06-19Test portfolio with --no-wait-to-join.Morgan Deters
2014-06-19For casc : print models of functions rewritten by sort inference.ajreynol
2014-06-19Fix rewriter typo.Morgan Deters
2014-06-19Clean up glpk detection a little, fix a detection bug.Morgan Deters
2014-06-19fix typoMorgan Deters
2014-06-19More application-track fixes for use with trace executor.Morgan Deters
2014-06-19Versioning preparation.Morgan Deters
2014-06-19Some fixes for tear-down-incremental and "success" output.Morgan Deters
2014-06-19Disallow context-dependent copy/assignment.Morgan Deters
2014-06-19Fix compile errors with some versions of GCC.Morgan Deters
2014-06-19Clean up some compiler warnings on 32-bit.Morgan Deters
2014-06-19Minor fixes to get-abc script and configure stuff.Morgan Deters
2014-06-19get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-19dos2unix-convert some sources.Morgan Deters
2014-06-19Minor fixes, spelling etc.Morgan Deters
2014-06-19More proof support for CASC : include skolemizationajreynol
2014-06-19minor update to application track config in QF_BVMorgan Deters
2014-06-19More doc fixes; fixes some lintian warnings.Morgan Deters
2014-06-19Better --segv-spin messages.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback