Pulse Contributors Code frequency Recent commits

2025-11-23 - 2026-02-23

Period: 3 months

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

10 active pull requests

0 active issues

9
Merged pull requests 1
Proposed pull request 0
Closed issues 0
New issues

Excluding merges, 2 authors have pushed 18 commits to master and 18 commits to all branches. On master, 62 files have changed and there have been 7425 additions and 2207 deletions.

9 pull requests merged by 2 users

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

Merged #60 don't compare function pointers -- they're non-deterministic 2026-01-12 11:19:58 +00:00

Merged #59 Formally define design safety, and prove it for 1-step and 2-step induction 2025-12-24 20:09:11 +00:00

Merged #58 simplify SimValue Debug format, making complex structures much easier to read 2025-12-15 05:03:58 +00:00

Merged #57 add FillInDefaultedGenerics<Type = Self> bound for SizeType 2025-12-11 04:27:55 +00:00

Merged #56 Initial work on representing HDL and formal verification in Rocq. 2025-12-09 16:34:36 +00:00

Merged #55 support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those 2025-11-24 08:22:49 +00:00

1 pull request proposed by 1 user

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