index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
...
*
Fixed use of "cmd_error" in passes/cmds/design.cc
Clifford Wolf
2014-02-07
*
Disabled ABC retime for now (elliptic_curve_group testcase in yosys-bigsim fa...
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
|
\
|
*
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
*
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 sat -verify and -falsify support for non-prove cases
Clifford Wolf
2014-02-06
*
Added expose command
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
|
\
|
*
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 selection support for r: and selection with relational operators
Clifford Wolf
2014-02-05
|
/
*
Added setattr and setparam commands
Clifford Wolf
2014-02-05
*
Throw errors if non-existing selection variables are used
Clifford Wolf
2014-02-04
*
Added select -none
Clifford Wolf
2014-02-04
*
Fixed detection of init attribute in opt_rmdff
Clifford Wolf
2014-02-04
*
Added support for inline commands to abc -script
Clifford Wolf
2014-02-04
*
Added hierarchy -purge_lib option
Clifford Wolf
2014-02-04
*
added sat -falsify
Clifford Wolf
2014-02-04
*
Fixed bug in sequential sat proofs and improved handling of asserts
Clifford Wolf
2014-02-04
*
Improved handling of reg init in opt_share and opt_rmdff
Clifford Wolf
2014-02-04
*
Addred sat option -ignore_unknown_cells
Clifford Wolf
2014-02-03
*
Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)
Clifford Wolf
2014-02-03
*
More opt_const -mux_bool features
Clifford Wolf
2014-02-02
*
Added opt_const -mux_bool
Clifford Wolf
2014-02-02
*
Added support for inverter chains to opt_const
Clifford Wolf
2014-02-02
*
Only generate write-enable $and if WE is not constant 1 in memory_map
Clifford Wolf
2014-02-02
*
Added constant-clock case to opt_rmdff
Clifford Wolf
2014-02-02
*
Added show -notitle option
Clifford Wolf
2014-02-02
*
Added delete command
Clifford Wolf
2014-02-02
*
Added suuport for module attribute matching with A:<pattern>[=<pattern>] syntax
Clifford Wolf
2014-02-02
*
Fixed a bug in miter command
Clifford Wolf
2014-02-01
*
Added sat -show-inputs and -show-outputs
Clifford Wolf
2014-02-01
*
Added show -color support for cells and finished show -label implementation
Clifford Wolf
2014-02-01
*
Added miter command
Clifford Wolf
2014-02-01
*
enabled multiple "-map" for the extract pass
Johann Glaser
2014-01-25
*
Added support for // comments in liberty parser
Clifford Wolf
2014-01-25
[prev]
[next]