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
...
*
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
*
Added hilomap command
Clifford Wolf
2014-01-19
*
Added sat -tempinduc and sat -prove-asserts
Clifford Wolf
2014-01-19
*
Added $assert cell
Clifford Wolf
2014-01-19
*
Improved setundef random number generator
Clifford Wolf
2014-01-18
*
Added setundef command
Clifford Wolf
2014-01-17
*
Added support for $adff with undef data inputs to opt_rmdff
Clifford Wolf
2014-01-17
*
Added select -assert-none and -assert-any
Clifford Wolf
2014-01-17
*
Added automatic memid generation to memory_unpack command
Clifford Wolf
2014-01-17
*
Added memory_unpack command
Clifford Wolf
2014-01-17
*
Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))
Martin Schmölzer
2014-01-14
*
Added hierarchy -libdir option
Clifford Wolf
2014-01-14
*
renamed LibertyParer to LibertyParser
Clifford Wolf
2014-01-14
*
Added "+" to list of liberty token characters
Clifford Wolf
2014-01-14
*
Added "opt_const -mux_undef"
Clifford Wolf
2014-01-14
*
Improved performance of freduce input cone reduction
Clifford Wolf
2014-01-04
*
Improved freduce performance on const signals
Clifford Wolf
2014-01-04
*
Performance improvements in freduce pass
Clifford Wolf
2014-01-03
*
More freduce cleanups
Clifford Wolf
2014-01-03
[prev]
[next]