| Commit message (Expand) | Author | Age | Files | Lines |
* | Various changes. | Alan Mishchenko | 2022-08-30 | 1 | -0/+13 |
* | Removing duplicated command. | Alan Mishchenko | 2022-04-26 | 1 | -1/+1 |
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-03-05 | 1 | -1/+1 |
* | Interleaved variable ordering during bit-blasting. | Alan Mishchenko | 2022-02-25 | 2 | -3/+60 |
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-16 | 1 | -220/+0 |
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-02-02 | 1 | -5/+15 |
* | Suggested bug fixes in the old code. | Alan Mishchenko | 2022-01-21 | 1 | -1/+1 |
* | Experiments with word-level data structures. | Alan Mishchenko | 2022-01-21 | 1 | -126/+210 |
* | Adding new command &icec. | Alan Mishchenko | 2021-12-17 | 1 | -5/+10 |
* | Adding new command %yosys. | Alan Mishchenko | 2021-12-16 | 1 | -0/+120 |
* | Bug fix in blasting word-level flops. | Alan Mishchenko | 2021-12-02 | 1 | -3/+3 |
* | Bug fix in processing NDR. | Alan Mishchenko | 2021-11-08 | 2 | -3/+8 |
* | Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. | Alan Mishchenko | 2021-09-26 | 1 | -4/+4 |
* | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 1 | -1/+1 |
* | Add comment to Wlc_NtkGetInv about vNamesIn's role | Tobias Wiersema | 2021-08-19 | 1 | -0/+2 |
* | Fix typo inifity -> infinity in inv_get help | Tobias Wiersema | 2021-08-19 | 1 | -1/+1 |
* | Add inv_get -f to read flop names from GIA | Tobias Wiersema | 2021-08-19 | 2 | -8/+40 |
* | Supporting simple operators in NDR. | Alan Mishchenko | 2021-08-05 | 1 | -2/+2 |
* | Allow retiming to skip some logic. | Alan Mishchenko | 2021-07-31 | 1 | -5/+10 |
* | Experimental simulation commands. | Alan Mishchenko | 2021-07-25 | 2 | -65/+278 |
* | Command to move CI/CO names. | Alan Mishchenko | 2021-07-16 | 1 | -6/+172 |
* | Several unrelated changes. | Alan Mishchenko | 2021-07-15 | 1 | -0/+67 |
* | Command &iwls21test for evaluating the results of 2021 IWLS Contest. | Alan Mishchenko | 2021-03-28 | 1 | -0/+92 |
* | Added switch -y to control blasting divide-by-zero condition. | Alan Mishchenko | 2020-11-29 | 3 | -3/+9 |
* | Fix a bug in comb loop detection. | Alan Mishchenko | 2020-04-22 | 1 | -6/+10 |
* | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 1 | -2/+2 |
* | Fixing broken build and compiler warnings. | Alan Mishchenko | 2020-04-17 | 3 | -4/+4 |
* | Debugging a combo loop in NDR. | Alan Mishchenko | 2020-04-09 | 1 | -2/+3 |
* | Assertion failure in reading NDR. | Alan Mishchenko | 2020-02-20 | 1 | -1/+2 |
* | Bug fix in printing truth table in Verilog. | Alan Mishchenko | 2019-11-20 | 1 | -1/+11 |
* | Enable blasting LUTs in NDR. | Alan Mishchenko | 2019-11-18 | 5 | -0/+49 |
* | Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p... | Alan Mishchenko | 2019-10-05 | 3 | -3/+40 |
* | Fixing performance bug (too many partial products) in blasting signed Booth m... | Alan Mishchenko | 2019-09-19 | 1 | -10/+13 |
* | Adding switch to suppress printing simple objects in %retime. | Alan Mishchenko | 2019-08-14 | 1 | -5/+10 |
* | Fixing some update gcc. | Alan Mishchenko | 2019-07-24 | 1 | -1/+1 |
* | Fix index of delay tables created by %blast. | Alan Mishchenko | 2019-04-16 | 1 | -2/+2 |
* | Adding miter construction with one bit-level output for each pair of word-lev... | Alan Mishchenko | 2019-04-14 | 3 | -13/+51 |
* | Supporting LUT in NDR and WLC. | Alan Mishchenko | 2019-04-05 | 4 | -3/+13 |
* | Recognizing async reset in blasting (the case of constant 0 driver). | Alan Mishchenko | 2019-04-02 | 1 | -2/+18 |
* | Recognizing async reset in blasting. | Alan Mishchenko | 2019-03-26 | 6 | -1/+69 |
* | Adding support for LUT primitive in NDR. | Alan Mishchenko | 2019-03-20 | 1 | -1/+1 |
* | Adding support for LUT primitive in NDR. | Alan Mishchenko | 2019-03-20 | 2 | -1/+3 |
* | Bug in handling reverse ranges in blasting. | Alan Mishchenko | 2019-03-04 | 1 | -14/+15 |
* | Bug fix in generating box library. | Alan Mishchenko | 2019-02-04 | 1 | -2/+2 |
* | Compiler warning. | Alan Mishchenko | 2019-02-01 | 1 | -1/+1 |
* | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-27 | 6 | -11/+492 |
* | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-22 | 2 | -2/+2 |
* | Experiments with memory abstraction. | Alan Mishchenko | 2019-01-22 | 8 | -24/+100 |
* | Fixing flop names with reversed ranges. | Alan Mishchenko | 2019-01-21 | 1 | -14/+16 |
* | Exploring other ways of CEX writing. | Alan Mishchenko | 2019-01-21 | 4 | -5/+34 |