programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
2
 Projects Packages Public activity Starred repositories
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 »
programmerjake pushed to master at libre-chip/fayalite 2024-10-05 00:10:22 +00:00
ec77559e2b fix cache action name
programmerjake pushed to master at libre-chip/fayalite 2024-10-05 00:04:57 +00:00
b7f1101164 reduce parallelism to fit within the number of available cpus even when running sby in prove mode (which likes to run 2 smt solvers in parallel)
programmerjake pushed to master at libre-chip/fayalite 2024-10-04 08:03:55 +00:00
487af07154 yosys build runs out of memory
programmerjake pushed to master at libre-chip/fayalite 2024-10-04 06:40:56 +00:00
c0d4de56a9 try to make yosys build faster
programmerjake pushed to master at libre-chip/fayalite 2024-10-04 06:37:07 +00:00
9f154e6b96 try caching ccache manually
programmerjake pushed to master at libre-chip/fayalite 2024-10-04 06:08:41 +00:00
0d54b9a2a9 queue formal proof passes!
343805f80b fix #[hdl] to work with unusual identifier hygiene from macros
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 08:44:37 +00:00
15a28aa7a7 install python3-click -- needed by symbiyosys
4084a70485 switch default solver to z3
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 08:08:33 +00:00
3e2fb9b94f WIP getting queue formal to pass -- passes for capacity <= 2
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 08:01:40 +00:00
bc26fe32fd add ccache and clean up deps
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 07:44:28 +00:00
eb65bec26e add yosys deps
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 07:39:39 +00:00
4497f09ea0 fix wrong build steps