2026-01-24 - 2026-02-24
Overview
Excluding merges,
1 author
has pushed
12 commits
to master and
12 commits
to all branches.
On master,
43 files
have changed
and there have been
9969 additions
and
9466 deletions.
4 pull requests merged by 1 user
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
1 pull request proposed by 1 user
Proposed
#64 Run Rocq tests.