summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcWriteVer.c
Commit message (Expand)AuthorAgeFilesLines
* 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