programmerjake
  • Joined on 2024-07-08
programmerjake pushed to add-let-destructuring at programmerjake/fayalite 2025-02-11 06:50:46 +00:00
86a1bb46be add #[hdl] let destructuring and, while at it, tuple patterns
209d5b5fe1 fix broken doc links
d4ea826051 sim: fix "label address not set" bug when the last Assignment is conditional
404a2ee043 tests/sim: add test_array_rw
e3a2ccd41c properly handle duplicate names in vcd
Compare 10 commits »
programmerjake pushed to master at libre-chip/cpu 2025-02-07 05:32:01 +00:00
294e979848 tests/reg_alloc: remove simulator debug output
programmerjake pushed to master at libre-chip/cpu 2025-02-07 05:29:16 +00:00
7efcd872b5 working on reg_alloc
programmerjake pushed to master at libre-chip/cpu 2025-01-16 03:48:25 +00:00
88eff5952b working on reg_alloc -- wire up free_regs_tracker.alloc_out
programmerjake pushed to master at libre-chip/cpu 2025-01-16 03:15:31 +00:00
9781f1f4c5 update to latest fayalite to include bug fix libre-chip/fayalite#16
programmerjake pushed to master at libre-chip/fayalite 2025-01-16 03:12:06 +00:00
d4ea826051 sim: fix "label address not set" bug when the last Assignment is conditional
programmerjake deleted branch fix_label_address_not_set_bug from programmerjake/fayalite 2025-01-16 03:12:06 +00:00
programmerjake merged pull request libre-chip/fayalite#16 2025-01-16 03:12:04 +00:00
sim: fix "label address not set" bug when the last Assignment is conditional
programmerjake created pull request libre-chip/fayalite#16 2025-01-16 03:07:51 +00:00
sim: fix "label address not set" bug when the last Assignment is conditional
programmerjake created branch fix_label_address_not_set_bug in programmerjake/fayalite 2025-01-16 03:06:35 +00:00
programmerjake pushed to fix_label_address_not_set_bug at programmerjake/fayalite 2025-01-16 03:06:35 +00:00
d4ea826051 sim: fix "label address not set" bug when the last Assignment is conditional
404a2ee043 tests/sim: add test_array_rw
e3a2ccd41c properly handle duplicate names in vcd
3771cea78e Gather the FIFO debug ports in a bundle
dcf865caec Add assertions and debug ports in order for the FIFO to pass induction
Compare 10 commits »
programmerjake pushed to master at libre-chip/cpu 2025-01-13 06:13:15 +00:00
5f7766777a working on reg_alloc -- selected_unit_nums should be correct now
programmerjake deleted branch tests_sim_add_test_array_rw from programmerjake/fayalite 2025-01-13 06:02:21 +00:00
programmerjake pushed to master at libre-chip/fayalite 2025-01-13 06:02:20 +00:00
404a2ee043 tests/sim: add test_array_rw
programmerjake merged pull request libre-chip/fayalite#15 2025-01-13 06:02:20 +00:00
tests/sim: add test_array_rw
programmerjake created pull request libre-chip/fayalite#15 2025-01-13 05:40:16 +00:00
tests/sim: add test_array_rw
programmerjake pushed to tests_sim_add_test_array_rw at programmerjake/fayalite 2025-01-13 05:39:10 +00:00
404a2ee043 tests/sim: add test_array_rw
programmerjake created branch tests_sim_add_test_array_rw in programmerjake/fayalite 2025-01-13 05:37:51 +00:00
programmerjake pushed to tests_sim_add_test_array_rw at programmerjake/fayalite 2025-01-13 05:37:51 +00:00
9e30a58982 tests/sim: add test_array_rw
e3a2ccd41c properly handle duplicate names in vcd
3771cea78e Gather the FIFO debug ports in a bundle
dcf865caec Add assertions and debug ports in order for the FIFO to pass induction
31d01046a8 Initial queue formal proof based on one-entry FIFO equivalence
Compare 10 commits »