summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlc.h
Commit message (Expand)AuthorAgeFilesLines
* Supporting the decoder primitive in NDR and bit-blasting.Alan Mishchenko2018-06-051-1/+2
* Exposing a switch to generate carry-lookahead adder during bit-blasting.Alan Mishchenko2018-06-051-0/+2
* Supporting NMUX and SEL in NDR.Alan Mishchenko2018-05-241-0/+1
* Updates to NDR format (flops, memories, signed mult, etc).Alan Mishchenko2018-04-291-3/+6
* Memory abstraction.Alan Mishchenko2018-04-201-1/+1
* Memory abstraction.Alan Mishchenko2018-04-191-0/+1
* Memory abstraction.Alan Mishchenko2018-04-151-1/+9
* Extending primitives supported by WLC.Alan Mishchenko2018-03-031-1/+3
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-281-1/+36
* Fixing input swapping issue in MUXes derived from NDR.Alan Mishchenko2018-02-071-0/+2
* Adding support of reading and writing designs using a new internal format.Alan Mishchenko2018-01-281-0/+3
* Adding new type of MUX blasting.Alan Mishchenko2017-07-071-1/+1
* mergeYen-Sheng Ho2017-06-061-1/+1
|\
| * Adding switch %blast -d to dump dual-output miter after blasting.Alan Mishchenko2017-04-291-1/+1
* | %pdra: added an option for disabling incremental solvingYen-Sheng Ho2017-04-161-0/+1
|/
* %pdra: added top level callbacksYen-Sheng Ho2017-04-091-0/+2
* %pdra: added an option -t for disabling trace reuseYen-Sheng Ho2017-03-311-0/+1
* %pdra: added an option -sYen-Sheng Ho2017-03-281-0/+4
* %pdra: added a procedure to shrink abstractionYen-Sheng Ho2017-03-271-0/+1
* %pdra: working on bmc3Yen-Sheng Ho2017-03-191-0/+23
* %pdra: working on bmc3Yen-Sheng Ho2017-03-181-0/+1
* New word-level transformation.Alan Mishchenko2017-03-171-1/+2
* %pdra: added an option -i for weaker proof-based refinementYen-Sheng Ho2017-03-091-0/+1
* %pdra, %abs: added option -d for apple-to-apple comparisonYen-Sheng Ho2017-03-091-0/+1
* %pdra: added an option -u for checking comb. unsatYen-Sheng Ho2017-03-011-0/+1
* added an option -r to %pdra: proof-based refinement onlyYen-Sheng Ho2017-02-281-4/+5
* %pdra -L: now applies to all typesYen-Sheng Ho2017-02-271-1/+1
* added an option -L to %pdra for limiting the number of muxesYen-Sheng Ho2017-02-261-0/+1
* added an option -b to %pdraYen-Sheng Ho2017-02-251-0/+2
* added %pdra -a: run with pdr -nctYen-Sheng Ho2017-02-231-0/+1
* added an option -m for %pdraYen-Sheng Ho2017-02-221-0/+1
* clean upYen-Sheng Ho2017-02-211-17/+1
* added options of checking and pushing to %pdraYen-Sheng Ho2017-02-201-0/+2
* added datastructure for %pdra optionsYen-Sheng Ho2017-02-201-1/+17
* working on pdr with wlaYen-Sheng Ho2017-02-191-0/+1
* Word-level abstraction engine.Alan Mishchenko2017-02-151-8/+17
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+2
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+14
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-1/+1
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-4/+9
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-1/+11
* Improvements to SMT-LIB parser.Alan Mishchenko2017-01-261-0/+1
* New command to profile arithmetic logic cones.Alan Mishchenko2016-11-261-0/+6
* 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-1/+1
* Adding output range support to %blast.Alan Mishchenko2016-07-181-1/+1
* Changes to Wlc to accommodate signed signals in SMT-LIB.Alan Mishchenko2016-06-071-0/+2
* New profiling features for word-level optimizations.Alan Mishchenko2016-06-041-1/+1
* Improving SMT-LIB parser.Alan Mishchenko2016-05-231-8/+10
* Improving SMT-LIB parser.Alan Mishchenko2016-05-211-36/+37
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 19:32:28 +0000