Cesar Strauss ad1101934c Add assertions and debug ports in order for the FIFO to pass induction ... As some proofs involving memories, it is necessary to add more ports to the queue interface, to sync state. These changes are predicated on the test environment, so normal use is not affected. Since some speedup is achieved, use the saved time to test with a deeper FIFO.		2024-12-26 10:44:12 -03:00
..
fayalite	Add assertions and debug ports in order for the FIFO to pass induction	2024-12-26 10:44:12 -03:00
fayalite-proc-macros	clean up deps and move missed deps to workspace	2024-09-25 01:22:35 -07:00
fayalite-proc-macros-impl	add ResetType to the list of recognized type bounds	2024-11-26 18:52:03 -08:00
fayalite-visit-gen	clean up deps and move missed deps to workspace	2024-09-25 01:22:35 -07:00