2026-01-07 - 2026-04-07
Overview
9 pull requests merged by 2 users
Merged
#64 Run Rocq tests.
Merged
#68 change vcd output to have module contents under instance's name, more closely matching how it works in verilog
Merged
#67 sim/compiler: fix registers so they properly retain their old value when not written
Merged
#66 make sure rust-src is always available and update ui test's expected output to match
Merged
#65 change VCD id generation to be based on hashing the path, making them better for git diff
Merged
#63 speed up simulation by optimizing SimulationImpl::read_traces
Merged
#62 speed up LazyInterned
Merged
#61 speed up interning
Merged
#60 don't compare function pointers -- they're non-deterministic