path: root/passes
Commit message (Expand)AuthorAge
* Added "retime" to standard ABC recipesClifford Wolf2014-02-06
* Added copy commandClifford Wolf2014-02-06
* Added design -stash/-copy-from/-copy-toClifford Wolf2014-02-06
* Added support for s: select expressions (wire width)Clifford Wolf2014-02-06
* Added i:, o:, and x: selection patternClifford Wolf2014-02-06
* Added support for %m selection opClifford Wolf2014-02-06
* Merge branch 'master' of Wolf2014-02-06
| * new %s: add sub-modules to selectionJohann Glaser2014-02-06
* | Added generic RTLIL::SigSpec::parse_sel() with support for selection variablesClifford Wolf2014-02-06
* Added support for sat -show @<sel_name>Clifford Wolf2014-02-06
* Added sat -set-init-def and sat -tempinduct-defClifford Wolf2014-02-06
* Added opt_const -undrivenClifford Wolf2014-02-06
* Added expose -dffClifford Wolf2014-02-06
* Changed techmap description from "simple" to "generic"Clifford Wolf2014-02-06
* Added miter -make_outcmpClifford Wolf2014-02-06
* Added sat -set-init-zero supportClifford Wolf2014-02-06
* Added sat -verify and -falsify support for non-prove casesClifford Wolf2014-02-06
* Added expose commandClifford Wolf2014-02-05
* Simplified select "Assertation failed" message generationClifford Wolf2014-02-05
* Merge branch 'master' of Wolf2014-02-05
| * be more verbose for select -assert-any and -assert-noneJohann Glaser2014-02-05
| * improved help for "select"Johann Glaser2014-02-05
* | Added selection support for r: and selection with relational operatorsClifford Wolf2014-02-05
* Added setattr and setparam commandsClifford Wolf2014-02-05
* Throw errors if non-existing selection variables are usedClifford Wolf2014-02-04
* Added select -noneClifford Wolf2014-02-04
* Fixed detection of init attribute in opt_rmdffClifford Wolf2014-02-04
* Added support for inline commands to abc -scriptClifford Wolf2014-02-04
* Added hierarchy -purge_lib optionClifford Wolf2014-02-04
* added sat -falsifyClifford Wolf2014-02-04
* Fixed bug in sequential sat proofs and improved handling of assertsClifford Wolf2014-02-04
* Improved handling of reg init in opt_share and opt_rmdffClifford Wolf2014-02-04
* Addred sat option -ignore_unknown_cellsClifford Wolf2014-02-03
* Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)Clifford Wolf2014-02-03
* More opt_const -mux_bool featuresClifford Wolf2014-02-02
* Added opt_const -mux_boolClifford Wolf2014-02-02
* Added support for inverter chains to opt_constClifford Wolf2014-02-02
* Only generate write-enable $and if WE is not constant 1 in memory_mapClifford Wolf2014-02-02
* Added constant-clock case to opt_rmdffClifford Wolf2014-02-02
* Added show -notitle optionClifford Wolf2014-02-02
* Added delete commandClifford Wolf2014-02-02
* Added suuport for module attribute matching with A:<pattern>[=<pattern>] syntaxClifford Wolf2014-02-02
* Fixed a bug in miter commandClifford Wolf2014-02-01
* Added sat -show-inputs and -show-outputsClifford Wolf2014-02-01
* Added show -color support for cells and finished show -label implementationClifford Wolf2014-02-01
* Added miter commandClifford Wolf2014-02-01
* enabled multiple "-map" for the extract passJohann Glaser2014-01-25
* Added support for // comments in liberty parserClifford Wolf2014-01-25
* Added hilomap commandClifford Wolf2014-01-19
* Added sat -tempinduc and sat -prove-assertsClifford Wolf2014-01-19