programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
2
 Projects Packages Public activity Starred repositories
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
programmerjake created branch master in libre-chip/cpu 2024-10-09 03:22:39 +00:00
programmerjake pushed to master at libre-chip/cpu 2024-10-09 03:22:39 +00:00
0f4f067996 start adding cpu data types
programmerjake created repository libre-chip/cpu 2024-10-09 03:21:50 +00:00
programmerjake pushed to master at libre-chip/fayalite 2024-10-08 06:32:21 +00:00
bf907c3872 cache results of formal proofs
programmerjake pushed to master at libre-chip/fayalite 2024-10-08 05:07:46 +00:00
99180eb3b4 fix clippy lints in generated code
017c14a2f1 don't use #[allow(..., reason = "...")] since that's not stable yet on rust 1.80.1
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-08 04:49:45 +00:00
ed1aea41f3 clean up some clippy warnings
f12322aa2a remove interning contexts
44ca1a607a remove unused AGCContext
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-08 02:07:34 +00:00
30b9a5e48d change NameId to have an opaque Id so output firrtl doesn't depend on how many modules of the same name were ever created
eed0afc6ab add some utility From<Interned<T>> impls
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-07 03:58:04 +00:00
aec383c0af try to fix ccache
programmerjake pushed to master at libre-chip/fayalite 2024-10-07 03:10:28 +00:00
f403eed7c0 only run tests once, since they are quite slow
2e8b73d2fc rename fire/fire_data to firing/firing_data
e05c368688 change register names to end in _reg by convention
Compare 3 commits »