index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Updated ABC to rev 10cc13a2a0f1
Clifford Wolf
2014-02-06
1
-1
/
+1
*
Added "retime" to standard ABC recipes
Clifford Wolf
2014-02-06
1
-4
/
+4
*
Added copy command
Clifford Wolf
2014-02-06
2
-0
/
+55
*
Added design -stash/-copy-from/-copy-to
Clifford Wolf
2014-02-06
1
-13
/
+99
*
Added support for s: select expressions (wire width)
Clifford Wolf
2014-02-06
1
-1
/
+21
*
Added i:, o:, and x: selection pattern
Clifford Wolf
2014-02-06
1
-0
/
+18
*
Added support for %m selection op
Clifford Wolf
2014-02-06
1
-0
/
+16
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2014-02-06
1
-0
/
+25
|
\
|
*
Merge pull request #23 from hansiglaser/master
Clifford Wolf
2014-02-06
1
-0
/
+25
|
|
\
|
|
*
new %s: add sub-modules to selection
Johann Glaser
2014-02-06
1
-0
/
+25
|
|
/
*
/
Added generic RTLIL::SigSpec::parse_sel() with support for selection variables
Clifford Wolf
2014-02-06
5
-37
/
+39
|
/
*
Added support for sat -show @<sel_name>
Clifford Wolf
2014-02-06
1
-0
/
+17
*
Added sat -set-init-def and sat -tempinduct-def
Clifford Wolf
2014-02-06
1
-4
/
+34
*
Added opt_const -undriven
Clifford Wolf
2014-02-06
2
-3
/
+68
*
Added expose -dff
Clifford Wolf
2014-02-06
1
-1
/
+44
*
Added support for #-comments in same line as command
Clifford Wolf
2014-02-06
1
-0
/
+2
*
presentation progress
Clifford Wolf
2014-02-06
10
-12
/
+265
*
Changed techmap description from "simple" to "generic"
Clifford Wolf
2014-02-06
1
-1
/
+1
*
Added miter -make_outcmp
Clifford Wolf
2014-02-06
1
-2
/
+23
*
Added sat -set-init-zero support
Clifford Wolf
2014-02-06
1
-2
/
+22
*
Added support for backslash continuation in script files
Clifford Wolf
2014-02-06
1
-2
/
+13
*
Added counters sat test case
Clifford Wolf
2014-02-06
2
-0
/
+45
*
Added sat -verify and -falsify support for non-prove cases
Clifford Wolf
2014-02-06
1
-14
/
+26
*
Added expose command
Clifford Wolf
2014-02-05
2
-0
/
+264
*
presentation progress
Clifford Wolf
2014-02-05
4
-64
/
+221
*
Simplified select "Assertation failed" message generation
Clifford Wolf
2014-02-05
1
-16
/
+4
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2014-02-05
1
-7
/
+24
|
\
|
*
Merge pull request #22 from hansiglaser/master
Clifford Wolf
2014-02-05
1
-7
/
+24
|
|
\
|
|
*
be more verbose for select -assert-any and -assert-none
Johann Glaser
2014-02-05
1
-2
/
+16
|
|
*
improved help for "select"
Johann Glaser
2014-02-05
1
-5
/
+8
|
|
/
*
|
Added BTOR backend README file
Clifford Wolf
2014-02-05
2
-1
/
+24
*
|
Added selection support for r: and selection with relational operators
Clifford Wolf
2014-02-05
1
-34
/
+80
|
/
*
presentation progress
Clifford Wolf
2014-02-05
5
-3
/
+62
*
presentation progress
Clifford Wolf
2014-02-05
5
-8
/
+230
*
Added read_verilog -setattr
Clifford Wolf
2014-02-05
1
-0
/
+15
*
Added setattr and setparam commands
Clifford Wolf
2014-02-05
2
-0
/
+181
*
Updated todo items in README file
Clifford Wolf
2014-02-05
1
-2
/
+2
*
Removed old unused files from tests/
Clifford Wolf
2014-02-05
14
-2602
/
+0
*
Added support for dump -append
Clifford Wolf
2014-02-04
1
-3
/
+12
*
Throw errors if non-existing selection variables are used
Clifford Wolf
2014-02-04
1
-3
/
+4
*
Added select -none
Clifford Wolf
2014-02-04
1
-4
/
+20
*
presentation progress
Clifford Wolf
2014-02-04
3
-34
/
+104
*
Fixed detection of init attribute in opt_rmdff
Clifford Wolf
2014-02-04
1
-1
/
+1
*
Added support for inline commands to abc -script
Clifford Wolf
2014-02-04
1
-39
/
+75
*
presentation progress
Clifford Wolf
2014-02-04
9
-3
/
+206
*
Added hierarchy -purge_lib option
Clifford Wolf
2014-02-04
1
-3
/
+14
*
Added test cases for sat command
Clifford Wolf
2014-02-04
7
-0
/
+127
*
added sat -falsify
Clifford Wolf
2014-02-04
1
-4
/
+28
*
Fixed bug in sequential sat proofs and improved handling of asserts
Clifford Wolf
2014-02-04
3
-9
/
+45
*
Improved handling of reg init in opt_share and opt_rmdff
Clifford Wolf
2014-02-04
2
-7
/
+48
[prev]
[next]