summaryrefslogtreecommitdiff
path: root/passes
Commit message (Collapse)AuthorAge
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-07
|
* Renamed opt_rmunused to opt_cleanClifford Wolf2013-06-05
|
* Fixed techmap/flatten for positional module argumentsClifford Wolf2013-05-26
|
* Improved log messages generated by hierarchy passClifford Wolf2013-05-26
|
* Added -nodetect option to fsm passClifford Wolf2013-05-24
|
* Improved FSM one-hot encoding, added binary encodingClifford Wolf2013-05-24
|
* Added log_abort() apiClifford Wolf2013-05-24
|
* Fixed a gcc vs. clang determinism problem in abc passClifford Wolf2013-05-23
|
* Fixed memory corruption bug in opt_rmunusedClifford Wolf2013-05-23
|
* Added missing newline to some error messagesClifford Wolf2013-05-23
|
* Some improvements in opt_rmdffClifford Wolf2013-05-23
|
* Fixed to aggressive x-folding in opt_constClifford Wolf2013-05-17
|
* Added support for const cell inputs in techmapClifford Wolf2013-04-27
|
* Added "flatten" passClifford Wolf2013-04-26
|
* Fixed hierarchy pass for hierarchies of parametric modulesClifford Wolf2013-04-26
|
* Added "submod -name ..." supportClifford Wolf2013-04-15
|
* Fixed a bug in opt_const when optimizing 1-bit compares with constantsClifford Wolf2013-04-13
|
* fsm_export: optionally use binary state encoding as state names instead ofJohann Glaser2013-04-05
| | | | s0, s1, ...
* fsm_export: specify KISS filename on command lineJohann Glaser2013-04-05
|
* Improved opt_share for reduce cellsClifford Wolf2013-03-29
|
* Improved opt_share for commutative standard cellsClifford Wolf2013-03-29
|
* Added proper TECHMAP_FAIL support and added support for the celltype ↵Clifford Wolf2013-03-28
| | | | attribute in the map file
* Implemented proper handling of stub placeholder modulesClifford Wolf2013-03-28
|
* Added yosys-svgviewer to build system and renamed filterlib to yosys-filterlibClifford Wolf2013-03-27
|
* Collect parameters in hierarchy -generate (and do nothing with them)Clifford Wolf2013-03-26
|
* Added nosync attribute and some async reset related fixesClifford Wolf2013-03-25
|
* Improved method for finding fsm_expand candidatesClifford Wolf2013-03-25
|
* Added hierarchy -generate command for generating skeletton modulesClifford Wolf2013-03-25
|
* Changed fsm_expand to merge multiplexers more aggressivelyClifford Wolf2013-03-24
|
* Added -nomap option to memory passClifford Wolf2013-03-21
|
* added optimizations for single-bit $eq/$ne with constant input to opt_constClifford Wolf2013-03-19
|
* improved $mux optimization in opt_constClifford Wolf2013-03-19
|
* keep $mux and $_MUX_ optimizations separate in opt_constClifford Wolf2013-03-19
|
* added one more suggestion to optimize MUXes in pass "opt_const"Johann Glaser2013-03-18
|
* also optimize single-bit "$mux" cells in pass "opt_const", added suggestionsJohann Glaser2013-03-18
| | | | for more optimizations
* Removed date from auto-generated passes/techmap/stdcells.incClifford Wolf2013-03-18
|
* Fixed abc eeror handlingClifford Wolf2013-03-18
|
* add header to autogenerated file on its originJohann Glaser2013-03-18
|
* fixed typosJohann Glaser2013-03-18
|
* Fixed strerrno vs. strerror types in ABC passClifford Wolf2013-03-17
|
* Cleaned up ABC file/io error handlingClifford Wolf2013-03-17
|
* added error checking at execution of ABCJohann Glaser2013-03-17
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* corrected typosJohann Glaser2013-03-17
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Fixed gcc warnings and added error handling to shell escapeClifford Wolf2013-03-15
|
* Added scc pass (find logic loops)Clifford Wolf2013-03-15
|
* Added [[CITE]] tags to abc and fsm_extract passesClifford Wolf2013-03-15
|
* Fixed detection of public wires in opt_rmunusedClifford Wolf2013-03-10
|
* Automatically select new objects in abc and techmap passesClifford Wolf2013-03-08
|
* Split extract -attr into extract -cell_attr and -wire_attrClifford Wolf2013-03-08
|
* Added support for attribute matching in extract passClifford Wolf2013-03-07
|