Pulse Contributors Code frequency Recent commits

2025-11-02 - 2026-02-02

Period: 3 months

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

Overview

13 active pull requests

0 active issues

13
Merged pull requests 0
Proposed pull requests 0
Closed issues 0
New issues

Excluding merges, 2 authors have pushed 19 commits to master and 19 commits to all branches. On master, 86 files have changed and there have been 25763 additions and 2121 deletions.

13 pull requests merged by 2 users

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

Merged #54 support Rust's default binding modes when destructuring with #[hdl(sim)] let/match 2025-11-14 08:27:17 +00:00

Merged #53 add utility impls for SimValue<ArrayType<_, _>> 2025-11-14 04:27:26 +00:00

Merged #52 add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled 2025-11-13 07:09:27 +00:00

Merged #51 add ExternModuleSimulationState::fork_join_scope 2025-11-07 10:27:29 +00:00

Merged #50 fix private fields in #[hdl] pub struct 2025-11-07 04:29:34 +00:00

Merged #49 fix Simulator panicking when you use PhantomConst 2025-11-06 06:52:53 +00:00

Merged #48 add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input. 2025-11-04 08:13:01 +00:00

1 unresolved conversation

Open #6 Tracking Issue for Third-party issues 2025-11-06 06:34:34 +00:00