index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Now also move net labes to the right position in splice cmd
Clifford Wolf
2014-02-08
*
Improved detection of primary wire for a signal in opt_clean
Clifford Wolf
2014-02-07
*
Added splice command
Clifford Wolf
2014-02-07
*
Added log_header() to splitnets
Clifford Wolf
2014-02-07
*
Added $slice and $concat to CellTypes list
Clifford Wolf
2014-02-07
*
Added $slice and $concat cell types
Clifford Wolf
2014-02-07
*
Stronger checking of internal cells
Clifford Wolf
2014-02-07
*
Re-enabled abc "retime" after sorting yout the yosys-bigsim problem
Clifford Wolf
2014-02-07
*
Added echo command
Clifford Wolf
2014-02-07
*
Fixed use of "cmd_error" in passes/cmds/design.cc
Clifford Wolf
2014-02-07
*
Fixed gcc compiler warnings with release build
Clifford Wolf
2014-02-06
*
Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim fa...
Clifford Wolf
2014-02-06
*
Updated ABC to rev 10cc13a2a0f1
Clifford Wolf
2014-02-06
*
Added "retime" to standard ABC recipes
Clifford Wolf
2014-02-06
*
Added copy command
Clifford Wolf
2014-02-06
*
Added design -stash/-copy-from/-copy-to
Clifford Wolf
2014-02-06
*
Added support for s: select expressions (wire width)
Clifford Wolf
2014-02-06
*
Added i:, o:, and x: selection pattern
Clifford Wolf
2014-02-06
*
Added support for %m selection op
Clifford Wolf
2014-02-06
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2014-02-06
|
\
|
*
Merge pull request #23 from hansiglaser/master
Clifford Wolf
2014-02-06
|
|
\
|
|
*
new %s: add sub-modules to selection
Johann Glaser
2014-02-06
|
|
/
*
/
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf
2014-02-06
|
/
*
Added support for sat -show @<sel_name>
Clifford Wolf
2014-02-06
*
Added sat -set-init-def and sat -tempinduct-def
Clifford Wolf
2014-02-06
*
Added opt_const -undriven
Clifford Wolf
2014-02-06
*
Added expose -dff
Clifford Wolf
2014-02-06
*
Added support for #-comments in same line as command
Clifford Wolf
2014-02-06
*
presentation progress
Clifford Wolf
2014-02-06
*
Changed techmap description from "simple" to "generic"
Clifford Wolf
2014-02-06
*
Added miter -make_outcmp
Clifford Wolf
2014-02-06
*
Added sat -set-init-zero support
Clifford Wolf
2014-02-06
*
Added support for backslash continuation in script files
Clifford Wolf
2014-02-06
*
Added counters sat test case
Clifford Wolf
2014-02-06
*
Added sat -verify and -falsify support for non-prove cases
Clifford Wolf
2014-02-06
*
Added expose command
Clifford Wolf
2014-02-05
*
presentation progress
Clifford Wolf
2014-02-05
*
Simplified select "Assertation failed" message generation
Clifford Wolf
2014-02-05
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2014-02-05
|
\
|
*
Merge pull request #22 from hansiglaser/master
Clifford Wolf
2014-02-05
|
|
\
|
|
*
be more verbose for select -assert-any and -assert-none
Johann Glaser
2014-02-05
|
|
*
improved help for "select"
Johann Glaser
2014-02-05
|
|
/
*
|
Added BTOR backend README file
Clifford Wolf
2014-02-05
*
|
Added selection support for r: and selection with relational operators
Clifford Wolf
2014-02-05
|
/
*
presentation progress
Clifford Wolf
2014-02-05
*
presentation progress
Clifford Wolf
2014-02-05
*
Added read_verilog -setattr
Clifford Wolf
2014-02-05
*
Added setattr and setparam commands
Clifford Wolf
2014-02-05
*
Updated todo items in README file
Clifford Wolf
2014-02-05
*
Removed old unused files from tests/
Clifford Wolf
2014-02-05
[next]