fayalite/crates/fayalite/tests
Jacob Lifshay 404a2ee043
All checks were successful
/ deps (pull_request) Successful in 19s
/ test (pull_request) Successful in 3m34s
/ deps (push) Successful in 15s
/ test (push) Successful in 4m2s
tests/sim: add test_array_rw
2025-01-12 21:38:59 -08:00
..
sim/expected tests/sim: add test_array_rw 2025-01-12 21:38:59 -08:00
ui support #[hdl] type aliases 2024-10-30 20:47:10 -07:00
formal.rs add module exercising formal verification of memories 2024-12-08 17:13:26 -03:00
hdl_types.rs support #[hdl] type aliases 2024-10-30 20:47:10 -07:00
module.rs fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s 2024-12-29 00:48:15 -08:00
sim.rs tests/sim: add test_array_rw 2025-01-12 21:38:59 -08:00
ui.rs initial public commit 2024-06-10 23:09:13 -07:00