2024-12-18T11:07:12Z - 2025-01-18T11:07:12Z
Overview
8 pull requests merged by 2 users
Merged
#16 sim: fix "label address not set" bug when the last Assignment is conditional
Merged
#15 tests/sim: add test_array_rw
Merged
#14 properly handle duplicate names in vcd
Merged
#11 Queue formal proof based on one-entry FIFO equivalence
Merged
#13 fix #[hdl]/#[hdl_module] attributes getting the wrong hygiene when processing #[cfg]s
Merged
#12 implementing handling #[cfg] and #[cfg_attr] in proc macro inputs
Merged
#10 make sim::Compiler not print things to stdout unless you ask for it
Merged
#9 sim: fix sim.write to struct