summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcReadVer.c
Commit message (Expand)AuthorAgeFilesLines
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-3/+2
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-1/+1
* Change Verilog reader to take a string rather than file name.Alan Mishchenko2016-10-061-6/+8
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-1/+1
* Adding output range support to %blast.Alan Mishchenko2016-07-181-1/+1
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-1/+1
* New profiling features for word-level optimizations.Alan Mishchenko2016-06-041-1/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-231-1/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-211-0/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-201-0/+3
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+1
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+1
* Supporting negative and reverse ranges of word-level variables in Wlc.Alan Mishchenko2016-04-041-19/+46
* Supporting bit-wise XNOR operator in Wlc_Ntk_t.Alan Mishchenko2016-03-181-1/+1
* Supporting complemented reduction operators.Alan Mishchenko2016-03-111-6/+7
* Supporting complemented reduction operators.Alan Mishchenko2016-03-101-4/+14
* Supporting ~^ as equality operator in Wlc.Alan Mishchenko2016-03-041-2/+3
* Improving bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-131-1/+1
* 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-11/+16
* Adding code to support gate profiles.Alan Mishchenko2015-12-141-1/+4
* Extending Verilog parser to handle 'default' in the case-statement.Alan Mishchenko2015-12-071-11/+27
* Making ABC error out instead of crashing when non-standard range is given.Alan Mishchenko2015-08-031-3/+8
* Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling ...Alan Mishchenko2015-07-161-1/+17
* Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator ...Alan Mishchenko2015-07-141-1/+3
* Bug fixing in %blast when blasting MUX coming from always-statement.Alan Mishchenko2015-07-071-1/+3
* Bug fixing in %blast when blasting mod operator (handling zero divisor).Alan Mishchenko2015-07-071-1/+1
* Add warnings to %read about 3-arge ops and non-zero-based ranges.Alan Mishchenko2015-06-231-5/+15
* Fixed a typo in variable names.Alan Mishchenko2015-02-071-9/+9
* Added SMT parser for Wlc_Ntk_t.Alan Mishchenko2015-02-071-14/+17
* Outputting initial state in Wlc_Ntk_t.Alan Mishchenko2015-01-251-16/+32
* Fix in deriving the init values for Wlc_Ntk_t.Alan Mishchenko2015-01-221-0/+2
* Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.Alan Mishchenko2015-01-211-1/+1
* Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.Alan Mishchenko2015-01-211-6/+52
* Induced bug fix in bitblasting of rotation operator.Alan Mishchenko2014-11-291-1/+2
* Improvements to word-level network package.Alan Mishchenko2014-11-141-1/+1
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-1/+1
* Improvements to the parser.Alan Mishchenko2014-10-101-7/+86
* Support for sequential designs in word-level Verilog.Alan Mishchenko2014-09-261-21/+81
* Bug fix in handling MUXes in Verilog parser, induced by recent changes.Alan Mishchenko2014-09-241-0/+2
* Added support of word-level MUXes represented as 'always'-statements.Alan Mishchenko2014-09-241-2/+95
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-1/+1
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-171-2/+3
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-171-10/+17
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-161-73/+254
* New word-level representation package.Alan Mishchenko2014-09-121-0/+711
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 06:22:19 +0000