projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2014-02-13
Clifford Wolf
Removed double blanks in ABC default command sequences
commit
|
commitdiff
|
tree
2014-02-13
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2014-02-13
Clifford Wolf
Updated ABC and some related changes
commit
|
commitdiff
|
tree
2014-02-12
Clifford Wolf
Merge pull request #26 from ahmedirfan1983/btor
commit
|
commitdiff
|
tree
2014-02-12
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2014-02-12
Clifford Wolf
Added support for functions returning integer
commit
|
commitdiff
|
tree
2014-02-12
Ahmed Irfan
modified btor synthesis script for correct use of splic...
commit
|
commitdiff
|
tree
2014-02-12
Clifford Wolf
Disabled "abc -dff" in "make test" for now (waiting...
commit
|
commitdiff
|
tree
2014-02-12
Clifford Wolf
Updated ABC to rev e97a6e1d59b9
commit
|
commitdiff
|
tree
2014-02-11
Clifford Wolf
renamed ilang "scope error" to "ilang error"
commit
|
commitdiff
|
tree
2014-02-11
Ahmed Irfan
disabling splice command in the script
commit
|
commitdiff
|
tree
2014-02-11
Ahmed Irfan
register output corrected
commit
|
commitdiff
|
tree
2014-02-11
Ahmed Irfan
Merge branch 'master' of https://github.com/cliffordwol...
commit
|
commitdiff
|
tree
2014-02-11
Ahmed Irfan
added concat and slice cell translation
commit
|
commitdiff
|
tree
2014-02-11
Clifford Wolf
More Makefile cleanups
commit
|
commitdiff
|
tree
2014-02-11
Clifford Wolf
Improved "make manual" and "make clean"
commit
|
commitdiff
|
tree
2014-02-09
Clifford Wolf
Improved ilang parser error messages
commit
|
commitdiff
|
tree
2014-02-09
Clifford Wolf
fixed a bug in subcircuit library with cells that have...
commit
|
commitdiff
|
tree
2014-02-09
Clifford Wolf
Various improvements in expose command (added -sep...
commit
|
commitdiff
|
tree
2014-02-09
Clifford Wolf
Added delete {-input|-output|-port}
commit
|
commitdiff
|
tree
2014-02-09
Clifford Wolf
Bugfix in delete command
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Added test cases for expose -evert-dff
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Fixed handling of async reset in expose -evert-dff
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Build fixes for log cmd
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Implemented expose -evert-dff
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Merge pull request #24 from hansiglaser/master
commit
|
commitdiff
|
tree
2014-02-08
Johann Glaser
added "log" command
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Improved checking of internal cell conventions
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Fixed bug in collecting of RD_TRANSPARENT parameter...
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Added various new options to splice command
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Added %a select operator
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Moved some passes to other source directories
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Added support for "keep" attribute to abc pass
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Added opt -purge (frontend to opt_clean -purge)
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Only count non-trivial attributes when findinf master...
commit
|
commitdiff
|
tree
2014-02-08
Clifford Wolf
Added checking for ABC modifications to Makefile and...
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Now also move net labes to the right position in splice cmd
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Improved detection of primary wire for a signal in...
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Added splice command
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Added log_header() to splitnets
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Added $slice and $concat to CellTypes list
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Added $slice and $concat cell types
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Stronger checking of internal cells
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Re-enabled abc "retime" after sorting yout the yosys...
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Added echo command
commit
|
commitdiff
|
tree
2014-02-07
Clifford Wolf
Fixed use of "cmd_error" in passes/cmds/design.cc
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Fixed gcc compiler warnings with release build
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Disabled ABC retime for now (elliptic_curve_group testc...
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Updated ABC to rev 10cc13a2a0f1
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added "retime" to standard ABC recipes
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added copy command
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added design -stash/-copy-from/-copy-to
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added support for s: select expressions (wire width)
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added i:, o:, and x: selection pattern
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added support for %m selection op
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added generic RTLIL::SigSpec::parse_sel() with support...
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Merge pull request #23 from hansiglaser/master
commit
|
commitdiff
|
tree
2014-02-06
Johann Glaser
new %s: add sub-modules to selection
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added support for sat -show @<sel_name>
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added sat -set-init-def and sat -tempinduct-def
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added opt_const -undriven
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added expose -dff
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added support for #-comments in same line as command
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Changed techmap description from "simple" to "generic"
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added miter -make_outcmp
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added sat -set-init-zero support
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added support for backslash continuation in script...
commit
|
commitdiff
|
tree
2014-02-06
Clifford Wolf
Added counters sat test case
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Added sat -verify and -falsify support for non-prove...
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Added expose command
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Simplified select "Assertation failed" message generation
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Merge branch 'master' of github.com:cliffordwolf/yosys
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Merge pull request #22 from hansiglaser/master
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Added BTOR backend README file
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Added selection support for r: and selection with relat...
commit
|
commitdiff
|
tree
2014-02-05
Johann Glaser
be more verbose for select -assert-any and -assert...
commit
|
commitdiff
|
tree
2014-02-05
Johann Glaser
improved help for "select"
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Added read_verilog -setattr
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Added setattr and setparam commands
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Updated todo items in README file
commit
|
commitdiff
|
tree
2014-02-05
Clifford Wolf
Removed old unused files from tests/
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Added support for dump -append
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Throw errors if non-existing selection variables are...
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Added select -none
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Fixed detection of init attribute in opt_rmdff
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Added support for inline commands to abc -script
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Added hierarchy -purge_lib option
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Added test cases for sat command
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
added sat -falsify
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Fixed bug in sequential sat proofs and improved handlin...
commit
|
commitdiff
|
tree
2014-02-04
Clifford Wolf
Improved handling of reg init in opt_share and opt_rmdff
commit
|
commitdiff
|
tree
2014-02-03
Clifford Wolf
presentation progress
commit
|
commitdiff
|
tree
next