programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake pushed to decode-and-test-harness at programmerjake/cpu 2026-06-18 03:34:14 +00:00
af87d52bf7 tests/units_formal: test more instructions
d38bc786a7 unit::alu_branch::add_sub: bug fix: actually add in carry_in
6ee0d4265c switch to using fayalite version of checked_vcd_output instead of cpu::util
Compare 3 commits »
programmerjake pushed to decode-and-test-harness at programmerjake/cpu 2026-06-17 04:12:03 +00:00
ebd69089c5 tests/units_formal: prove more addition instructions -- [p]addi and add[c][o][.]
programmerjake merged pull request libre-chip/website#4 2026-06-16 15:37:43 +00:00
Programmable Decoder Grant is accepted by NLnet
programmerjake pushed to main at libre-chip/website 2026-06-16 15:37:43 +00:00
9dab02234c Programmable Decoder Grant is accepted by NLnet
programmerjake deleted branch programmable-decoder-accepted-by-nlnet from programmerjake/website 2026-06-16 15:37:43 +00:00
programmerjake created pull request libre-chip/website#4 2026-06-16 15:36:18 +00:00
Programmable Decoder Grant is accepted by NLnet
9dab02234c Programmable Decoder Grant is accepted by NLnet
1247dac200 add OPF_PowerISA_v3.1C.pdf
Compare 2 commits »
programmerjake pushed to decode-and-test-harness at programmerjake/cpu 2026-06-15 02:26:53 +00:00
51d71c56f6 update fayalite to speed up big formal proofs
programmerjake pushed to master at libre-chip/fayalite 2026-06-15 01:54:49 +00:00
bb34aeb7f1 fayalite::build::verilog: tell firtool to only preserve values with significant names
programmerjake deleted branch firtool-preserve-only-significant-names from programmerjake/fayalite 2026-06-15 01:54:49 +00:00
programmerjake automatically merged pull request libre-chip/fayalite#79 2026-06-15 01:54:48 +00:00
programmerjake created pull request libre-chip/fayalite#79 2026-06-15 01:49:58 +00:00
fayalite::build::verilog: tell firtool to only preserve values with significant names
bb34aeb7f1 fayalite::build::verilog: tell firtool to only preserve values with significant names
7ddb4780fa module::transform::deduce_structural_eq_flags: rewrite to use BoolFixedPointSolver for a massive speedup on large inputs
b0e7873a17 add BoolFixedPointSolver
1b16118ce5 deduce_structural_eq_flags: use expressions' literal_bits to improve deduction around cast_bits_to
e2ca80af97 fayalite::sim::compiler: fix compiling StructuralEq work properly on enums where the padding isn't known to be zero
Compare 10 commits »
programmerjake pushed to decode-and-test-harness at programmerjake/cpu 2026-06-14 08:47:59 +00:00
999860b507 update generated vcd
9d9a755d99 update fayalite to get cmp_eq optimizations
Compare 2 commits »
programmerjake pushed to master at libre-chip/fayalite 2026-06-14 08:38:45 +00:00
7ddb4780fa module::transform::deduce_structural_eq_flags: rewrite to use BoolFixedPointSolver for a massive speedup on large inputs
b0e7873a17 add BoolFixedPointSolver
1b16118ce5 deduce_structural_eq_flags: use expressions' literal_bits to improve deduction around cast_bits_to
e2ca80af97 fayalite::sim::compiler: fix compiling StructuralEq work properly on enums where the padding isn't known to be zero
30ffd009f6 WIP: fix simulator StructuralEq of enums
Compare 7 commits »
programmerjake deleted branch cmp_eq-opts from programmerjake/fayalite 2026-06-14 08:38:45 +00:00
programmerjake merged pull request libre-chip/fayalite#78 2026-06-14 08:38:43 +00:00
optimize cmp_eq of enums
programmerjake pushed to cmp_eq-opts at programmerjake/fayalite 2026-06-14 08:33:19 +00:00
7ddb4780fa module::transform::deduce_structural_eq_flags: rewrite to use BoolFixedPointSolver for a massive speedup on large inputs