programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
2
 Projects Packages Public activity Starred repositories
programmerjake pushed tag v0.2.0 to libre-chip/fayalite 2024-10-18 05:20:01 +00:00
programmerjake pushed to master at libre-chip/fayalite 2024-10-18 04:32:45 +00:00
0c9c48a066 split out deps into separate workflow with better caching using deps.yml from cpu.git
programmerjake pushed to master at libre-chip/cpu 2024-10-17 01:45:49 +00:00
4c94f5d91a split deps out into separate job with cache and build z3 4.13.3
programmerjake pushed to master at libre-chip/cpu 2024-10-16 06:52:18 +00:00
e5f59939cc remove now-unnecessary memory-based parallelism limiting
a305ad51b2 reduce formal proof depth to avoid z3 eating all our memory
b54e40561f limit parallelism based on available memory too
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-16 04:33:22 +00:00
cb17913004 limit sby to one thread each since it seems not to respect job count in parallel mode
programmerjake pushed to master at libre-chip/fayalite 2024-10-16 03:33:08 +00:00
42effd1132 switch to using a make job server for managing test parallelism
programmerjake pushed to master at libre-chip/cpu 2024-10-15 09:40:40 +00:00
aaa2cb193e add formal proof for unit_free_regs_tracker
programmerjake pushed to master at libre-chip/fayalite 2024-10-15 08:50:21 +00:00
3d0f95cfe5 formal: add workaround for wires disappearing because yosys optimizes them out
programmerjake pushed to master at libre-chip/cpu 2024-10-15 04:21:04 +00:00
cb5855589f WIP adding register allocator
programmerjake pushed to master at libre-chip/fayalite 2024-10-15 00:48:21 +00:00
3939ce2360 add Bundle and Enum to prelude
programmerjake pushed to master at libre-chip/cpu 2024-10-14 23:31:32 +00:00
d0aa86e335 add forgejo CI
d7f62737f2 add license headers
30c02e2b98 add scripts/check-copyright.sh
Compare 3 commits »
programmerjake pushed to master at libre-chip/cpu 2024-10-13 08:42:05 +00:00
f65fc1d616 add more register stuff
programmerjake pushed to master at libre-chip/cpu 2024-10-13 08:41:16 +00:00
4c420edcd8 clarify some stuff
programmerjake pushed to master at libre-chip/cpu 2024-10-13 08:38:13 +00:00
3437e856be add more register stuff
programmerjake pushed to master at libre-chip/cpu 2024-10-12 00:34:33 +00:00
1a44fcc609 update fayalite dependency
4c3dd128a3 WIP: adding micro ops
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-12 00:31:36 +00:00
d0229fbcfb get #[hdl] struct S<A: KnownSize, B: KnownSize> to work
programmerjake pushed to master at libre-chip/fayalite 2024-10-11 06:35:39 +00:00
4909724995 add more thorough checks that bounds are properly handled on #[hdl] structs
programmerjake pushed to master at libre-chip/fayalite 2024-10-11 05:59:19 +00:00
d0694cbd52 add disabled test for #[hdl] struct S4<W: KnownSize, W2: KnownSize> which type errors
programmerjake pushed to master at libre-chip/fayalite 2024-10-11 03:54:08 +00:00
1a2149b040 silence warnings for field names that start with _
programmerjake pushed to master at libre-chip/fayalite 2024-10-11 03:48:42 +00:00
59cef3f398 add PhantomData as a hdl bundle