2026-01-23 - 2026-02-23

Overview

4 active pull requests
0 active issues
Excluding merges, 1 author has pushed 9 commits to master and 9 commits to all branches. On master, 14 files have changed and there have been 773 additions and 497 deletions.

3 pull requests merged by 1 user

Merged #63 speed up simulation by optimizing SimulationImpl::read_traces 2026-02-04 23:47:09 +00:00

Merged #62 speed up LazyInterned 2026-02-04 02:11:57 +00:00

Merged #61 speed up interning 2026-02-03 01:58:52 +00:00

1 pull request proposed by 1 user

Proposed #64 Run Rocq tests. 2026-02-14 22:05:52 +00:00