Define design safety, and prove it for 1-step and 2-step induction.
test.yml #349 -Commit
a398f8f185
pushed by
cesar
simplify SimValue Debug format, making complex structures much easier to read
test.yml #348 -Commit
c97b44d9d6
pushed by
programmerjake
simplify SimValue Debug format, making complex structures much easier to read
test.yml #347 -Commit
c97b44d9d6
pushed by
programmerjake
simplify SimValue Debug format, making complex structures much easier to read
test.yml #346 -Commit
0f94dc6dcd
pushed by
programmerjake
add FillInDefaultedGenerics<Type = Self> bound for SizeType
test.yml #345 -Commit
fbe4585578
pushed by
programmerjake
add FillInDefaultedGenerics<Type = Self> bound for SizeType
test.yml #344 -Commit
fbe4585578
pushed by
programmerjake
add FillInDefaultedGenerics<Type = Self> bound for SizeType
test.yml #343 -Commit
0548c47496
pushed by
programmerjake
Check copyright header in Rocq files.
test.yml #342 -Commit
e4210a672f
pushed by
programmerjake
Demonstrates state with multiple variables and hidden state.
test.yml #340 -Commit
e54558d848
pushed by
cesar
support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those
test.yml #339 -Commit
9e803223d0
pushed by
programmerjake
support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those
test.yml #338 -Commit
9e803223d0
pushed by
programmerjake
support Rust's default binding modes when destructuring with #[hdl(sim)] let/match
test.yml #337 -Commit
2817cd3d58
pushed by
programmerjake
support Rust's default binding modes when destructuring with #[hdl(sim)] let/match
test.yml #336 -Commit
2817cd3d58
pushed by
programmerjake
add utility impls for SimValue<ArrayType<_, _>>
test.yml #335 -Commit
17b58e8edb
pushed by
programmerjake
add utility impls for SimValue<ArrayType<_, _>>
test.yml #334 -Commit
17b58e8edb
pushed by
programmerjake
add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled
test.yml #333 -Commit
df020e9c9b
pushed by
programmerjake
add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled
test.yml #332 -Commit
df020e9c9b
pushed by
programmerjake
add ExternModuleSimulationState::fork_join_scope
test.yml #331 -Commit
45fea70c18
pushed by
programmerjake
add ExternModuleSimulationState::fork_join_scope
test.yml #330 -Commit
45fea70c18
pushed by
programmerjake
fix private fields in #[hdl] pub struct
test.yml #329 -Commit
fbc8ffa5ae
pushed by
programmerjake
fix private fields in #[hdl] pub struct
test.yml #328 -Commit
fbc8ffa5ae
pushed by
programmerjake
fix Simulator panicking when you use PhantomConst
test.yml #327 -Commit
0b77d1bea0
pushed by
programmerjake
fix Simulator panicking when you use PhantomConst
test.yml #326 -Commit
0b77d1bea0
pushed by
programmerjake
add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input.
test.yml #325 -Commit
840c5e1895
pushed by
programmerjake
add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input.
test.yml #324 -Commit
840c5e1895
pushed by
programmerjake
add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers
test.yml #323 -Commit
c11a1743f9
pushed by
programmerjake
add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers
test.yml #322 -Commit
c11a1743f9
pushed by
programmerjake