2025-01-13 - 2026-01-13
Overview
45 pull requests merged by 2 users
Merged
#60 don't compare function pointers -- they're non-deterministic
Merged
#59 Formally define design safety, and prove it for 1-step and 2-step induction
Merged
#58 simplify SimValue Debug format, making complex structures much easier to read
Merged
#57 add FillInDefaultedGenerics<Type = Self> bound for SizeType
Merged
#56 Initial work on representing HDL and formal verification in Rocq.
Merged
#55 support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those
Merged
#54 support Rust's default binding modes when destructuring with #[hdl(sim)] let/match
Merged
#53 add utility impls for SimValue<ArrayType<_, _>>
Merged
#52 add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled
Merged
#51 add ExternModuleSimulationState::fork_join_scope
Merged
#50 fix private fields in #[hdl] pub struct
Merged
#49 fix Simulator panicking when you use PhantomConst
Merged
#48 add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input.
Merged
#47 add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers
Merged
#46 fix JobGraph::run to not busy-wait
Merged
#45 add PhantomConstGet to the known Type bounds for #[hdl] struct/enum
Merged
#44 add PhantomConst accessor type aliases
Merged
#43 don't cache external job failures if they could be caused by the user killing processes
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
Merged
#41 add transmit-only UART example
Merged
#40 Add building blinky example to the readme
Merged
#38 fpga support and arty a7 100t
Merged
#39 Remove extraneous #[automatically_derived] annotations that are causing warnings
Merged
#37 switch to use server's new actions org
Merged
#36 add NLnet grant 2024-12-324 to readme
Merged
#35 add support for simulator-only values
Merged
#34 Upgrade to rust 1.89.0 and Edition 2024
Merged
#33 actually test always_zero hasher
Merged
#32 switch to upstream petgraph 0.8.1
Merged
#31 fix [SU]IntValue's PartialEq for interning
Merged
#30 add UIntInRange[Inclusive][Type]
Merged
#29 implement [de]serializing BaseTypes, SimValues, and support PhantomConst<T> in #[hdl] struct S<T>
Merged
#28 re-export bitvec and add types useful for simulation to the prelude
Merged
#27 improve SimValue<T> to generally be more like Expr<T>
Merged
#26 implement simulation of extern modules
Merged
#25 add ExprPartialEq/ExprPartialOrd impls for PhantomConst
Merged
#24 fix using fayalite as a dependency
Merged
#23 add PhantomConst
Merged
#22 add efficient prefix-sums and reductions
Merged
#20 add Expr<ArrayType<T, Len>>: IntoIterator and Expr<Array<T>>: FromIterator<T>
Merged
#21 switch CI to use mirrors
Merged
#19 add #[hdl(cmp_eq)] to implement HdlPartialEq automatically
Merged
#18 support unknown trait bounds in type parameters
Merged
#17 add #[hdl] let destructuring
Merged
#16 sim: fix "label address not set" bug when the last Assignment is conditional
1 unresolved conversation
Open
#6
Tracking Issue for Third-party issues