summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcReadSmt.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to SMT-LIB parser (bug fixes).Alan Mishchenko2017-01-301-7/+23
* Improvements to SMT-LIB parser.Alan Mishchenko2017-01-261-81/+239
* Bug fix in SMT parser.Alan Mishchenko2016-10-021-20/+12
* Bug fix in the SMT parser to address multi-argument operators and large const...Alan Mishchenko2016-09-301-2/+295
* Supporting 'define-fun' with an expression rather than a constant.Alan Mishchenko2016-09-291-6/+19
* Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift).Alan Mishchenko2016-07-121-6/+16
* Improving SMT-LIB parser.Alan Mishchenko2016-05-231-1/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-231-8/+10
* Improving SMT-LIB parser.Alan Mishchenko2016-05-211-31/+61
* Improving SMT-LIB parser.Alan Mishchenko2016-05-201-78/+65
* Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver.Alan Mishchenko2016-05-191-3/+3
* Improving SMT-LIB parser.Alan Mishchenko2016-05-191-0/+370
* Supporting negative and reverse ranges of word-level variables in Wlc.Alan Mishchenko2016-04-041-1/+1
* Fix C++ compilation errorsBaruch Sterin2015-10-161-3/+2
* C++ compiler typecast problem.Alan Mishchenko2015-07-081-1/+1
* Bug fix in SMT-LIB parser.Alan Mishchenko2015-06-301-1/+1
* Supporting 'distinct' keyword in SMT-LIB parser.Alan Mishchenko2015-06-201-2/+2
* Bug fix in %read_smt and prevent crash of &cec if there is no current AIG.Alan Mishchenko2015-04-271-4/+14
* Suggested fixes to compile with 'gcc -x c++'.Alan Mishchenko2015-04-241-2/+2
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-0/+1
* Several bug fixes and silencing requests.Alan Mishchenko2015-03-161-3/+3
* Improvements to the SMTLIB parser.Alan Mishchenko2015-02-281-533/+683
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-181-1/+0
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-181-9/+4
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-181-1/+3
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-151-41/+113
* Several improvements to CBA data-structure.Alan Mishchenko2015-02-131-1/+0
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-111-10/+15
* Added SMT parser for Wlc_Ntk_t.Alan Mishchenko2015-02-071-0/+681