git.libre-soc.org Git - nmigen.git/history - nmigen/test/test_lib

2019-06-04	whitequark	Clean up imports.	blob \| commitdiff \| raw
2019-04-21	whitequark	hdl.ir: detect elaboratables that are created but not...	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-21	whitequark	lib.fifo: add AsyncFIFO and AsyncFIFOBuffered.	blob \| commitdiff \| raw \| diff to current
2019-01-19	whitequark	lib.fifo: use memory in the FIFO model.	blob \| commitdiff \| raw \| diff to current
2019-01-19	whitequark	lib.fifo: use model equivalence to simplify formal...	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-16	whitequark	lib.fifo: port sync FIFO queues from Migen.	blob \| commitdiff \| raw \| diff to current