Skip to content

Actions: succinctlabs/sp1-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow runs
418 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

simpler Jal proof (#65) Lean Action CI #318: Commit efcdaff pushed by dtumad
2m 33s main
main
2m 33s
Simpler Jal proof Lean Action CI #317: Pull request #65 opened by PetarMax
2m 37s petar/jal-proof
petar/jal-proof
2m 37s
streamlined jalr proof (#64) Lean Action CI #316: Commit 5690223 pushed by dtumad
2m 36s main
main
2m 36s
Streamlined jalr proof Lean Action CI #315: Pull request #64 opened by PetarMax
2m 53s petar/jalr-proof
petar/jalr-proof
2m 53s
feat: extract_from_and tactic (#63) Lean Action CI #314: Commit ce57f27 pushed by GZGavinZhao
11m 6s main
main
11m 6s
feat: extract_from_and tactic Lean Action CI #313: Pull request #63 opened by GZGavinZhao
11m 13s gzgz/jj-yrykszlkkqyp
gzgz/jj-yrykszlkkqyp
11m 13s
chore: Cleanup and optimize jumping proofs (#62) Lean Action CI #312: Commit c85970f pushed by dtumad
11m 47s main
main
11m 47s
chore: Cleanup and optimize jumping proofs Lean Action CI #311: Pull request #62 opened by dtumad
12m 4s bitvec-lemma-extraction
bitvec-lemma-extraction
12m 4s
feat: sync constraints for UType (AUIPC/LUI) (#61) Lean Action CI #310: Commit ef35389 pushed by GZGavinZhao
2m 40s main
main
2m 40s
feat: sync constraints for UType (AUIPC/LUI) Lean Action CI #309: Pull request #61 synchronize by GZGavinZhao
2m 12s gzgz/jj-ooxklyuqnpps
gzgz/jj-ooxklyuqnpps
2m 12s
feat: sync constraints for UType (AUIPC/LUI) Lean Action CI #308: Pull request #61 opened by GZGavinZhao
2m 54s gzgz/jj-ooxklyuqnpps
gzgz/jj-ooxklyuqnpps
2m 54s
feat: Finish axiom free JAL and JALR proofs (#58) Lean Action CI #307: Commit 37aac70 pushed by dtumad
11m 21s main
main
11m 21s
chore: cleanup JAL and JALR proofs Lean Action CI #306: Pull request #58 synchronize by dtumad
11m 34s finish-jalr
finish-jalr
11m 34s
fix: corrected JAL assumption with dropped op_c (#60) Lean Action CI #305: Commit 828bd76 pushed by GZGavinZhao
10m 8s main
main
10m 8s
fix: corrected JAL assumption with dropped op_c Lean Action CI #304: Pull request #60 opened by GZGavinZhao
9m 57s gzgz/jj-mtkzqnqyvnwn
gzgz/jj-mtkzqnqyvnwn
9m 57s
feat: trusted instruction assumptions for all opcodes (#59) Lean Action CI #303: Commit 669d393 pushed by GZGavinZhao
10m 9s main
main
10m 9s
feat: trusted instruction assumptions for all opcodes Lean Action CI #302: Pull request #59 synchronize by GZGavinZhao
10m 21s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
10m 21s
chore: cleanup JAL and JALR proofs Lean Action CI #301: Pull request #58 synchronize by dtumad
10m 50s finish-jalr
finish-jalr
10m 50s
chore: cleanup JAL and JALR proofs Lean Action CI #300: Pull request #58 synchronize by dtumad
10m 57s finish-jalr
finish-jalr
10m 57s
feat: trusted instruction assumptions for all opcodes Lean Action CI #299: Pull request #59 synchronize by GZGavinZhao
11m 39s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
11m 39s
feat: trusted instruction assumptions for all opcodes Lean Action CI #298: Pull request #59 synchronize by GZGavinZhao
11m 27s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
11m 27s
feat: trusted instruction assumptions for all opcodes Lean Action CI #297: Pull request #59 synchronize by GZGavinZhao
11m 16s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
11m 16s
feat: trusted instruction assumptions for all opcodes Lean Action CI #296: Pull request #59 synchronize by GZGavinZhao
11m 26s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
11m 26s
feat: trusted instruction assumptions for all opcodes Lean Action CI #295: Pull request #59 synchronize by GZGavinZhao
11m 7s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
11m 7s
feat: trusted instruction assumptions for all opcodes Lean Action CI #294: Pull request #59 synchronize by GZGavinZhao
2m 41s gzgz/all-trusted-instrs
gzgz/all-trusted-instrs
2m 41s