Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bugfixes in handling of "keep" attribute on wires | Clifford Wolf | 2015-10-15 | 2 | -2/+8 |
| | |||||
* | Added wreduce $mul support and fixed signed $mul opt_const bug | Clifford Wolf | 2015-09-25 | 2 | -5/+37 |
| | |||||
* | Added detection of "mux inverter" chains in opt_const | Clifford Wolf | 2015-09-18 | 1 | -0/+2 |
| | |||||
* | Fixed sharing of $memrd cells | Clifford Wolf | 2015-09-12 | 1 | -0/+4 |
| | |||||
* | gcc-4.6 build fixes | Clifford Wolf | 2015-09-01 | 1 | -2/+2 |
| | |||||
* | Properly clean up unused "init" attributes | Clifford Wolf | 2015-08-18 | 1 | -2/+18 |
| | |||||
* | Fixed opt_clean handling of inout ports | Clifford Wolf | 2015-08-16 | 1 | -2/+2 |
| | |||||
* | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 2 | -2/+2 |
| | |||||
* | Improved handling of "keep" attributes in hierarchical designs in opt_clean | Clifford Wolf | 2015-08-12 | 1 | -25/+57 |
| | |||||
* | Merge pull request #70 from gaomy3832/bugfix | Clifford Wolf | 2015-08-12 | 1 | -0/+10 |
|\ | | | | | Remove unused blackbox modules in opt_clean. | ||||
| * | Remove unused blackbox modules in opt_clean. | Mingyu Gao | 2015-08-11 | 1 | -0/+10 |
| | | |||||
| * | Bugfix for cell hash cache option in opt_share. | Mingyu Gao | 2015-08-10 | 1 | -0/+2 |
| | | |||||
* | | Bugfix for cell hash cache option in opt_share. | Mingyu Gao | 2015-08-11 | 1 | -0/+2 |
| | | |||||
* | | Added missing ct_all setup to opt_clean | Clifford Wolf | 2015-08-11 | 1 | -0/+3 |
|/ | |||||
* | Some cleanups in opt_rmdff | Clifford Wolf | 2015-07-25 | 1 | -16/+9 |
| | |||||
* | Improved $adff simplification | Clifford Wolf | 2015-07-24 | 1 | -1/+1 |
| | |||||
* | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 10 | -28/+28 |
| | |||||
* | Added opt_const -clkinv | Clifford Wolf | 2015-07-01 | 2 | -6/+95 |
| | |||||
* | Added opt_share -share_all | Clifford Wolf | 2015-05-31 | 2 | -16/+32 |
| | |||||
* | Added simple $dlatch support to opt_rmdff | Clifford Wolf | 2015-05-23 | 1 | -0/+35 |
| | |||||
* | preserve used $-wires with init attribute in opt_clean | Clifford Wolf | 2015-05-22 | 1 | -1/+1 |
| | |||||
* | Added $eq/$neq -> $logic_not/$reduce_bool optimization | Clifford Wolf | 2015-04-29 | 1 | -0/+19 |
| | |||||
* | Improved handling of init values in opt_rmdff | Clifford Wolf | 2015-04-18 | 1 | -11/+9 |
| | | | | based on a patch by Mingyu Gao, user gaomy3832 on github | ||||
* | Added handling of bool-output cells to "wreduce" | Clifford Wolf | 2015-04-13 | 1 | -0/+11 |
| | |||||
* | Added non-std verilog assume() statement | Clifford Wolf | 2015-02-26 | 1 | -1/+1 |
| | |||||
* | Some cleanups in "clean" | Clifford Wolf | 2015-02-24 | 2 | -7/+18 |
| | |||||
* | Replaced ezDefaultSAT with ezSatPtr | Clifford Wolf | 2015-02-21 | 1 | -13/+13 |
| | |||||
* | wreduce help typo fix | Clifford Wolf | 2015-02-17 | 1 | -1/+1 |
| | |||||
* | Bugfix in wreduce | Clifford Wolf | 2015-02-16 | 1 | -7/+14 |
| | |||||
* | Added $meminit cell type | Clifford Wolf | 2015-02-14 | 1 | -1/+1 |
| | |||||
* | Less aggressive "share" defaults | Clifford Wolf | 2015-02-10 | 1 | -4/+6 |
| | |||||
* | Fixed opt_clean performance bug | Clifford Wolf | 2015-02-04 | 1 | -26/+26 |
| | |||||
* | Using design->selected_modules() in opt_* | Clifford Wolf | 2015-02-03 | 5 | -36/+20 |
| | |||||
* | Bugfix in opt_const $eq -> buffer code | Clifford Wolf | 2015-01-31 | 1 | -4/+4 |
| | |||||
* | Added ENABLE_NDEBUG makefile options | Clifford Wolf | 2015-01-24 | 1 | -0/+4 |
| | |||||
* | Added dict/pool.sort() | Clifford Wolf | 2015-01-24 | 1 | -0/+4 |
| | |||||
* | Fixed opt_muxtree performance bug | Clifford Wolf | 2015-01-21 | 1 | -11/+28 |
| | |||||
* | Improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 1 | -35/+50 |
| | |||||
* | More opt_muxtree cleanups | Clifford Wolf | 2015-01-18 | 1 | -64/+44 |
| | |||||
* | Various cleanups and improvements in opt_muxtree | Clifford Wolf | 2015-01-18 | 1 | -87/+71 |
| | |||||
* | Fixed a bug in opt_muxtree for "mux forests" | Clifford Wolf | 2015-01-17 | 1 | -4/+18 |
| | |||||
* | Improved opt_muxtree | Clifford Wolf | 2015-01-17 | 1 | -4/+38 |
| | |||||
* | Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim) | Clifford Wolf | 2015-01-13 | 1 | -5/+0 |
| | |||||
* | disabled problematic mux -> and/or transform | Clifford Wolf | 2015-01-07 | 1 | -2/+7 |
| | |||||
* | dict<> ref vs insert bugfix | Clifford Wolf | 2015-01-06 | 1 | -10/+13 |
| | |||||
* | typo fix for "opt -fast" | Clifford Wolf | 2014-12-30 | 1 | -1/+1 |
| | |||||
* | Fixed build with SMALL=1 | Clifford Wolf | 2014-12-30 | 1 | -0/+3 |
| | |||||
* | Added statehash to ezSAT | Clifford Wolf | 2014-12-29 | 1 | -2/+6 |
| | |||||
* | Cleanups in opt_clean | Clifford Wolf | 2014-12-29 | 1 | -10/+10 |
| | |||||
* | dict/pool changes in opt_clean | Clifford Wolf | 2014-12-29 | 1 | -5/+5 |
| |