programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
3
 Projects Packages Public activity Starred repositories
programmerjake deleted branch fix-sint-for_value from libre-chip/fayalite 2024-11-27 00:43:30 +00:00
programmerjake created repository programmerjake/fayalite 2024-11-27 00:42:01 +00:00
programmerjake closed issue libre-chip/fayalite#4 2024-11-27 00:38:38 +00:00
Incorrect number of bits for signed range
programmerjake pushed to master at libre-chip/fayalite 2024-11-27 00:38:38 +00:00
c45624e3c2 Fix SInt::for_value not accounting for sign bit for positive values
programmerjake automatically merged pull request libre-chip/fayalite#5 2024-11-27 00:38:37 +00:00
programmerjake created pull request libre-chip/fayalite#5 2024-11-27 00:28:52 +00:00
Fix SInt::for_value not accounting for sign bit for positive values
programmerjake created branch fix-sint-for_value in libre-chip/fayalite 2024-11-27 00:28:33 +00:00
programmerjake pushed to fix-sint-for_value at libre-chip/fayalite 2024-11-27 00:28:33 +00:00
c45624e3c2 Fix SInt::for_value not accounting for sign bit for positive values
programmerjake commented on issue libre-chip/fayalite#4 2024-11-27 00:17:59 +00:00
Incorrect number of bits for signed range

thanks! the bug is here, i'll fix it shortly: 3ea0d98924/crates/fayalite/src/int.rs (L476)

programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-26 08:07:26 +00:00
7851bf545c working on deduce_resets.rs
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-25 08:01:27 +00:00
3e3da53bd2 working on deduce_resets
fa50930ff8 update petgraph dependency to include UnionFind::new_set()
Compare 2 commits »
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-24 22:46:47 +00:00
9516fe03a1 increase rust version in CI too
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-24 22:42:54 +00:00
52ab134673 increase rust version to support omitting match arms with uninhabited types
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-24 22:39:56 +00:00
698b8adc23 working on deduce_resets pass
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-24 11:44:54 +00:00
59be3bd645 WIP working on implementing deduce_resets pass
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-23 00:07:44 +00:00
913baa37e9 WIP adding deduce_resets pass
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-21 06:54:26 +00:00
11ddbc43c7 writing VCD for combinatorial circuits works!
c4b5d00419 WIP adding VCD output
09aa9fbc78 wire up simulator trace writing interface
288a6b71b9 WIP adding VCD output
0095570f19 simple combinatorial simulation works!
Compare 14 commits »
programmerjake pushed to master at libre-chip/fayalite 2024-11-21 06:52:55 +00:00
3ea0d98924 always write formal cache json
programmerjake pushed to adding-simulator at libre-chip/fayalite 2024-11-21 06:37:04 +00:00
e2653a3245 writing VCD for combinatorial circuits works!
f8b0ab45b0 WIP adding VCD output
01dafcea0f wire up simulator trace writing interface
18ddab26ba WIP adding VCD output
2842c2839f simple combinatorial simulation works!
Compare 14 commits »
programmerjake commented on pull request libre-chip/fayalite#2 2024-11-20 22:02:13 +00:00
Add test module exercising formal verification.

Thanks!