|
|
921cddbe06
|
disable tests/reg_alloc.rs for now
/ deps (push) Successful in 17s
/ test (push) Successful in 51m28s
|
2025-03-18 17:26:47 -07:00 |
|
|
|
b9d68c0019
|
WIP: splitting reg_alloc
/ deps (push) Successful in 14s
/ test (push) Failing after 2m7s
|
2025-03-14 18:26:34 -07:00 |
|
|
|
9fa959652e
|
update fayalite
|
2025-03-10 19:50:55 -07:00 |
|
|
|
9199fdf35c
|
add name_mangling_serde crate
|
2025-03-08 22:38:30 -08:00 |
|
|
|
60341e22af
|
WIP: add ArrayVec
/ deps (push) Successful in 11m46s
/ test (push) Successful in 29m15s
|
2025-03-04 00:20:33 -08:00 |
|
|
|
2cfd54ba88
|
update fayalite to latest git
/ deps (push) Successful in 15s
/ test (push) Successful in 27m12s
|
2025-03-03 22:00:11 -08:00 |
|
|
|
ca3bcd7df2
|
switch CI to use mirrors
/ deps (push) Successful in 11m34s
/ test (push) Successful in 27m44s
|
2025-03-02 18:04:09 -08:00 |
|
|
|
518284685f
|
UnitMOp now has L2RegisterFileMOp after renaming and instead has MoveRegMOp before renaming
/ deps (push) Successful in 16s
/ test (push) Successful in 25m54s
|
2025-02-28 17:45:46 -08:00 |
|
|
|
6c91d1b0b0
|
start adding ROB
/ deps (push) Successful in 1m19s
/ test (push) Successful in 26m13s
|
2025-02-27 18:22:01 -08:00 |
|
|
|
4ff75313e7
|
add helper functions for creating instructions
/ deps (push) Successful in 15s
/ test (push) Successful in 26m13s
|
2025-02-23 20:51:44 -08:00 |
|
|
|
5b15f4a6b4
|
runs instructions that read other instructions' outputs
/ deps (push) Successful in 16s
/ test (push) Successful in 25m49s
|
2025-02-23 19:51:45 -08:00 |
|
|
|
3bd5c77a3f
|
unit_base is basically finished, implemented AddSub[I], didn't check any tests yet
/ deps (push) Successful in 54s
/ test (push) Successful in 26m41s
|
2025-02-20 20:24:14 -08:00 |
|
|
|
3f6e5cc600
|
WIP implementing unit_base
/ deps (push) Successful in 17s
/ test (push) Successful in 25m51s
|
2025-02-19 23:54:41 -08:00 |
|
|
|
ece788dda3
|
update fayalite dependency
|
2025-02-16 20:59:02 -08:00 |
|
|
|
2b7e7e4946
|
WIP adding unit input/output values and insn tracking
/ deps (push) Successful in 16s
/ test (push) Successful in 25m56s
|
2025-02-13 20:55:43 -08:00 |
|
|
|
d7818d889c
|
update fayalite dependency
|
2025-02-13 18:52:58 -08:00 |
|
|
|
1084278f34
|
reg_alloc: add writes to rename table
/ deps (push) Successful in 15s
/ test (push) Successful in 26m20s
|
2025-02-11 19:19:06 -08:00 |
|
|
|
64566f718f
|
update fayalite to latest git
|
2025-02-11 16:05:14 -08:00 |
|
|
|
294e979848
|
tests/reg_alloc: remove simulator debug output
/ deps (push) Successful in 11m30s
/ test (push) Successful in 25m47s
|
2025-02-06 21:31:05 -08:00 |
|
|
|
7efcd872b5
|
working on reg_alloc
/ deps (push) Successful in 19s
/ test (push) Successful in 26m12s
|
2025-02-06 21:28:30 -08:00 |
|
|
|
88eff5952b
|
working on reg_alloc -- wire up free_regs_tracker.alloc_out
/ deps (push) Successful in 15s
/ test (push) Successful in 25m37s
|
2025-01-15 19:47:00 -08:00 |
|
|
|
9781f1f4c5
|
update to latest fayalite to include bug fix libre-chip/fayalite#16
/ deps (push) Successful in 14s
/ test (push) Successful in 26m2s
|
2025-01-15 19:14:31 -08:00 |
|
|
|
5f7766777a
|
working on reg_alloc -- selected_unit_nums should be correct now
/ deps (push) Successful in 13s
/ test (push) Successful in 25m48s
|
2025-01-12 22:12:58 -08:00 |
|
|
|
89717f8916
|
update to latest version of fayalite
/ deps (push) Successful in 14s
/ test (push) Successful in 25m30s
|
2025-01-09 23:36:23 -08:00 |
|
|
|
24a8b4b71b
|
update fayalite to latest git
/ deps (push) Successful in 11m31s
/ test (push) Successful in 26m35s
|
2025-01-09 19:39:25 -08:00 |
|
|
|
12481cfab3
|
start debugging reg_alloc with simulator
/ deps (push) Successful in 14s
/ test (push) Successful in 25m15s
|
2024-12-20 00:28:22 -08:00 |
|
|
|
bf34dee043
|
update to fayalite commit 9b06019bf54303e51989484a0cfa1641b0e9d543
/ deps (push) Successful in 13s
/ test (push) Successful in 25m44s
|
2024-12-18 22:36:08 -08:00 |
|
|
|
1761d7094e
|
update to latest fayalite and match rust version
/ deps (push) Successful in 11m31s
/ test (push) Successful in 26m29s
|
2024-12-15 20:32:27 -08:00 |
|
|
|
b51109f4f6
|
WIP implementing reg_alloc
/ deps (push) Successful in 18s
/ test (push) Successful in 25m30s
|
2024-11-05 17:34:31 -08:00 |
|
|
|
1a72425156
|
update fayalite dependency
|
2024-11-05 17:33:24 -08:00 |
|
|
|
265b5a9cec
|
add repository to cache key
/ deps (push) Successful in 11m27s
/ test (push) Successful in 25m54s
|
2024-10-30 20:57:17 -07:00 |
|
|
|
4c94f5d91a
|
split deps out into separate job with cache and build z3 4.13.3
/ deps (push) Successful in 18s
/ test (push) Successful in 25m38s
|
2024-10-16 18:45:18 -07:00 |
|
|
|
e5f59939cc
|
remove now-unnecessary memory-based parallelism limiting
/ test (push) Has started running
|
2024-10-15 23:51:41 -07:00 |
|
|
|
a305ad51b2
|
reduce formal proof depth to avoid z3 eating all our memory
|
2024-10-15 23:50:51 -07:00 |
|
|
|
b54e40561f
|
limit parallelism based on available memory too
|
2024-10-15 21:56:53 -07:00 |
|
|
|
aaa2cb193e
|
add formal proof for unit_free_regs_tracker
/ test (push) Failing after 3h11m43s
|
2024-10-15 02:39:56 -07:00 |
|
|
|
cb5855589f
|
WIP adding register allocator
/ test (push) Successful in 46m24s
|
2024-10-14 21:20:42 -07:00 |
|
|
|
d0aa86e335
|
add forgejo CI
/ test (push) Successful in 46m49s
|
2024-10-14 16:30:55 -07:00 |
|
|
|
d7f62737f2
|
add license headers
|
2024-10-14 16:29:20 -07:00 |
|
|
|
30c02e2b98
|
add scripts/check-copyright.sh
|
2024-10-14 16:25:42 -07:00 |
|
|
|
f65fc1d616
|
add more register stuff
|
2024-10-13 01:41:45 -07:00 |
|
|
|
1a44fcc609
|
update fayalite dependency
|
2024-10-11 17:34:12 -07:00 |
|
|
|
4c3dd128a3
|
WIP: adding micro ops
|
2024-10-10 22:57:11 -07:00 |
|
|
|
0f4f067996
|
start adding cpu data types
|
2024-10-08 20:22:15 -07:00 |
|
