Workflow runs · asymptotic-code/integer-library · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

13 workflow runs

13 workflow runs

skip i64/i128 shl specs. Sui-Prover Test Action #19: Commit f0da3de pushed by andreistefanescu

9m 9s main

9m 9s

update shl params. Sui-Prover Test Action #18: Commit 4669a4c pushed by andreistefanescu

21m 36s main

21m 36s

Update to the latest std::integer. Sui-Prover Test Action #17: Commit 9b29a01 pushed by andreistefanescu

6m 47s main

6m 47s

updated shl params Sui-Prover Test Action #16: Commit fb78137 pushed by andrii-a8c

5m 6s main

5m 6s

feat: added boogie option to shl Sui-Prover Test Action #15: Commit 3d87443 pushed by andrii-a8c

41s main

41s

feat: update boogie opt for some specs Sui-Prover Test Action #14: Commit dc1c3a5 pushed by andrii-a8c

58s main

58s

feat: boogie opts updates Sui-Prover Test Action #13: Commit 581aabc pushed by andrii-a8c

11m 25s main

11m 25s

feat: threshold change Sui-Prover Test Action #12: Commit a68ff1a pushed by andrii-a8c

11m 36s main

11m 36s

feat: specs params improves Sui-Prover Test Action #11: Commit a064e9a pushed by andrii-a8c

6m 46s main

6m 46s

feat: added more eager flags Sui-Prover Test Action #10: Commit 49976bb pushed by andrii-a8c

14m 9s main

14m 9s

feat: removed lazy as default Sui-Prover Test Action #9: Commit 47c13aa pushed by andrii-a8c

10m 18s main

10m 18s

lo_spec patch Sui-Prover Test Action #8: Commit 46ab6b6 pushed by andrii-a8c

14m 27s main

14m 27s

feat: added extras Sui-Prover Test Action #7: Commit 0ddd794 pushed by andrii-a8c

10m 11s main

10m 11s