proc_clean: fix fully def check to consider compare/signal length.
[yosys.git] / passes / opt /
2019-01-07 Clifford WolfBugfix in $memrd sharing
2019-01-03 Clifford WolfMerge pull request #775 from whitequark/opt_flowmap
2019-01-03 whitequarkflowmap: new techmap pass.
2019-01-02 Clifford WolfMerge pull request #770 from whitequark/opt_expr_cmp
2019-01-02 whitequarkopt_expr: improve simplification of comparisons with...
2019-01-02 Clifford WolfMerge pull request #755 from Icenowy/anlogic-dram-init
2019-01-02 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys
2019-01-02 Clifford WolfMerge pull request #750 from Icenowy/anlogic-ff-init
2019-01-02 Clifford WolfMerge pull request #773 from whitequark/opt_lut_elim_fixes
2019-01-02 Clifford WolfMerge pull request #772 from whitequark/synth_lut
2019-01-02 Clifford WolfMerge pull request #771 from whitequark/techmap_cmp2lut
2019-01-02 Clifford WolfMerge pull request #769 from whitequark/typos
2019-01-02 whitequarkFix typographical and grammatical errors and inconsiste...
2019-01-02 whitequarkopt_lut: reflect changes in sigmap.
2019-01-02 whitequarkopt_lut: use a worklist, and revisit cells affected...
2019-01-02 whitequarkopt_lut: count eliminated cells, and set opt.did_someth...
2019-01-02 whitequarkopt_expr: refactor simplification of unsigned X<onehot...
2019-01-02 whitequarkopt_expr: refactor simplification of signed X>=0 and...
2019-01-02 whitequarkopt_expr: simplify any unsigned comparisons with all...
2019-01-01 Clifford WolfMerge pull request #768 from whitequark/opt_lut_elim
2018-12-31 whitequarkopt_lut: eliminate LUTs evaluating to constants or...
2018-12-31 Clifford WolfFix handling of (* keep *) wires in wreduce
2018-12-16 Clifford WolfMerge pull request #736 from whitequark/select_assert_list
2018-12-16 Clifford WolfMerge pull request #704 from webhat/feature/fix-awk
2018-12-16 Clifford WolfMerge pull request #738 from smunaut/issue_737
2018-12-16 Clifford WolfMerge pull request #735 from daveshah1/trifixes
2018-12-16 Clifford WolfMerge pull request #724 from whitequark/equiv_opt
2018-12-16 Clifford WolfMerge pull request #734 from grahamedgecombe/fix-shuffl...
2018-12-16 Clifford WolfMerge pull request #730 from smunaut/ffssr_dont_touch
2018-12-16 Clifford WolfMerge pull request #729 from whitequark/write_verilog_i...
2018-12-16 Clifford WolfMerge pull request #725 from olofk/ram4k-init
2018-12-16 Clifford WolfMerge pull request #714 from daveshah1/abc_preserve_naming
2018-12-16 Clifford WolfMerge pull request #723 from whitequark/synth_ice40_map...
2018-12-16 Clifford WolfMerge pull request #722 from whitequark/rename_src
2018-12-16 Clifford WolfMerge pull request #720 from whitequark/master
2018-12-07 David ShahMerge pull request #727 from whitequark/opt_lut
2018-12-07 whitequarkopt_lut: leave intact LUTs with cascade feeding module...
2018-12-07 whitequarkopt_lut: show original truth table for both cells.
2018-12-07 whitequarkopt_lut: add -limit option, for debugging misoptimizations.
2018-12-06 Clifford WolfBugfix in opt_expr handling of a<0 and a>=0
2018-12-05 whitequarkopt_lut: simplify type conversion. NFC.
2018-12-05 Clifford WolfMerge pull request #709 from smunaut/issue_708
2018-12-05 Clifford WolfMerge pull request #713 from Diego-HR/master
2018-12-05 Clifford WolfMerge pull request #712 from mmicko/anlogic-support
2018-12-05 Clifford WolfRename opt_lut.cpp to opt_lut.cc
2018-12-05 Clifford WolfMerge pull request #717 from whitequark/opt_lut
2018-12-05 whitequarkopt_lut: add -dlogic, to avoid disturbing logic such...
2018-12-05 whitequarkopt_lut: always prefer to eliminate 1-LUTs.
2018-12-05 whitequarkopt_lut: collect and display statistics.
2018-12-05 whitequarkopt_lut: refactor to use a worker. NFC.
2018-12-05 whitequarkopt_lut: new pass, to combine LUTs for tighter packing.
2018-12-01 Clifford WolfMerge pull request #676 from rafaeltp/master
2018-11-20 Clifford WolfAdd iteration limit to "opt_muxtree"
2018-09-17 Udi FinkelsteinMerge branch 'master' into pr_reg_wire_error
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in...
2018-05-13 Clifford WolfMerge pull request #505 from thefallenidealist/FreeBSD_...
2018-05-12 Clifford WolfAdd optimization of tristate buffer with constant contr...
2018-02-26 Clifford WolfFix opt_rmdff handling of $dlatchsr
2018-02-23 Clifford WolfMerge branch 'forall'
2018-02-23 Clifford WolfAdd $allconst and $allseq cell types
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng
2017-12-13 Clifford WolfMerge pull request #468 from grahamedgecombe/fix-sb...
2017-12-12 Clifford WolfAdd warnings for driver-driver conflicts between FFs...
2017-11-24 Clifford WolfMerge pull request #446 from mithro/travis-rework
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys
2017-10-26 Clifford WolfFix memory corruption bug in opt_rmdff
2017-10-26 Clifford WolfFix typo in opt_clean log message
2017-10-14 Clifford WolfRevert 90be0d8 as it causes endless loops for some...
2017-10-12 Clifford WolfMerge pull request #434 from Kmanfi/vector_fix
2017-10-12 Kaj TuomiFix input vector for reduce cells.
2017-09-14 Clifford WolfMerge pull request #412 from azonenberg/reduce-fixes
2017-09-14 Clifford WolfMerge pull request #411 from azonenberg/counter-extract...
2017-09-14 Clifford WolfMerge pull request #410 from azonenberg/opt_demorgan
2017-09-14 Andrew ZonenbergMinor changes to opt_demorgan requested during code...
2017-09-13 Andrew ZonenbergInitial version of opt_demorgan is functioning for...
2017-08-25 Clifford WolfDon't track , ... contradictions through x/z-bits
2017-08-25 Clifford WolfAdd removing of redundant pairs of bits in ==, ===...
2017-08-15 Clifford WolfMerge branch 'azonenberg-rmports'
2017-08-15 Clifford WolfMostly coding style related fixes in rmports pass
2017-08-15 Clifford WolfMerge branch 'rmports' of https://github.com/azonenberg...
2017-08-14 Andrew Zonenbergrmports: Now remove ports from cell instances if we...
2017-08-14 Andrew ZonenbergProcessModule is no longer virtual (why was it in the...
2017-08-14 Andrew Zonenbergrmports now works on all modules in the design, not...
2017-08-14 Andrew ZonenbergUpdated Makefile to reflect opt_rmports being renamed...
2017-08-14 Andrew ZonenbergRenamed opt_rmports pass to rmports
2017-08-14 Andrew ZonenbergImproved handling of constant connections in opt_rmports
2017-08-14 Andrew ZonenbergFixed handling of cell ports that aren't wires
2017-08-14 Andrew Zonenbergopt_rmports: Fixed incorrect handling of multi-bit...
2017-08-14 Andrew ZonenbergRemoved commented out debug code
2017-08-14 Andrew ZonenbergAdded opt_rmports pass (remove unconnected ports from...
2017-08-09 Clifford WolfAdd support for set-reset cell variants to opt_rmdff
2017-08-06 Clifford WolfAdd handling of constant reset signals to opt_rmdff
2017-07-28 Clifford WolfAdd consolidation of init attributes to opt_clean,...
2017-07-26 Clifford WolfAdd "opt_expr -fine" feature to remove neutral bits...
2017-07-03 Clifford WolfMerge pull request #352 from rqou/master
next