 Jacob Lifshay
|
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 |
|
|
Jacob Lifshay
|
7efcd872b5
|
working on reg_alloc
/ deps (push) Successful in 19s
/ test (push) Successful in 26m12s
|
2025-02-06 21:28:30 -08:00 |
|
|
Jacob Lifshay
|
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 |
|
|
Jacob Lifshay
|
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 |
|
|
Jacob Lifshay
|
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 |
|
|
Jacob Lifshay
|
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 |
|
|
Jacob Lifshay
|
b51109f4f6
|
WIP implementing reg_alloc
/ deps (push) Successful in 18s
/ test (push) Successful in 25m30s
|
2024-11-05 17:34:31 -08:00 |
|
|
Jacob Lifshay
|
a305ad51b2
|
reduce formal proof depth to avoid z3 eating all our memory
|
2024-10-15 23:50:51 -07:00 |
|
|
Jacob Lifshay
|
aaa2cb193e
|
add formal proof for unit_free_regs_tracker
/ test (push) Failing after 3h11m43s
|
2024-10-15 02:39:56 -07:00 |
|
|
Jacob Lifshay
|
cb5855589f
|
WIP adding register allocator
/ test (push) Successful in 46m24s
|
2024-10-14 21:20:42 -07:00 |
|
|
Jacob Lifshay
|
d7f62737f2
|
add license headers
|
2024-10-14 16:29:20 -07:00 |
|
|
Jacob Lifshay
|
f65fc1d616
|
add more register stuff
|
2024-10-13 01:41:45 -07:00 |
|
|
Jacob Lifshay
|
4c3dd128a3
|
WIP: adding micro ops
|
2024-10-10 22:57:11 -07:00 |
|
|
Jacob Lifshay
|
0f4f067996
|
start adding cpu data types
|
2024-10-08 20:22:15 -07:00 |
|