EasyCrypt CI

Workflow runs for EasyCrypt CI

• [documentation]: document seq tactic

  completed successfully:
  EasyCrypt CI#5977:Commit5ffc8ffpushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 202633m 45s
  More actions for workflow run 5977

• EasyCrypt CI

  completed successfully:
  EasyCrypt CI#5976:Merge group checks requested
  Oct 30, 202622m 22s
  More actions for workflow run 5976

• remove parts that are in flux (or might be wrong) due to soundness fixes

  completed successfully:
  EasyCrypt CI#5975:Commitc37f918pushedbyfdupress
  main

  Oct 30, 202632m 46s
  More actions for workflow run 5975

• fix(phl): require the invariant on loop entry in the while variant …

  completed successfully:
  EasyCrypt CI#5974:Commit21d1f1epushedbygithub-merge-queue[bot]Bot
  main

  Oct 30, 202642m 30s
  More actions for workflow run 5974

• EasyCrypt CI

  completed successfully:
  EasyCrypt CI#5973:Merge group checks requested
  Oct 30, 202622m 11s
  More actions for workflow run 5973

• [documentation]: document while tactic

  completed successfully:
  EasyCrypt CI#5972:Pull request#880synchronizebyfdupress
  doc-while-tactic

  Oct 30, 202623m 49s
  More actions for workflow run 5972

• [documentation]: document seq tactic

  completed successfully:
  EasyCrypt CI#5971:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 202624m 23s
  More actions for workflow run 5971

• [documentation]: document seq tactic

  completed successfully:
  EasyCrypt CI#5970:Pull request#879synchronizebyfdupress
  doc-seq-tactic

  Oct 30, 202620m 51s
  More actions for workflow run 5970

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  EasyCrypt CI#5969:Commit76d5c0dpushedbyfdupress
  main

  Oct 30, 202638m 30s
  More actions for workflow run 5969

• [docker] bump z3 5.3.2 to 5.3.3

  completed successfully:
  EasyCrypt CI#5968:Pull request#1225openedbyfdupress
  docker-z3-5.3.3

  Oct 30, 202626m 28s
  More actions for workflow run 5968

• feat(theories): make FinType.card abstract, specified by card_spec

  requires action with the application:
  EasyCrypt CI#5967:Pull request#1224openedbymattc-try
  mattc-try:feat/fintype-abstract-card

  Oct 30, 2026Action required
  More actions for workflow run 5967

• fix(phl): require the invariant on loop entry in the while variant rule

  completed successfully:
  EasyCrypt CI#5966:Pull request#1132synchronizebyYiping106283
  Yiping106283:fix-phoare-while-variant-entry

  Oct 30, 202613m 41s
  More actions for workflow run 5966

• fix(phl): check the bound of the upper-bound while rule on all memories

  completed successfully:
  EasyCrypt CI#5965:Pull request#1130synchronizebyYiping106283
  Yiping106283:fix-phoare-while-le-bound

  Oct 30, 202620m 41s
  More actions for workflow run 5965

• fix(fixpoint): matchfix termination check must descend into all call …

  completed successfully:
  EasyCrypt CI#5964:Commit9eac73fpushedbygithub-merge-queue[bot]Bot
  main

  Oct 29, 202635m 39s
  More actions for workflow run 5964

• EasyCrypt CI

  completed successfully:
  EasyCrypt CI#5963:Merge group checks requested
  Oct 29, 202622m 7s
  More actions for workflow run 5963

• fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles

  failed:
  EasyCrypt CI#5962:Pull request#1143synchronizebynamasikanam
  fix/eqobs-abs-oracle-glob

  Oct 29, 202622m 52s
  More actions for workflow run 5962

• upgrade to why3 1.9.0

  completed successfully:
  EasyCrypt CI#5961:Commit1445c70pushedbygithub-merge-queue[bot]Bot
  main

  Oct 28, 202639m 52s
  More actions for workflow run 5961

• EasyCrypt CI

  completed successfully:
  EasyCrypt CI#5960:Merge group checks requested
  Oct 28, 202623m 2s
  More actions for workflow run 5960

• upgrade to why3 1.9.0

  completed successfully:
  EasyCrypt CI#5959:Pull request#1220synchronizebystrub
  why3-1.9

  Oct 28, 202626m 31s
  More actions for workflow run 5959

• upgrade to why3 1.9.0

  completed successfully:
  EasyCrypt CI#5958:Pull request#1220synchronizebystrub
  why3-1.9

  Oct 28, 202626m 56s
  More actions for workflow run 5958

• perf(smt): no relevance tables when no lemma is to be selected

  completed successfully:
  EasyCrypt CI#5957:Commit7bbf3b0pushedbystrub
  main

  Oct 28, 202648m 26s
  More actions for workflow run 5957

• fix(fixpoint): matchfix termination check must descend into all call arguments

  completed successfully:
  EasyCrypt CI#5956:Pull request#1144synchronizebynamasikanam
  fix/matchfix-sibling-arg-termination

  Oct 28, 202622m 46s
  More actions for workflow run 5956

• perf(smt): no relevance tables when no lemma is to be selected

  completed successfully:
  EasyCrypt CI#5955:Pull request#1221synchronizebystrub
  perf/smt-given-lemmas

  Oct 28, 202622m 38s
  More actions for workflow run 5955

• perf(smt): no relevance tables when no lemma is to be selected

  failed:
  EasyCrypt CI#5954:Pull request#1221synchronizebystrub
  perf/smt-given-lemmas

  Oct 28, 202620m 2s
  More actions for workflow run 5954

• perf(smt): memories as abstract values, local variables as functions …

  completed successfully:
  EasyCrypt CI#5953:Commitc105190pushedbystrub
  main

  Oct 28, 202643m 12s
  More actions for workflow run 5953