aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
...
* Fixed use of "cmd_error" in passes/cmds/design.ccClifford Wolf2014-02-071-2/+2
* Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim fa...Clifford Wolf2014-02-061-0/+7
* Added "retime" to standard ABC recipesClifford Wolf2014-02-061-4/+4
* Added copy commandClifford Wolf2014-02-062-0/+55
* Added design -stash/-copy-from/-copy-toClifford Wolf2014-02-061-13/+99
* Added support for s: select expressions (wire width)Clifford Wolf2014-02-061-1/+21
* Added i:, o:, and x: selection patternClifford Wolf2014-02-061-0/+18
* Added support for %m selection opClifford Wolf2014-02-061-0/+16
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2014-02-061-0/+25
|\
| * new %s: add sub-modules to selectionJohann Glaser2014-02-061-0/+25
* | Added generic RTLIL::SigSpec::parse_sel() with support for selection variablesClifford Wolf2014-02-063-37/+20
|/
* Added support for sat -show @<sel_name>Clifford Wolf2014-02-061-0/+17
* Added sat -set-init-def and sat -tempinduct-defClifford Wolf2014-02-061-4/+34
* Added opt_const -undrivenClifford Wolf2014-02-062-3/+68
* Added expose -dffClifford Wolf2014-02-061-1/+44
* Changed techmap description from "simple" to "generic"Clifford Wolf2014-02-061-1/+1
* Added miter -make_outcmpClifford Wolf2014-02-061-2/+23
* Added sat -set-init-zero supportClifford Wolf2014-02-061-2/+22
* Added sat -verify and -falsify support for non-prove casesClifford Wolf2014-02-061-14/+26
* Added expose commandClifford Wolf2014-02-052-0/+264
* Simplified select "Assertation failed" message generationClifford Wolf2014-02-051-16/+4
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2014-02-051-7/+24
|\
| * be more verbose for select -assert-any and -assert-noneJohann Glaser2014-02-051-2/+16
| * improved help for "select"Johann Glaser2014-02-051-5/+8
* | Added selection support for r: and selection with relational operatorsClifford Wolf2014-02-051-34/+80
|/
* Added setattr and setparam commandsClifford Wolf2014-02-052-0/+181
* Throw errors if non-existing selection variables are usedClifford Wolf2014-02-041-3/+4
* Added select -noneClifford Wolf2014-02-041-4/+20
* Fixed detection of init attribute in opt_rmdffClifford Wolf2014-02-041-1/+1
* Added support for inline commands to abc -scriptClifford Wolf2014-02-041-39/+75
* Added hierarchy -purge_lib optionClifford Wolf2014-02-041-3/+14
* added sat -falsifyClifford Wolf2014-02-041-4/+28
* Fixed bug in sequential sat proofs and improved handling of assertsClifford Wolf2014-02-041-2/+27
* Improved handling of reg init in opt_share and opt_rmdffClifford Wolf2014-02-042-7/+48
* Addred sat option -ignore_unknown_cellsClifford Wolf2014-02-031-3/+17
* Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)Clifford Wolf2014-02-034-64/+84
* More opt_const -mux_bool featuresClifford Wolf2014-02-021-7/+46
* Added opt_const -mux_boolClifford Wolf2014-02-022-7/+47
* Added support for inverter chains to opt_constClifford Wolf2014-02-021-1/+21
* Only generate write-enable $and if WE is not constant 1 in memory_mapClifford Wolf2014-02-021-15/+18
* Added constant-clock case to opt_rmdffClifford Wolf2014-02-021-0/+8
* Added show -notitle optionClifford Wolf2014-02-021-4/+14
* Added delete commandClifford Wolf2014-02-022-0/+135
* Added suuport for module attribute matching with A:<pattern>[=<pattern>] syntaxClifford Wolf2014-02-021-5/+22
* Fixed a bug in miter commandClifford Wolf2014-02-011-2/+2
* Added sat -show-inputs and -show-outputsClifford Wolf2014-02-011-1/+24
* Added show -color support for cells and finished show -label implementationClifford Wolf2014-02-011-13/+36
* Added miter commandClifford Wolf2014-02-012-0/+307
* enabled multiple "-map" for the extract passJohann Glaser2014-01-251-17/+25
* Added support for // comments in liberty parserClifford Wolf2014-01-251-0/+5
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-31 05:07:15 +0000