libre-chip/fayalite
3
0
Fork 2
Code Issues 1 Pull requests 1 Projects Releases Packages Wiki Activity Actions
All workflows test.yml
Actor
All actors cesar programmerjake
Status
All status Success Failure Waiting Running
Define design safety, and prove it for 1-step and 2-step induction.
test.yml #349 -Commit a398f8f185 pushed by cesar
#59
2025-12-23 01:57:56 +00:00
4m8s
simplify SimValue Debug format, making complex structures much easier to read
test.yml #348 -Commit c97b44d9d6 pushed by programmerjake
master
2025-12-15 05:08:31 +00:00
4m31s
simplify SimValue Debug format, making complex structures much easier to read
test.yml #347 -Commit c97b44d9d6 pushed by programmerjake
#58
2025-12-15 05:03:57 +00:00
3m56s
simplify SimValue Debug format, making complex structures much easier to read
test.yml #346 -Commit 0f94dc6dcd pushed by programmerjake
#58
2025-12-15 04:44:15 +00:00
1m22s
add FillInDefaultedGenerics<Type = Self> bound for SizeType
test.yml #345 -Commit fbe4585578 pushed by programmerjake
master
2025-12-11 04:32:24 +00:00
4m26s
add FillInDefaultedGenerics<Type = Self> bound for SizeType
test.yml #344 -Commit fbe4585578 pushed by programmerjake
#57
2025-12-11 04:15:48 +00:00
3m56s
add FillInDefaultedGenerics<Type = Self> bound for SizeType
test.yml #343 -Commit 0548c47496 pushed by programmerjake
#57
2025-12-11 04:11:47 +00:00
2m2s
Check copyright header in Rocq files.
test.yml #342 -Commit e4210a672f pushed by programmerjake
master
2025-12-09 16:39:20 +00:00
4m41s
Check copyright header in Rocq files.
test.yml #341 -Commit e4210a672f pushed by cesar
#56
2025-12-09 10:52:10 +00:00
4m4s
Demonstrates state with multiple variables and hidden state.
test.yml #340 -Commit e54558d848 pushed by cesar
#56
2025-12-09 01:12:08 +00:00
24s
support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those
test.yml #339 -Commit 9e803223d0 pushed by programmerjake
master
2025-11-24 08:27:31 +00:00
4m39s
support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those
test.yml #338 -Commit 9e803223d0 pushed by programmerjake
#55
2025-11-24 08:22:20 +00:00
3m59s
support Rust's default binding modes when destructuring with #[hdl(sim)] let/match
test.yml #337 -Commit 2817cd3d58 pushed by programmerjake
master
2025-11-14 08:32:45 +00:00
5m26s
support Rust's default binding modes when destructuring with #[hdl(sim)] let/match
test.yml #336 -Commit 2817cd3d58 pushed by programmerjake
#54
2025-11-14 08:27:14 +00:00
4m48s
add utility impls for SimValue<ArrayType<_, _>>
test.yml #335 -Commit 17b58e8edb pushed by programmerjake
master
2025-11-14 04:32:59 +00:00
5m29s
add utility impls for SimValue<ArrayType<_, _>>
test.yml #334 -Commit 17b58e8edb pushed by programmerjake
#53
2025-11-14 04:27:23 +00:00
4m53s
add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled
test.yml #333 -Commit df020e9c9b pushed by programmerjake
master
2025-11-13 07:14:57 +00:00
5m28s
add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled
test.yml #332 -Commit df020e9c9b pushed by programmerjake
#52
2025-11-13 06:43:09 +00:00
4m52s
add ExternModuleSimulationState::fork_join_scope
test.yml #331 -Commit 45fea70c18 pushed by programmerjake
master
2025-11-07 10:32:56 +00:00
5m25s
add ExternModuleSimulationState::fork_join_scope
test.yml #330 -Commit 45fea70c18 pushed by programmerjake
#51
2025-11-07 10:27:28 +00:00
4m48s
fix private fields in #[hdl] pub struct
test.yml #329 -Commit fbc8ffa5ae pushed by programmerjake
master
2025-11-07 04:35:14 +00:00
5m39s
fix private fields in #[hdl] pub struct
test.yml #328 -Commit fbc8ffa5ae pushed by programmerjake
#50
2025-11-07 04:29:32 +00:00
4m54s
fix Simulator panicking when you use PhantomConst
test.yml #327 -Commit 0b77d1bea0 pushed by programmerjake
master
2025-11-06 06:58:34 +00:00
5m39s
fix Simulator panicking when you use PhantomConst
test.yml #326 -Commit 0b77d1bea0 pushed by programmerjake
#49
2025-11-06 06:52:52 +00:00
5m3s
add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input.
test.yml #325 -Commit 840c5e1895 pushed by programmerjake
master
2025-11-04 08:18:34 +00:00
5m32s
add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input.
test.yml #324 -Commit 840c5e1895 pushed by programmerjake
#48
2025-11-04 08:12:59 +00:00
4m56s
add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers
test.yml #323 -Commit c11a1743f9 pushed by programmerjake
master
2025-10-31 04:28:29 +00:00
5m29s
add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers
test.yml #322 -Commit c11a1743f9 pushed by programmerjake
#47
2025-10-31 04:22:38 +00:00
4m51s
fix JobGraph::run to not busy-wait
test.yml #321 -Commit 0be9f9ce23 pushed by programmerjake
master
2025-10-28 06:09:17 +00:00
5m27s
fix JobGraph::run to not busy-wait
test.yml #320 -Commit 0be9f9ce23 pushed by programmerjake
#46
2025-10-28 06:03:44 +00:00
4m51s