index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
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
|
|
\
|
|
|
|
|
|
Little improvements for "select"
|
|
*
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
|
*
Added support for dump -append
Clifford Wolf
2014-02-04
|
*
Throw errors if non-existing selection variables are used
Clifford Wolf
2014-02-04
|
*
Added select -none
Clifford Wolf
2014-02-04
|
*
presentation progress
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
|
*
presentation progress
Clifford Wolf
2014-02-04
|
*
Added hierarchy -purge_lib option
Clifford Wolf
2014-02-04
|
*
Added test cases for sat command
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
|
*
presentation progress
Clifford Wolf
2014-02-04
|
*
presentation progress
Clifford Wolf
2014-02-03
|
*
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
|
*
Replaced isim with xsim in tests/tools/autotest.sh, removed xst support
Clifford Wolf
2014-02-03
|
*
More opt_const -mux_bool features
Clifford Wolf
2014-02-02
|
*
presentation progress
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
|
*
Added RTLIL::SigSpec::to_single_sigbit()
Clifford Wolf
2014-02-02
|
*
Only generate write-enable $and if WE is not constant 1 in memory_map
Clifford Wolf
2014-02-02
|
[next]