whitequark 9de9272709 lib.fifo: use memory in the FIFO model. ... This is unfortunately more complicated, but results in a much faster proof.		2019-01-19 09:27:56 +00:00
..
back	hdl.ast: give Assert and Assume their own src_loc.	2019-01-19 00:08:51 +00:00
compat	fhdl.specials: add compatibility shim for Tristate.	2019-01-19 02:20:40 +00:00
hdl	hdl.ast: implement shape for modulo operator.	2019-01-19 09:27:56 +00:00
lib	lib.fifo: fix simulation read/write methods to take only one cycle.	2019-01-19 01:38:09 +00:00
test	lib.fifo: use memory in the FIFO model.	2019-01-19 09:27:56 +00:00
__init__.py	formal: extract from toplevel module.	2019-01-17 01:43:07 +00:00
cli.py	cli: add missing default for generate	2019-01-17 20:45:07 +00:00
formal.py	formal: extract from toplevel module.	2019-01-17 01:43:07 +00:00
tools.py	compat: add wrappers for Slice.stop, Cat.l, _ArrayProxy.choices.	2018-12-18 20:03:32 +00:00
tracer.py	tracer: factor out get_src_loc().	2018-12-28 01:31:24 +00:00