whitequark
|
b90687c988
|
Rename remaining wrap methods to cast.
Following commit d72d4a55.
|
2019-10-11 13:28:26 +00:00 |
|
|
Emily
|
c4e8ac734f
|
_toolchain,build.plat,vendor.*: add required_tools list and checks.
|
2019-08-31 00:05:47 +00:00 |
|
|
Emily
|
98278a044d
|
test.tools: use _toolchain.get_tool.
|
2019-08-28 11:52:16 +00:00 |
|
|
whitequark
|
995e4adb8c
|
hdl.xfrm: handle mem.{Read,Write}Port in CEInserter.
Fixes #154.
|
2019-07-31 05:20:05 +00:00 |
|
|
whitequark
|
4948162f33
|
hdl.ir: rename .get_fragment() to .elaborate().
Closes #9.
|
2019-01-26 02:31:12 +00:00 |
|
|
whitequark
|
c5d67b0461
|
hdl.xfrm: mark internal registers used in lowering Sample().
|
2019-01-19 07:27:32 +00:00 |
|
|
whitequark
|
97b990272e
|
lib.fifo: formally verify FIFO contract.
|
2019-01-19 00:52:56 +00:00 |
|
|
whitequark
|
5a831ce31c
|
lib.fifo: add basic formal specification.
|
2019-01-17 05:40:25 +00:00 |
|
|
whitequark
|
664b4bcb3a
|
hdl.dsl: cases wider than switch test value are unreachable.
In 3083c1d6 they were erroneously fixed via truncation.
|
2019-01-13 08:51:49 +00:00 |
|
|
whitequark
|
80c5343600
|
hdl.ast: implement Array and ArrayProxy.
|
2018-12-15 17:16:31 +00:00 |
|
|
whitequark
|
790eb05a92
|
Rename fhdl→hdl, genlib→lib.
|
2018-12-15 14:25:31 +00:00 |
|
|
whitequark
|
2001359b66
|
fhdl.ir: automatically flatten hierarchy to resolve driver conflicts.
Fixes #5.
|
2018-12-14 22:48:17 +00:00 |
|
|
whitequark
|
72257b6935
|
fhdl.ir: implement clock domain propagation.
|
2018-12-13 11:01:03 +00:00 |
|
|
whitequark
|
9bee90f1bd
|
fhdl.xfrm: implement DomainRenamer.
|
2018-12-13 08:57:14 +00:00 |
|