summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcReadVer.c
Commit message (Expand)AuthorAgeFilesLines
* Recognizing async reset in blasting (the case of constant 0 driver).Alan Mishchenko2019-04-021-2/+18
* Recognizing async reset in blasting.Alan Mishchenko2019-03-261-0/+53
* Experiments with memory abstraction.Alan Mishchenko2019-01-221-2/+2
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-1/+3
* Updated for memory abstraction.Alan Mishchenko2018-12-111-4/+4
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-091-2/+2
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
* Various usability changes.Alan Mishchenko2018-11-181-1/+56
* Support for flops with complex controls.Alan Mishchenko2018-09-221-7/+15
* Compiler warnings.Alan Mishchenko2018-06-081-1/+1
* Updates to NDR format (flops, memories, signed mult, etc).Alan Mishchenko2018-04-291-0/+198
* Memory abstraction.Alan Mishchenko2018-04-151-9/+57
* Extending primitives supported by WLC.Alan Mishchenko2018-03-031-1/+56
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-281-1/+1
* Adding support for adders with carry-in in WLC and NDR.Alan Mishchenko2018-02-241-0/+6
* Adding new type of MUX blasting.Alan Mishchenko2017-07-071-1/+1
* Adding switch %blast -d to dump dual-output miter after blasting.Alan Mishchenko2017-04-291-1/+1
* New word-level transformation.Alan Mishchenko2017-03-171-1/+1
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+1
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+1
* Commenting out debug code.Alan Mishchenko2017-01-291-1/+0
* Updates to arithmetic verification.Alan Mishchenko2017-01-291-0/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-26 04:17:01 +0000