programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
2
 Projects Packages Public activity Starred repositories
programmerjake pushed to main at libre-chip/website 2025-06-24 22:57:10 +00:00
b87072562e use libre-chip mirror for CI actions
programmerjake pushed to main at libre-chip/website 2025-06-24 22:53:55 +00:00
9407bdf273 switch chat links to zulip
programmerjake opened issue libre-chip/cpu#1 2025-06-03 22:19:25 +00:00
try out rIC3 for SymbiYosys proofs
programmerjake pushed to master at libre-chip/server-setup 2025-04-22 06:20:15 +00:00
c83861353d upgrade forgejo to 11.x LTS
programmerjake pushed to master at libre-chip/server-setup 2025-04-22 05:26:10 +00:00
30117e2c51 upgrade mail server to v0.11.7
programmerjake deleted branch actually-test-always-zero-hasher from programmerjake/fayalite 2025-04-10 04:24:57 +00:00
programmerjake pushed to master at libre-chip/fayalite 2025-04-10 04:24:56 +00:00
668e714dc9 actually test always_zero hasher
programmerjake merged pull request libre-chip/fayalite#33 2025-04-10 04:24:55 +00:00
actually test always_zero hasher
programmerjake created pull request libre-chip/fayalite#33 2025-04-10 04:13:27 +00:00
actually test always_zero hasher
programmerjake created branch actually-test-always-zero-hasher in programmerjake/fayalite 2025-04-10 04:12:17 +00:00
668e714dc9 actually test always_zero hasher
88323a8c16 run some tests with always_zero hasher
91e1b619e8 switch to petgraph 0.8.1 now that my PR was merged and released to crates.io
e2d2d4110b upgrade hashbrown to 0.15.2
b1f9706e4e add custom hasher for testing
Compare 10 commits »
programmerjake pushed to master at libre-chip/fayalite 2025-04-10 04:10:18 +00:00
88323a8c16 run some tests with always_zero hasher
91e1b619e8 switch to petgraph 0.8.1 now that my PR was merged and released to crates.io
e2d2d4110b upgrade hashbrown to 0.15.2
b1f9706e4e add custom hasher for testing
4eda4366c8 check types in debug mode in impl Debug for Expr, helping to catch bugs
Compare 11 commits »
programmerjake deleted branch switch-to-upstream-petgraph from programmerjake/fayalite 2025-04-10 04:10:18 +00:00
programmerjake merged pull request libre-chip/fayalite#32 2025-04-10 04:10:17 +00:00
switch to upstream petgraph 0.8.1
programmerjake pushed to switch-to-upstream-petgraph at programmerjake/fayalite 2025-04-10 04:04:28 +00:00
88323a8c16 run some tests with always_zero hasher
programmerjake created pull request libre-chip/fayalite#32 2025-04-10 03:56:35 +00:00
switch to upstream petgraph 0.8.1
programmerjake created branch switch-to-upstream-petgraph in programmerjake/fayalite 2025-04-10 03:51:04 +00:00
programmerjake pushed to switch-to-upstream-petgraph at programmerjake/fayalite 2025-04-10 03:51:04 +00:00
91e1b619e8 switch to petgraph 0.8.1 now that my PR was merged and released to crates.io
e2d2d4110b upgrade hashbrown to 0.15.2
b1f9706e4e add custom hasher for testing
4eda4366c8 check types in debug mode in impl Debug for Expr, helping to catch bugs
122c08d3cf add fake which for miri
Compare 10 commits »
programmerjake merged pull request libre-chip/fayalite#31 2025-04-09 05:08:57 +00:00
fix [SU]IntValue's PartialEq for interning
programmerjake pushed to master at libre-chip/fayalite 2025-04-09 05:08:57 +00:00
5967e812a2 fix [SU]IntValue's PartialEq for interning