Actions - libre-chip/cpu - Libre-Chip.org

update fayalite to speed up big formal proofs

test.yml #127 -Commit 51d71c56f6 pushed by programmerjake

#15

2026-06-15 02:37:56 +00:00

10m59s

update generated vcd

test.yml #126 -Commit 999860b507 pushed by programmerjake

#15

2026-06-14 09:10:47 +00:00

22m40s

formal proof works! also add test_power_isa_add_sim

test.yml #125 -Commit ef30d325d5 pushed by programmerjake

#15

2026-06-06 03:09:37 +00:00

22m22s

WIP: add test_power_isa_add_sim

test.yml #124 -Commit 9cc556c988 pushed by programmerjake

#15

2026-06-05 10:13:15 +00:00

1h35m8s

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

test.yml #123 -Commit 241255e12c pushed by programmerjake

#15

2026-06-02 11:38:04 +00:00

2h58m42s

added test::decode_and_run_single_insn and tests/units_formal, the new test takes a long time to run so idk if it works

test.yml #122 -Commit 93e948115d pushed by programmerjake

#15

2026-06-01 08:14:20 +00:00

3m1s

unit::alu_branch::compare: implement CmpRBOne/CmpRBTwo/CmpEqB

test.yml #121 -Commit 7acfaebfde pushed by programmerjake

master

2026-05-29 02:30:02 +00:00

6m50s

unit::alu_branch::compare: implement CmpRBOne/CmpRBTwo/CmpEqB

test.yml #120 -Commit 7acfaebfde pushed by programmerjake

#14

2026-05-29 02:22:30 +00:00

5m56s

redo ShiftRotateMOp and write actual operation definition in doc comment

test.yml #119 -Commit 7481d079d5 pushed by programmerjake

#14

2026-05-28 08:51:43 +00:00

6m57s

unit::alu_branch: convert *MOp functions to hdl_module

test.yml #118 -Commit a3898e8c13 pushed by programmerjake

#14

2026-05-27 03:19:00 +00:00

6m56s

unit::alu_branch: implement for LogicalFlagsMOp

test.yml #117 -Commit b25448a275 pushed by programmerjake

#14

2026-05-26 06:50:17 +00:00

6m41s

unit::alu_branch: implement for LogicalFlagsMOp

test.yml #116 -Commit 3bff2bd224 pushed by programmerjake

#14

2026-05-26 06:40:26 +00:00

4m40s

make Unit API work with rename_execute_retire and add a rename_execute_retire test using unit::alu_branch

test.yml #115 -Commit 7151841af5 pushed by programmerjake

master

2026-05-25 05:58:58 +00:00

7m11s

make Unit API work with rename_execute_retire and add a rename_execute_retire test using unit::alu_branch

test.yml #114 -Commit 7151841af5 pushed by programmerjake

#13

2026-05-25 05:36:42 +00:00

6m14s

rename_execute_retire: add reference counting for L1 registers

test.yml #113 -Commit 151683fbda pushed by programmerjake

master

2026-05-22 07:05:35 +00:00

7m20s

rename_execute_retire: add reference counting for L1 registers

test.yml #112 -Commit 151683fbda pushed by programmerjake

#12

2026-05-22 06:48:42 +00:00

6m29s

rename_execute_retire: add reference counting for L2 registers

test.yml #111 -Commit e0dc5d486b pushed by programmerjake

#12

2026-05-22 04:13:14 +00:00

6m3s

move RenameTable and ReorderBuffer into their own mods and add reference counting for l2 registers

test.yml #110 -Commit b956a68724 pushed by programmerjake

#12

2026-05-22 03:34:58 +00:00

6m1s

implement register fences and use for L2 reg file writes and when running out of L2 reg file output regs

test.yml #109 -Commit bf2cb688c7 pushed by programmerjake

#12

2026-05-22 00:32:46 +00:00

6m25s

WIP fixing deadlock when running rename_execute_retire_save_restore_gprs

test.yml #108 -Commit ed331a3a96 pushed by programmerjake

#12

2026-05-21 06:44:32 +00:00

6m1s

rename_execute_retire: generate l2 stores earlier to make more space in units to increase throughput

test.yml #107 -Commit 6026df8d7a pushed by programmerjake

#12

2026-05-21 00:55:07 +00:00

5m45s

tests/rename_execute_retire: add and use mock_combinational_unit

test.yml #106 -Commit 0d69666b00 pushed by programmerjake

#12

2026-05-20 02:40:34 +00:00

6m19s

tests/rename_execute_retire: make loads/stores take more than one cycle to execute

test.yml #105 -Commit 2363e65564 pushed by programmerjake

#12

2026-05-20 01:15:16 +00:00

6m19s

rename_execute_retire: add a `head -n1` test

test.yml #104 -Commit 79ac190093 pushed by programmerjake

#12

2026-05-19 05:32:12 +00:00

9m26s

add TraceAsString around instructions and stuff to make the .vcd files much smaller and easier to read

test.yml #103 -Commit 0d3c41fa14 pushed by programmerjake

#12

2026-05-15 05:45:57 +00:00

5m45s

WIP: updating for fayalite/redo-trace-as-string

test.yml #102 -Commit 4bfb20d1b0 pushed by programmerjake

#12

2026-05-14 06:35:36 +00:00

22s

rename_execute_retire: implement generating L2 reg file writes

test.yml #101 -Commit 3fbdab0862 pushed by programmerjake

#12

2026-05-11 06:52:04 +00:00

12m14s

WIP adding new test for L2 reg file store

test.yml #100 -Commit 04e924460a pushed by programmerjake

#12

2026-05-09 03:29:49 +00:00

5m42s

WIP adding new test for L2 reg file store

test.yml #99 -Commit 3300e7ca01 pushed by programmerjake

#12

2026-05-08 04:50:35 +00:00

5m45s

WIP adding new test for L2 reg file store

test.yml #98 -Commit fca2ff8c91 pushed by programmerjake

#12

2026-05-07 03:17:52 +00:00

5m23s