aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Added support for "keep" attribute to abc passClifford Wolf2014-02-081-1/+1
|
* Added opt -purge (frontend to opt_clean -purge)Clifford Wolf2014-02-081-3/+8
|
* Only count non-trivial attributes when findinf master signal in opt_cleanClifford Wolf2014-02-081-2/+13
|
* Added checking for ABC modifications to Makefile and made sure we do not ↵Clifford Wolf2014-02-081-1/+4
| | | | have the word ERROR in regular make output
* Now also move net labes to the right position in splice cmdClifford Wolf2014-02-081-3/+10
|
* Improved detection of primary wire for a signal in opt_cleanClifford Wolf2014-02-071-4/+23
|
* Added splice commandClifford Wolf2014-02-074-0/+281
|
* Added log_header() to splitnetsClifford Wolf2014-02-071-0/+2
|
* Added $slice and $concat to CellTypes listClifford Wolf2014-02-071-0/+2
|
* Added $slice and $concat cell typesClifford Wolf2014-02-078-4/+140
|
* Stronger checking of internal cellsClifford Wolf2014-02-071-29/+37
|
* Re-enabled abc "retime" after sorting yout the yosys-bigsim problemClifford Wolf2014-02-071-7/+0
|
* Added echo commandClifford Wolf2014-02-073-4/+47
|
* Fixed use of "cmd_error" in passes/cmds/design.ccClifford Wolf2014-02-071-2/+2
|
* Fixed gcc compiler warnings with release buildClifford Wolf2014-02-062-2/+2
|
* Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim ↵Clifford Wolf2014-02-061-0/+7
| | | | failed)
* Updated ABC to rev 10cc13a2a0f1Clifford Wolf2014-02-061-1/+1
|
* 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
|\
| * Merge pull request #23 from hansiglaser/masterClifford Wolf2014-02-061-0/+25
| |\ | | | | | | new %s: add sub-modules to selection
| | * 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-065-37/+39
|/
* 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
|
* Added support for #-comments in same line as commandClifford Wolf2014-02-061-0/+2
|
* presentation progressClifford Wolf2014-02-0610-12/+265
|
* 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 support for backslash continuation in script filesClifford Wolf2014-02-061-2/+13
|
* Added counters sat test caseClifford Wolf2014-02-062-0/+45
|
* Added sat -verify and -falsify support for non-prove casesClifford Wolf2014-02-061-14/+26
|
* Added expose commandClifford Wolf2014-02-052-0/+264
|
* presentation progressClifford Wolf2014-02-054-64/+221
|
* Simplified select "Assertation failed" message generationClifford Wolf2014-02-051-16/+4
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2014-02-051-7/+24
|\
| * Merge pull request #22 from hansiglaser/masterClifford Wolf2014-02-051-7/+24
| |\ | | | | | | Little improvements for "select"
| | * 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 BTOR backend README fileClifford Wolf2014-02-052-1/+24
| |
* | Added selection support for r: and selection with relational operatorsClifford Wolf2014-02-051-34/+80
|/
* presentation progressClifford Wolf2014-02-055-3/+62
|
* presentation progressClifford Wolf2014-02-055-8/+230
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-16 22:47:02 +0000