aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Look for yosys-abc and yosys-svgviewer where the main exe isClifford Wolf2013-06-092-2/+2
* Added "make abc" and "make install-abc"Clifford Wolf2013-06-081-3/+4
* Moved cmds from kernel/ to passes/cmds/Clifford Wolf2013-06-083-0/+1739
* Fixed typo is sat_solve help msgClifford Wolf2013-06-081-1/+1
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-082-3/+17
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-083-10/+74
* Added -all and -max options to sat_solveClifford Wolf2013-06-081-0/+31
* Improved auto-detection of -show signals in sat_solveClifford Wolf2013-06-082-29/+72
* Improved sat generator and sat_solve passClifford Wolf2013-06-072-4/+4
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-074-0/+259
* Renamed opt_rmunused to opt_cleanClifford Wolf2013-06-057-17/+17
* Fixed techmap/flatten for positional module argumentsClifford Wolf2013-05-261-8/+20
* Improved log messages generated by hierarchy passClifford Wolf2013-05-261-5/+17
* Added -nodetect option to fsm passClifford Wolf2013-05-241-2/+8
* Improved FSM one-hot encoding, added binary encodingClifford Wolf2013-05-243-44/+85
* Added log_abort() apiClifford Wolf2013-05-241-1/+1
* Fixed a gcc vs. clang determinism problem in abc passClifford Wolf2013-05-231-4/+11
* Fixed memory corruption bug in opt_rmunusedClifford Wolf2013-05-231-7/+14
* Added missing newline to some error messagesClifford Wolf2013-05-231-2/+2
* Some improvements in opt_rmdffClifford Wolf2013-05-231-2/+33
* Fixed to aggressive x-folding in opt_constClifford Wolf2013-05-171-8/+21
* Added support for const cell inputs in techmapClifford Wolf2013-04-271-6/+28
* Added "flatten" passClifford Wolf2013-04-261-1/+41
* Fixed hierarchy pass for hierarchies of parametric modulesClifford Wolf2013-04-261-0/+1
* Added "submod -name ..." supportClifford Wolf2013-04-151-40/+96
* Fixed a bug in opt_const when optimizing 1-bit compares with constantsClifford Wolf2013-04-131-2/+4
* fsm_export: optionally use binary state encoding as state names instead ofJohann Glaser2013-04-051-6/+23
* fsm_export: specify KISS filename on command lineJohann Glaser2013-04-051-5/+20
* Improved opt_share for reduce cellsClifford Wolf2013-03-291-0/+20
* Improved opt_share for commutative standard cellsClifford Wolf2013-03-291-1/+28
* Added proper TECHMAP_FAIL support and added support for the celltype attribut...Clifford Wolf2013-03-281-84/+129
* Implemented proper handling of stub placeholder modulesClifford Wolf2013-03-281-2/+5
* Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlibClifford Wolf2013-03-271-3/+3
* Collect parameters in hierarchy -generate (and do nothing with them)Clifford Wolf2013-03-261-1/+8
* Added nosync attribute and some async reset related fixesClifford Wolf2013-03-251-0/+5
* Improved method for finding fsm_expand candidatesClifford Wolf2013-03-251-5/+7
* Added hierarchy -generate command for generating skeletton modulesClifford Wolf2013-03-251-1/+165
* Changed fsm_expand to merge multiplexers more aggressivelyClifford Wolf2013-03-241-1/+4
* Added -nomap option to memory passClifford Wolf2013-03-211-5/+19
* added optimizations for single-bit $eq/$ne with constant input to opt_constClifford Wolf2013-03-191-0/+25
* improved $mux optimization in opt_constClifford Wolf2013-03-191-2/+6
* keep $mux and $_MUX_ optimizations separate in opt_constClifford Wolf2013-03-191-3/+3
* added one more suggestion to optimize MUXes in pass "opt_const"Johann Glaser2013-03-181-0/+1
* also optimize single-bit "$mux" cells in pass "opt_const", added suggestionsJohann Glaser2013-03-181-1/+5
* Removed date from auto-generated passes/techmap/stdcells.incClifford Wolf2013-03-181-2/+1
* Fixed abc eeror handlingClifford Wolf2013-03-181-2/+2
* add header to autogenerated file on its originJohann Glaser2013-03-181-1/+3
* fixed typosJohann Glaser2013-03-189-18/+18
* Fixed strerrno vs. strerror types in ABC passClifford Wolf2013-03-171-4/+4
* Cleaned up ABC file/io error handlingClifford Wolf2013-03-171-15/+13