summaryrefslogtreecommitdiffstats
path: root/src/base/wlc
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2021-08-231-1/+1
* Add comment to Wlc_NtkGetInv about vNamesIn's roleTobias Wiersema2021-08-191-0/+2
* 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-192-8/+40
* Supporting simple operators in NDR.Alan Mishchenko2021-08-051-2/+2
* Allow retiming to skip some logic.Alan Mishchenko2021-07-311-5/+10
* Experimental simulation commands.Alan Mishchenko2021-07-252-65/+278
* Command to move CI/CO names.Alan Mishchenko2021-07-161-6/+172
* Several unrelated changes.Alan Mishchenko2021-07-151-0/+67
* Command &iwls21test for evaluating the results of 2021 IWLS Contest.Alan Mishchenko2021-03-281-0/+92
* Added switch -y to control blasting divide-by-zero condition.Alan Mishchenko2020-11-293-3/+9
* Fix a bug in comb loop detection.Alan Mishchenko2020-04-221-6/+10
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-171-2/+2
* Fixing broken build and compiler warnings.Alan Mishchenko2020-04-173-4/+4
* Debugging a combo loop in NDR.Alan Mishchenko2020-04-091-2/+3
* Assertion failure in reading NDR.Alan Mishchenko2020-02-201-1/+2
* Bug fix in printing truth table in Verilog.Alan Mishchenko2019-11-201-1/+11
* Enable blasting LUTs in NDR.Alan Mishchenko2019-11-185-0/+49
* Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p...Alan Mishchenko2019-10-053-3/+40
* Fixing performance bug (too many partial products) in blasting signed Booth m...Alan Mishchenko2019-09-191-10/+13
* Adding switch to suppress printing simple objects in %retime.Alan Mishchenko2019-08-141-5/+10
* Fixing some update gcc.Alan Mishchenko2019-07-241-1/+1
* Fix index of delay tables created by %blast.Alan Mishchenko2019-04-161-2/+2
* Adding miter construction with one bit-level output for each pair of word-lev...Alan Mishchenko2019-04-143-13/+51
* Supporting LUT in NDR and WLC.Alan Mishchenko2019-04-054-3/+13
* 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-266-1/+69
* Adding support for LUT primitive in NDR.Alan Mishchenko2019-03-201-1/+1
* Adding support for LUT primitive in NDR.Alan Mishchenko2019-03-202-1/+3
* Bug in handling reverse ranges in blasting.Alan Mishchenko2019-03-041-14/+15
* Bug fix in generating box library.Alan Mishchenko2019-02-041-2/+2
* Compiler warning.Alan Mishchenko2019-02-011-1/+1
* Experiments with memory abstraction.Alan Mishchenko2019-01-276-11/+492
* Experiments with memory abstraction.Alan Mishchenko2019-01-222-2/+2
* Experiments with memory abstraction.Alan Mishchenko2019-01-228-24/+100
* Fixing flop names with reversed ranges.Alan Mishchenko2019-01-211-14/+16
* Exploring other ways of CEX writing.Alan Mishchenko2019-01-214-5/+34
* Undoing some recent changes for improved CEX writing.Alan Mishchenko2019-01-212-98/+3
* Fixing the problem with outputting word-level CEXes after retiming.Alan Mishchenko2019-01-181-8/+12
* Fixing the problem with outputting word-level CEXes after retiming.Alan Mishchenko2019-01-171-0/+1
* Fixing the problem with outputting word-level CEXes.Alan Mishchenko2019-01-161-1/+24
* Procedure to transform counter-examples (bug fix).Alan Mishchenko2019-01-151-1/+1
* Procedure to transform counter-examples (bug fix).Alan Mishchenko2019-01-151-1/+1
* Procedure to trasnsform counter-examples.Alan Mishchenko2019-01-152-14/+82
* Updated for memory abstraction.Alan Mishchenko2018-12-113-9/+18
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-096-14/+61
* Experiments with retiming.Alan Mishchenko2018-12-062-2/+2
* Experiments with retiming.Alan Mishchenko2018-12-042-8/+43
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-213-4/+4
* Various usability changes.Alan Mishchenko2018-11-184-5/+119
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 22:31:48 +0000