libre-chip/fayalite
3
0
Fork 2
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions
Labels Milestones
New pull request
0 Open 56 Closed 56 All
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
HaeckseAlex
cesar
postmaster
programmerjake
Formally define design safety, and prove it for 1-step and 2-step induction
All checks were successful
/ test (pull_request) Successful in 4m8s
Details
/ test (push) Successful in 4m35s
Details
2
#59 by cesar was merged 2025-12-24 20:09:11 +00:00
master
1 approval
simplify SimValue Debug format, making complex structures much easier to read
All checks were successful
/ test (pull_request) Successful in 3m55s
Details
/ test (push) Successful in 4m30s
Details
#58 by programmerjake was merged 2025-12-15 05:03:58 +00:00
master
add FillInDefaultedGenerics<Type = Self> bound for SizeType
All checks were successful
/ test (pull_request) Successful in 3m56s
Details
/ test (push) Successful in 4m26s
Details
#57 by programmerjake was merged 2025-12-11 04:27:55 +00:00
master
Initial work on representing HDL and formal verification in Rocq.
All checks were successful
/ test (pull_request) Successful in 4m4s
Details
/ test (push) Successful in 4m39s
Details
1
#56 by cesar was merged 2025-12-09 16:34:36 +00:00
master
support operations directly on SimValue, UIntValue, and SIntValue, and shared references to those
All checks were successful
/ test (pull_request) Successful in 3m59s
Details
/ test (push) Successful in 4m38s
Details
#55 by programmerjake was merged 2025-11-24 08:22:49 +00:00
master
support Rust's default binding modes when destructuring with #[hdl(sim)] let/match
All checks were successful
/ test (pull_request) Successful in 4m47s
Details
/ test (push) Successful in 5m25s
Details
#54 by programmerjake was merged 2025-11-14 08:27:17 +00:00
master
add utility impls for SimValue<ArrayType<_, _>>
All checks were successful
/ test (pull_request) Successful in 4m52s
Details
/ test (push) Successful in 5m28s
Details
#53 by programmerjake was merged 2025-11-14 04:27:26 +00:00
master
add ExternModuleSimulatorState::read_past() and more output when simulator trace is enabled
All checks were successful
/ test (pull_request) Successful in 4m52s
Details
/ test (push) Successful in 5m28s
Details
#52 by programmerjake was merged 2025-11-13 07:09:27 +00:00
master
add ExternModuleSimulationState::fork_join_scope
All checks were successful
/ test (pull_request) Successful in 4m47s
Details
/ test (push) Successful in 5m24s
Details
#51 by programmerjake was merged 2025-11-07 10:27:28 +00:00
master
fix private fields in #[hdl] pub struct
All checks were successful
/ test (pull_request) Successful in 4m53s
Details
/ test (push) Successful in 5m38s
Details
#50 by programmerjake was merged 2025-11-07 04:29:34 +00:00
master
fix Simulator panicking when you use PhantomConst
All checks were successful
/ test (pull_request) Successful in 5m2s
Details
/ test (push) Successful in 5m38s
Details
#49 by programmerjake was merged 2025-11-06 06:52:53 +00:00
master
add ExternModuleSimulationState::resettable helper for procedural simulations that have a reset input.
All checks were successful
/ test (pull_request) Successful in 4m55s
Details
/ test (push) Successful in 5m31s
Details
#48 by programmerjake was merged 2025-11-04 08:13:01 +00:00
master
add sim.fork_join() and fix Simulator to handle running futures with arbitrary wakers
All checks were successful
/ test (pull_request) Successful in 4m51s
Details
/ test (push) Successful in 5m29s
Details
#47 by programmerjake was merged 2025-10-31 04:22:57 +00:00
master
fix JobGraph::run to not busy-wait
All checks were successful
/ test (pull_request) Successful in 4m50s
Details
/ test (push) Successful in 5m27s
Details
#46 by programmerjake was merged 2025-10-28 06:03:46 +00:00
master
add PhantomConstGet to the known Type bounds for #[hdl] struct/enum
All checks were successful
/ test (pull_request) Successful in 4m54s
Details
/ test (push) Successful in 5m28s
Details
#45 by programmerjake was merged 2025-10-28 03:14:53 +00:00
master
add PhantomConst accessor type aliases
All checks were successful
/ test (pull_request) Successful in 4m50s
Details
/ test (push) Successful in 5m26s
Details
#44 by programmerjake was merged 2025-10-26 10:41:44 +00:00
master
don't cache external job failures if they could be caused by the user killing processes
All checks were successful
/ test (pull_request) Successful in 4m51s
Details
/ test (push) Successful in 5m30s
Details
#43 by programmerjake was merged 2025-10-24 09:34:30 +00:00
master
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
All checks were successful
/ test (pull_request) Successful in 4m44s
Details
/ test (push) Successful in 5m22s
Details
#42 by programmerjake was merged 2025-10-24 08:48:50 +00:00
master
add transmit-only UART example
All checks were successful
/ test (pull_request) Successful in 4m43s
Details
/ test (push) Successful in 5m21s
Details
#41 by programmerjake was merged 2025-10-23 03:36:39 +00:00
master
Add building blinky example to the readme
All checks were successful
/ test (pull_request) Successful in 4m31s
Details
/ test (push) Successful in 5m9s
Details
#40 by programmerjake was merged 2025-10-22 06:11:41 +00:00
master