summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcWriteVer.c
Commit message (Expand)AuthorAgeFilesLines
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-1/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-231-2/+4
* Improving SMT-LIB parser.Alan Mishchenko2016-05-211-0/+2
* Improving SMT-LIB parser.Alan Mishchenko2016-05-201-1/+8
* Supporting negative and reverse ranges of word-level variables in Wlc.Alan Mishchenko2016-04-041-1/+1
* Supporting bit-wise XNOR operator in Wlc_Ntk_t.Alan Mishchenko2016-03-181-0/+2
* Supporting complemented reduction operators.Alan Mishchenko2016-03-101-0/+6
* Adding support for a different bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-121-0/+2
* Supporting X-valued constants in Wlc_Ntk_t.Alan Mishchenko2016-02-021-1/+1
* Supporting X-valued constants in Wlc_Ntk_t.Alan Mishchenko2016-02-021-6/+13
* Supporting X-valued constants in Wlc_Ntk_t.Alan Mishchenko2016-02-021-0/+8
* Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator ...Alan Mishchenko2015-07-141-0/+2
* Bug fixing in %blast when blasting MUX coming from always-statement.Alan Mishchenko2015-07-071-54/+57
* Bug fixing in %blast when blasting mod operator (handling zero divisor).Alan Mishchenko2015-07-071-2/+3
* Bug fix WLC package (reusing name buffer, resulting in wrong print-outs).Alan Mishchenko2015-03-031-3/+2
* Several ongoing changes.Alan Mishchenko2015-01-261-1/+1
* Outputting initial state in Wlc_Ntk_t.Alan Mishchenko2015-01-261-28/+25
* Outputting initial state in Wlc_Ntk_t.Alan Mishchenko2015-01-251-2/+36
* Improvements to word-level network package.Alan Mishchenko2014-11-141-2/+2
* Improvements to word-level network package.Alan Mishchenko2014-11-141-23/+28
* Bug fix in Verilog writer.Alan Mishchenko2014-10-021-8/+8
* Improvements to bit-blaster.Alan Mishchenko2014-10-011-9/+46
* Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).Alan Mishchenko2014-09-281-1/+1
* Support for sequential designs in word-level Verilog.Alan Mishchenko2014-09-261-9/+34
* Added support of word-level MUXes represented as 'always'-statements.Alan Mishchenko2014-09-241-0/+24
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-171-1/+1
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-171-4/+86
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-161-0/+1
* Compiler warnings.Alan Mishchenko2014-09-121-1/+1
* New word-level representation package.Alan Mishchenko2014-09-121-0/+204