lean

Workflow runs for lean

• Advance soundness proof and close Layer 7 tape reconstruction (#30)

  completed successfully:
  lean#45:Commit53fd5dbpushedbyabiswas3
  main

  Oct 22, 202633m 8s
  More actions for workflow run 45

• Advance soundness proof and close Layer 7 tape reconstruction

  completed successfully:
  lean#44:Pull request#30openedbyabiswas3
  pr/soundness-layer7

  Oct 21, 202622m 39s
  More actions for workflow run 44

• chore(deps): bump github/codeql-action/analyze from 4.38.1 to 4.38.3

  completed successfully:
  lean#43:Pull request#28synchronizebydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action/analyze-4.38.3

  Oct 19, 202627m 31s
  More actions for workflow run 43

• chore(deps): bump leanprover/lean-action from 1.6.1 to 1.6.2 (#29)

  completed successfully:
  lean#42:Commit75c60b1pushedbyabiswas3
  main

  Oct 19, 202628m 25s
  More actions for workflow run 42

• chore(deps): bump leanprover/lean-action from 1.6.1 to 1.6.2

  completed successfully:
  lean#41:Pull request#29openedbydependabot[bot]Bot
  dependabot/github_actions/leanprover/lean-action-1.6.2

  Oct 19, 202627m 50s
  More actions for workflow run 41

• chore(deps): bump github/codeql-action/analyze from 4.38.1 to 4.38.3

  completed successfully:
  lean#40:Pull request#28openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action/analyze-4.38.3

  Oct 19, 202627m 53s
  More actions for workflow run 40

• Trace refactor, expansions, and soundness statement (#26)

  completed successfully:
  lean#39:Commit7c201f1pushedbyabiswas3
  main

  Oct 9, 202623m 12s
  More actions for workflow run 39

• Trace refactor, expansions, and soundness statement

  completed successfully:
  lean#38:Pull request#26synchronizebyabiswas3
  refactor/trace-witness

  Oct 8, 202628m 34s
  More actions for workflow run 38

• Trace refactor, expansions, and soundness statement

  failed:
  lean#37:Pull request#26openedbyabiswas3
  refactor/trace-witness

  Oct 8, 20266s
  More actions for workflow run 37

• chore(deps): bump github/codeql-action/analyze from 4.38.1 to 4.38.2

  failed:
  lean#36:Pull request#24openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action/analyze-4.38.2

  Oct 5, 20266s
  More actions for workflow run 36

• chore(deps): bump github/codeql-action/init from 4.38.1 to 4.38.2

  failed:
  lean#35:Pull request#23openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action/init-4.38.2

  Oct 5, 20265s
  More actions for workflow run 35

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1

  completed successfully:
  lean#34:Pull request#22openedbydependabot[bot]Bot
  dependabot/github_actions/leanprover/lean-action-1.6.1

  Oct 5, 202615m 38s
  More actions for workflow run 34

• refactor: separate constraints from completeness proofs

  completed successfully:
  lean#33:Pull request#21synchronizebyabiswas3
  review/model

  Oct 1, 202625m 17s
  More actions for workflow run 33

• feat: add Rust-aligned ISA and honest-witness constraints (#19)

  completed successfully:
  lean#32:Commit9819877pushedbyabiswas3
  main

  Sep 29, 202623m 5s
  More actions for workflow run 32

• feat: add Rust-aligned ISA and honest-witness constraints

  completed successfully:
  lean#31:Pull request#19openedbyabiswas3
  feat/witness-on-updated-isa

  Sep 29, 202624m 24s
  More actions for workflow run 31

• proof(constraints): prove (39) up to six shift/rotate table lemmas

  completed successfully:
  lean#30:Pull request#17synchronizebyquangvdao
  qvd/lookup-39

  Sep 29, 202623m 49s
  More actions for workflow run 30

• feat(constraints): prove public RAM output constraint (26)

  completed successfully:
  lean#29:Pull request#15synchronizebyquangvdao
  qvd/ram-output-26

  Sep 29, 202617m 59s
  More actions for workflow run 29

• feat(constraints): prove register selection constraints (34)–(36)

  completed successfully:
  lean#28:Pull request#14synchronizebyquangvdao
  qvd/registers-34-36

  Sep 29, 202622m 43s
  More actions for workflow run 28

• fix(trace)!: require only satisfiable row assumptions on JoltTrace

  completed successfully:
  lean#27:Pull request#18openedbyquangvdao
  qvd/trace-assumptions

  Sep 28, 202622m 46s
  More actions for workflow run 27

• proof(constraints): prove (39) up to six shift/rotate table lemmas

  completed successfully:
  lean#26:Pull request#17synchronizebyquangvdao
  qvd/lookup-39

  Sep 28, 202620m 24s
  More actions for workflow run 26

• proof(constraints): prove (39) up to six shift/rotate table lemmas

  completed successfully:
  lean#25:Pull request#17openedbyquangvdao
  qvd/lookup-39

  Sep 28, 202616m 2s
  More actions for workflow run 25

• feat(constraints): prove public RAM output constraint (26)

  completed successfully:
  lean#24:Pull request#15synchronizebyquangvdao
  qvd/ram-output-26

  Sep 28, 202622m 26s
  More actions for workflow run 24

• feat(constraints): prove register selection constraints (34)–(36)

  completed successfully:
  lean#23:Pull request#14synchronizebyquangvdao
  qvd/registers-34-36

  Sep 28, 202616m 45s
  More actions for workflow run 23

• feat(constraints): prove public RAM output constraint (26)

  cancelled:
  lean#22:Pull request#15openedbyquangvdao
  qvd/ram-output-26

  Sep 28, 202620m 21s
  More actions for workflow run 22

• feat(constraints): prove register selection constraints (34)–(36)

  cancelled:
  lean#21:Pull request#14openedbyquangvdao
  qvd/registers-34-36

  Sep 28, 202612m 48s
  More actions for workflow run 21