summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcCom.c
Commit message (Expand)AuthorAgeFilesLines
* Experiments with memory abstraction.Alan Mishchenko2019-01-271-2/+63
* Experiments with memory abstraction.Alan Mishchenko2019-01-221-1/+1
* Experiments with memory abstraction.Alan Mishchenko2019-01-221-8/+9
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-211-2/+6
* Undoing some recent changes for improved CEX writing.Alan Mishchenko2019-01-211-68/+0
* Fixing the problem with outputting word-level CEXes after retiming.Alan Mishchenko2019-01-171-0/+1
* Procedure to trasnsform counter-examples.Alan Mishchenko2019-01-151-0/+66
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-091-2/+20
* Various usability changes.Alan Mishchenko2018-11-181-3/+10
* Experiments with word-level retiming.Alan Mishchenko2018-09-301-2/+61
* Adding dump of name mapping after blasting.Alan Mishchenko2018-09-211-4/+34
* Command %blastmem for bit-blasting small memories.Alan Mishchenko2018-06-161-0/+48
* Supporting the decoder primitive in NDR and bit-blasting.Alan Mishchenko2018-06-051-1/+1
* Exposing a switch to generate carry-lookahead adder during bit-blasting.Alan Mishchenko2018-06-051-2/+6
* Supporting NMUX and SEL in NDR.Alan Mishchenko2018-05-241-1/+1
* Updates to NDR format (flops, memories, signed mult, etc).Alan Mishchenko2018-04-291-9/+10
* Memory abstraction.Alan Mishchenko2018-04-201-5/+9
* Memory abstraction.Alan Mishchenko2018-04-191-2/+9
* Memory abstraction.Alan Mishchenko2018-04-151-68/+150
* Adding parameters and improvements to %blast.Alan Mishchenko2018-02-281-32/+66
* Adding support for adders with carry-in in WLC and NDR.Alan Mishchenko2018-02-241-0/+1
* Adding support of reading and writing designs using a new internal format.Alan Mishchenko2018-01-281-4/+9
* Adding new type of MUX blasting.Alan Mishchenko2017-07-071-4/+8
* mergeYen-Sheng Ho2017-06-061-4/+8
|\
| * Adding switch %blast -d to dump dual-output miter after blasting.Alan Mishchenko2017-04-291-4/+8
* | %pdra: added an option for disabling incremental solvingYen-Sheng Ho2017-04-161-2/+6
|/
* %pdra: added an option -t for disabling trace reuseYen-Sheng Ho2017-03-311-2/+6
* %pdra: added an option -sYen-Sheng Ho2017-03-281-2/+6
* %pdra: working on bmc3Yen-Sheng Ho2017-03-181-2/+6
* New word-level transformation.Alan Mishchenko2017-03-171-1/+49
* %pdra: added an option -i for weaker proof-based refinementYen-Sheng Ho2017-03-091-2/+6
* %pdra, %abs: added option -d for apple-to-apple comparisonYen-Sheng Ho2017-03-091-4/+12
* %pdra: added an option -u for checking comb. unsatYen-Sheng Ho2017-03-011-2/+6
* small tweaksYen-Sheng Ho2017-02-281-1/+1
* added an option -r to %pdra: proof-based refinement onlyYen-Sheng Ho2017-02-281-1/+5
* added -L to %absYen-Sheng Ho2017-02-281-2/+14
* %pdra -L: now applies to all typesYen-Sheng Ho2017-02-271-3/+3
* added an option -L to %pdra for limiting the number of muxesYen-Sheng Ho2017-02-261-2/+14
* added an option -b to %pdraYen-Sheng Ho2017-02-251-3/+7
* added %pdra -a: run with pdr -nctYen-Sheng Ho2017-02-231-2/+6
* added an option -m for %pdraYen-Sheng Ho2017-02-221-3/+7
* clean upYen-Sheng Ho2017-02-211-2/+2
* added options of checking and pushing to %pdraYen-Sheng Ho2017-02-201-2/+10
* added datastructure for %pdra optionsYen-Sheng Ho2017-02-201-2/+2
* working on pdr with wlaYen-Sheng Ho2017-02-191-1/+1
* started %pdraYen-Sheng Ho2017-02-191-0/+117
* Word-level abstraction engine.Alan Mishchenko2017-02-151-4/+139
* Word-level abstraction.Alan Mishchenko2017-02-091-3/+5
* Making sure 'inv_out' can match flops by name.Alan Mishchenko2017-02-091-2/+2
* Word-level abstraction.Alan Mishchenko2017-02-091-1/+98
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 18:17:40 +0000