summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcCom.c
Commit message (Expand)AuthorAgeFilesLines
* Word-level abstraction engine.Alan Mishchenko2017-02-151-4/+139
* Word-level abstraction.Alan Mishchenko2017-02-091-3/+5
* Making sure 'inv_out' can match flops by name.Alan Mishchenko2017-02-091-2/+2
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+98
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-6/+22
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-45/+111
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-0/+116
* Adding features for invariant minimization.Alan Mishchenko2017-01-251-1/+1
* Adding features for invariant minimization.Alan Mishchenko2017-01-241-8/+8
* Adding features for invariant minimization.Alan Mishchenko2017-01-241-8/+20
* Adding features for invariant minimization.Alan Mishchenko2017-01-241-63/+275
* New command to profile arithmetic logic cones.Alan Mishchenko2016-11-261-1/+47
* Change Verilog reader to take a string rather than file name.Alan Mishchenko2016-10-061-1/+1
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-4/+8
* Adding output range support to %blast.Alan Mishchenko2016-07-181-4/+33
* Bug-fix in SMT-LIB parser (incorrect handling of arithmetic right-shift).Alan Mishchenko2016-07-121-2/+2
* New profiling features for word-level optimizations.Alan Mishchenko2016-06-041-4/+8
* Improving SMT-LIB parser.Alan Mishchenko2016-05-211-3/+13
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-4/+8
* Changes to PDR to compute f-inf clauses and import invariant (or clauses) as ...Alan Mishchenko2016-01-141-1/+66
* Corner-case bug in invariant profiling.Alan Mishchenko2015-12-181-0/+5
* New command %psinv.Alan Mishchenko2015-11-231-0/+54
* Bug fixing in %blast when blasting MUX coming from always-statement.Alan Mishchenko2015-07-071-4/+9
* Bug fixing in %blast when blasting mod operator (handling zero divisor).Alan Mishchenko2015-07-071-4/+22
* Adding new debugging feature to Wlc_Ntk_t.Alan Mishchenko2015-06-191-1/+3
* Sequential word-level simulator for Wlc_Ntk_t.Alan Mishchenko2015-06-041-0/+2
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-181-51/+1
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-151-11/+25
* Modifications to read SMTLIB file from stdin.Alan Mishchenko2015-02-111-0/+53
* Added SMT parser for Wlc_Ntk_t.Alan Mishchenko2015-02-071-12/+20
* Bug fix in abstracting boxes.Alan Mishchenko2014-11-171-1/+1
* Improvements to word-level network package.Alan Mishchenko2014-11-141-0/+49
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-4/+16
* Enabling print-out, for each operator, of the percetage of AND nodes after bi...Alan Mishchenko2014-09-251-3/+8
* New word-level representation package.Alan Mishchenko2014-09-121-0/+311
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 00:04:01 +0000