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