working on reg_alloc -- wire up free_regs_tracker.alloc_out
test.yml #15 -Commit
88eff5952b
pushed by
programmerjake
update to latest fayalite to include bug fix libre-chip/fayalite#16
test.yml #14 -Commit
9781f1f4c5
pushed by
programmerjake
working on reg_alloc -- selected_unit_nums should be correct now
test.yml #13 -Commit
5f7766777a
pushed by
programmerjake
update to latest version of fayalite
test.yml #12 -Commit
89717f8916
pushed by
programmerjake
start debugging reg_alloc with simulator
test.yml #10 -Commit
12481cfab3
pushed by
programmerjake
update to fayalite commit 9b06019bf54303e51989484a0cfa1641b0e9d543
test.yml #9 -Commit
bf34dee043
pushed by
programmerjake
update to latest fayalite and match rust version
test.yml #8 -Commit
1761d7094e
pushed by
programmerjake
split deps out into separate job with cache and build z3 4.13.3
test.yml #5 -Commit
4c94f5d91a
pushed by
programmerjake
remove now-unnecessary memory-based parallelism limiting
test.yml #4 -Commit
e5f59939cc
pushed by
programmerjake
add formal proof for unit_free_regs_tracker
test.yml #3 -Commit
aaa2cb193e
pushed by
programmerjake