projects
/
nmigen.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
back.verilog: allow stripping the src attribute, for cleaner output.
2019-01-15
William D. Jones
back.rtlil: Generate $anyconst and $anyseq cells.
commit
|
commitdiff
|
tree
2019-01-15
William D. Jones
hdl.xfrm: Add on_AnyConst and on_AnySeq abstract methods...
commit
|
commitdiff
|
tree
2019-01-15
William D. Jones
hdl.ast: Add AnyConst and AnySeq value types.
commit
|
commitdiff
|
tree
2019-01-02
William D. Jones
back.rtlil: Generate RTLIL for Assert/Assume statements.
commit
|
commitdiff
|
tree
2019-01-02
William D. Jones
hdl.xfrm: Add Assert and Assume abstract methods for...
commit
|
commitdiff
|
tree
2019-01-02
William D. Jones
hdl.dsl: Support Assert and Assume where an Assign...
commit
|
commitdiff
|
tree
2019-01-02
William D. Jones
hdl.ast: Add Assert and Assign statements.
commit
|
commitdiff
|
tree