summaryrefslogtreecommitdiffstats
path: root/src/base/wlc
Commit message (Expand)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-252-3/+60
* Experiments with word-level data structures.Alan Mishchenko2022-02-161-220/+0
* Experiments with word-level data structures.Alan Mishchenko2022-02-021-5/+15
* Suggested bug fixes in the old code.Alan Mishchenko2022-01-211-1/+1
* 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
* Bug fix in blasting word-level flops.Alan Mishchenko2021-12-021-3/+3
* Bug fix in processing NDR.Alan Mishchenko2021-11-082-3/+8
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-4/+4
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 23:59:37 +0000