programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
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
programmerjake pushed to master at libre-chip/fayalite 2024-10-03 07:35:54 +00:00
1c63a441a9 add needed tools to CI
0cf01600b3 add mod formal and move assert/assume/cover stuff to it
f3d6528f5b make annotations easier to use
f35d88d2bb remove unused valueless.rs
e8c393f3bb sort pub mod items
Compare 5 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-02 01:33:58 +00:00
d0b406d288 add more annotation kinds
2a25dd9d7b fix annotations getting lost
6e0b6c000d remove stray debugging prints
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-01 07:08:48 +00:00
d089095667 change default to --simplify-enums=replace-with-bundle-of-uints
9d66fcc548 improve ExportOptions support in assert_export_firrtl!
186488a82e remove FIXME now that simplify_enums is fixed
Compare 3 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-10-01 05:34:53 +00:00
edcea1adc3 add firrtl comments when connecting expressions with different types
30a38bc8da fix simplify_enums to properly handle nested enums and connects with different types
1e2831da47 add validation of connects and matches when validating module
d2ba313f0f fix simplify_memories trying to connect Bool with UInt
Compare 4 commits »