Pulse Contributors Code frequency Recent commits

2025-06-24 - 2025-12-24

Period: 6 months

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

Overview

26 active pull requests

0 active issues

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

Excluding merges, 2 authors have pushed 67 commits to master and 67 commits to all branches. On master, 138 files have changed and there have been 71038 additions and 17923 deletions.

25 pull requests merged by 2 users

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

Merged #47 add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers 2025-10-31 04:22:57 +00:00

Merged #46 fix JobGraph::run to not busy-wait 2025-10-28 06:03:46 +00:00

Merged #45 add PhantomConstGet to the known Type bounds for #[hdl] struct/enum 2025-10-28 03:14:53 +00:00

Merged #44 add PhantomConst accessor type aliases 2025-10-26 10:41:44 +00:00

Merged #43 don't cache external job failures if they could be caused by the user killing processes 2025-10-24 09:34:30 +00:00

Merged #42 misc fixes from using new fayalite version in cpu: improve UIntInRange's API, move FormalMode to testing and add to prelude, and fix inconsistent ordering of memories in vcd 2025-10-24 08:48:50 +00:00

Merged #41 add transmit-only UART example 2025-10-23 03:36:39 +00:00

Merged #40 Add building blinky example to the readme 2025-10-22 06:11:41 +00:00

Merged #38 fpga support and arty a7 100t 2025-10-22 05:36:13 +00:00

Merged #39 Remove extraneous #[automatically_derived] annotations that are causing warnings 2025-10-15 11:27:59 +00:00

Merged #37 switch to use server's new actions org 2025-10-10 07:07:38 +00:00

Merged #36 add NLnet grant 2024-12-324 to readme 2025-09-09 06:14:21 +00:00

Merged #35 add support for simulator-only values 2025-09-09 05:35:24 +00:00

Merged #34 Upgrade to rust 1.89.0 and Edition 2024 2025-08-25 00:03:12 +00:00

1 pull request proposed by 1 user

Proposed #59 Formally define design safety, and prove it for 1-step and 2-step induction 2025-12-23 01:53:46 +00:00

1 unresolved conversation

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