| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Improvements to SMT-LIB parser (bug fixes). | Alan Mishchenko | 2017-01-30 | 1 | -7/+23 |
| * | Improvements to SMT-LIB parser. | Alan Mishchenko | 2017-01-26 | 1 | -81/+239 |
| * | Bug fix in SMT parser. | Alan Mishchenko | 2016-10-02 | 1 | -20/+12 |
| * | Bug fix in the SMT parser to address multi-argument operators and large const... | Alan Mishchenko | 2016-09-30 | 1 | -2/+295 |
| * | Supporting 'define-fun' with an expression rather than a constant. | Alan Mishchenko | 2016-09-29 | 1 | -6/+19 |
| * | Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift). | Alan Mishchenko | 2016-07-12 | 1 | -6/+16 |
| * | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-23 | 1 | -1/+1 |
| * | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-23 | 1 | -8/+10 |
| * | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-21 | 1 | -31/+61 |
| * | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-20 | 1 | -78/+65 |
| * | Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. | Alan Mishchenko | 2016-05-19 | 1 | -3/+3 |
| * | Improving SMT-LIB parser. | Alan Mishchenko | 2016-05-19 | 1 | -0/+370 |
| * | Supporting negative and reverse ranges of word-level variables in Wlc. | Alan Mishchenko | 2016-04-04 | 1 | -1/+1 |
| * | Fix C++ compilation errors | Baruch Sterin | 2015-10-16 | 1 | -3/+2 |
| * | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 |
| * | Bug fix in SMT-LIB parser. | Alan Mishchenko | 2015-06-30 | 1 | -1/+1 |
| * | Supporting 'distinct' keyword in SMT-LIB parser. | Alan Mishchenko | 2015-06-20 | 1 | -2/+2 |
| * | Bug fix in %read_smt and prevent crash of &cec if there is no current AIG. | Alan Mishchenko | 2015-04-27 | 1 | -4/+14 |
| * | Suggested fixes to compile with 'gcc -x c++'. | Alan Mishchenko | 2015-04-24 | 1 | -2/+2 |
| * | Scalable SOP manipulation package. | Alan Mishchenko | 2015-03-18 | 1 | -0/+1 |
| * | Several bug fixes and silencing requests. | Alan Mishchenko | 2015-03-16 | 1 | -3/+3 |
| * | Improvements to the SMTLIB parser. | Alan Mishchenko | 2015-02-28 | 1 | -533/+683 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-18 | 1 | -1/+0 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-18 | 1 | -9/+4 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-18 | 1 | -1/+3 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-15 | 1 | -41/+113 |
| * | Several improvements to CBA data-structure. | Alan Mishchenko | 2015-02-13 | 1 | -1/+0 |
| * | Modifications to read SMTLIB file from stdin. | Alan Mishchenko | 2015-02-11 | 1 | -10/+15 |
| * | Added SMT parser for Wlc_Ntk_t. | Alan Mishchenko | 2015-02-07 | 1 | -0/+681 |
