programmerjake

programmerjake pushed to cmp_eq-opts at programmerjake/fayalite

2026-06-13 02:59:09 +00:00

b0e7873a17 add BoolFixedPointSolver

programmerjake pushed to cmp_eq-opts at programmerjake/fayalite

2026-06-12 03:56:49 +00:00

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 2 commits »

programmerjake pushed to cmp_eq-opts at programmerjake/fayalite

2026-06-11 08:57:02 +00:00

30ffd009f6 WIP: fix simulator StructuralEq of enums

programmerjake pushed to cmp_eq-opts at programmerjake/fayalite

2026-06-11 08:27:08 +00:00

4bd6db3de8 add deduce_structural_eq_flags transform

programmerjake pushed to cmp_eq-opts at programmerjake/fayalite

2026-06-10 08:25:13 +00:00

af0f1f608a WIP add deduce_structural_eq_flags transform

98e7e91fc9 fayalite::expr::ops: add and automatically generate ops::StructuralEq

Compare 2 commits »

programmerjake created pull request libre-chip/fayalite#78

2026-06-09 07:19:33 +00:00

WIP: optimize cmp_eq of enums

programmerjake created branch cmp_eq-opts in programmerjake/fayalite

2026-06-09 07:12:29 +00:00

programmerjake pushed to cmp_eq-opts at programmerjake/fayalite

2026-06-09 07:12:29 +00:00

80a11ec1c2 fayalite::expr::ops: add and automatically generate ops::StructuralEq

ffca1a279d switch ready_valid::queue formal proofs to use formal_global_clock

d4d9706798 reimplement fayalite::formal and add support to the simulator

5d68885eaf fayalite::testing: add checked_vcd_output!()

31353862ce fayalite/src/module: check that expressions are visible where they are used, e.g. erroring when a wire is inside an if but used outside.

Compare 10 commits »

programmerjake pushed to decode-and-test-harness at programmerjake/cpu

2026-06-06 02:47:13 +00:00

ef30d325d5 formal proof works! also add test_power_isa_add_sim

programmerjake pushed to decode-and-test-harness at programmerjake/cpu

2026-06-05 08:38:06 +00:00

9cc556c988 WIP: add test_power_isa_add_sim

1bc59716c5 tests/units_formal::test_power_isa_add_formal: formal proof actually starts, though it fails BMC

70bd4ae851 update fayalite

Compare 3 commits »

programmerjake merged pull request libre-chip/fayalite#77

2026-06-05 08:08:47 +00:00

reimplement fayalite::formal and add support to the simulator

programmerjake pushed to master at libre-chip/fayalite

2026-06-05 08:08:47 +00:00

ffca1a279d switch ready_valid::queue formal proofs to use formal_global_clock

d4d9706798 reimplement fayalite::formal and add support to the simulator

5d68885eaf fayalite::testing: add checked_vcd_output!()

Compare 3 commits »

programmerjake deleted branch simulate-formal-inputs from programmerjake/fayalite

2026-06-05 08:08:47 +00:00

programmerjake pushed to simulate-formal-inputs at programmerjake/fayalite

2026-06-05 07:57:22 +00:00

ffca1a279d switch ready_valid::queue formal proofs to use formal_global_clock

d4d9706798 reimplement fayalite::formal and add support to the simulator

Compare 2 commits »

programmerjake created pull request libre-chip/fayalite#77

2026-06-05 07:48:57 +00:00

reimplement fayalite::formal and add support to the simulator

programmerjake pushed to simulate-formal-inputs at programmerjake/fayalite

2026-06-05 07:47:46 +00:00

e7ee1e862e switch ready_valid::queue formal proofs to use formal_global_clock

5c594cbb68 reimplement fayalite::formal and add support to the simulator

Compare 2 commits »

programmerjake pushed to simulate-formal-inputs at programmerjake/fayalite

2026-06-05 07:43:25 +00:00

de548ba7ca switch ready_valid::queue formal proofs to use formal_global_clock

b0a17bdbe2 reimplement fayalite::formal and add support to the simulator

5d68885eaf fayalite::testing: add checked_vcd_output!()

Compare 3 commits »

programmerjake pushed to simulate-formal-inputs at programmerjake/fayalite

2026-06-05 07:27:27 +00:00

e4b886b9b4 reimplement fayalite::formal and add support to the simulator

programmerjake pushed to simulate-formal-inputs at programmerjake/fayalite

2026-06-05 03:12:00 +00:00

1d218887aa WIP: reimplement fayalite::formal and add support to the simulator

programmerjake pushed to simulate-formal-inputs at programmerjake/fayalite

2026-06-05 03:10:04 +00:00

3c8897c890 WIP: reimplement fayalite::formal and add support to the simulator