summaryrefslogtreecommitdiffstats
path: root/src/base/wlc/wlcCom.c
Commit message (Collapse)AuthorAgeFilesLines
* Removing duplicated command.Alan Mishchenko2022-04-261-1/+1
|
* Experiments with word-level data structures.Alan Mishchenko2022-03-051-1/+1
|
* Interleaved variable ordering during bit-blasting.Alan Mishchenko2022-02-251-3/+16
|
* Experiments with word-level data structures.Alan Mishchenko2022-02-161-220/+0
|
* Experiments with word-level data structures.Alan Mishchenko2022-02-021-5/+15
|
* Experiments with word-level data structures.Alan Mishchenko2022-01-211-126/+210
|
* Adding new command &icec.Alan Mishchenko2021-12-171-5/+10
|
* Adding new command %yosys.Alan Mishchenko2021-12-161-0/+120
|
* Fix typo inifity -> infinity in inv_get helpTobias Wiersema2021-08-191-1/+1
|
* Add inv_get -f to read flop names from GIATobias Wiersema2021-08-191-5/+31
|
* Allow retiming to skip some logic.Alan Mishchenko2021-07-311-5/+10
|
* Added switch -y to control blasting divide-by-zero condition.Alan Mishchenko2020-11-291-2/+6
|
* Fix a bug in comb loop detection.Alan Mishchenko2020-04-221-6/+10
|
* Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, ↵Alan Mishchenko2019-10-051-2/+6
| | | | p. 452)
* Adding switch to suppress printing simple objects in %retime.Alan Mishchenko2019-08-141-5/+10
|
* Adding miter construction with one bit-level output for each pair of ↵Alan Mishchenko2019-04-141-2/+6
| | | | word-level outputs.
* Recognizing async reset in blasting.Alan Mishchenko2019-03-261-0/+5
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-01 10:32:46 +0000