projects
/
nmigen.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
hdl.ast: add Value.{any,all}, mapping to $reduce_{or,and}.
[nmigen.git]
/
nmigen
/
test
/
tools.py
2019-08-31
Emily
_toolchain,build.plat,vendor.*: add required_tools...
blob
|
commitdiff
|
raw
2019-08-28
Emily
test.tools: use _toolchain.get_tool.
blob
|
commitdiff
|
raw
|
diff to current
2019-07-31
whitequark
hdl.xfrm: handle mem.{Read,Write}Port in CEInserter.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-26
whitequark
hdl.ir: rename .get_fragment() to .elaborate().
blob
|
commitdiff
|
raw
|
diff to current
2019-01-19
whitequark
hdl.xfrm: mark internal registers used in lowering...
blob
|
commitdiff
|
raw
|
diff to current
2019-01-19
whitequark
lib.fifo: formally verify FIFO contract.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-17
whitequark
lib.fifo: add basic formal specification.
blob
|
commitdiff
|
raw
|
diff to current
2019-01-13
whitequark
hdl.dsl: cases wider than switch test value are unreach...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-15
whitequark
hdl.ast: implement Array and ArrayProxy.
blob
|
commitdiff
|
raw
|
diff to current
2018-12-15
whitequark
Rename fhdl→hdl, genlib→lib.
blob
|
commitdiff
|
raw
|
diff to current
2018-12-14
whitequark
fhdl.ir: automatically flatten hierarchy to resolve...
blob
|
commitdiff
|
raw
|
diff to current
2018-12-13
whitequark
fhdl.ir: implement clock domain propagation.
blob
|
commitdiff
|
raw
|
diff to current
2018-12-13
whitequark
fhdl.xfrm: implement DomainRenamer.
blob
|
commitdiff
|
raw
|
diff to current