EasyCrypt CI

Workflow runs for EasyCrypt CI

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

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

  Oct 20, 202634m 29s
  More actions for workflow run 5900

• fix(doc): sync the Pygments lexer with ecLexer.mll

  requires action with the application:
  EasyCrypt CI#5899:Pull request#1212openedbyathexweb3
  athexweb3:fix/doc-lexer

  Oct 19, 2026Action required
  More actions for workflow run 5899

• feat(compile): memory statistics in -tstats

  completed successfully:
  EasyCrypt CI#5898:Commita2cd7bfpushedbystrub
  main

  Oct 19, 202635m 27s
  More actions for workflow run 5898

• [docker] add new z3 and cvc5 minors

  completed successfully:
  EasyCrypt CI#5897:Commit859766epushedbyfdupress
  latest

  Oct 17, 202645m 34s
  More actions for workflow run 5897

• [docker] add new z3 and cvc5 minors

  completed successfully:
  EasyCrypt CI#5896:Commit859766epushedbyfdupress
  release

  Oct 17, 202640m 7s
  More actions for workflow run 5896

• [docker] add new z3 and cvc5 minors

  completed successfully:
  EasyCrypt CI#5895:Commit859766epushedbyfdupress
  r2026.10

  Oct 17, 202650m 2s
  More actions for workflow run 5895

• Fixed compiling errors in Xreal

  failed:
  EasyCrypt CI#5894:Pull request#1211openedbyStefanoGalligani
  StefanoGalligani:expectation-form

  Oct 16, 202631m 18s
  More actions for workflow run 5894

• [docker] add new z3 and cvc5 minors

  completed successfully:
  EasyCrypt CI#5893:Commit859766epushedbyfdupress
  main

  Oct 16, 202645m 19s
  More actions for workflow run 5893

• [docker] add new z3 and cvc5 minors

  completed successfully:
  EasyCrypt CI#5892:Pull request#1210synchronizebyfdupress
  docker-update-provers

  Oct 15, 202631m 6s
  More actions for workflow run 5892

• [docker] add new z3 and cvc5 minors

  completed successfully:
  EasyCrypt CI#5891:Pull request#1210openedbyfdupress
  docker-update-provers

  Oct 15, 202631m 22s
  More actions for workflow run 5891

• fix(clone): no quadratic check of proved lemmas in theory overrides

  completed successfully:
  EasyCrypt CI#5890:Commitabca2a3pushedbystrub
  main

  Oct 14, 202638m 15s
  More actions for workflow run 5890

• feat(compile): memory statistics in -tstats

  completed successfully:
  EasyCrypt CI#5889:Pull request#1209openedbystrub
  feat/tstats-gc

  Oct 14, 202630m 53s
  More actions for workflow run 5889

• fix(clone): no quadratic check of proved lemmas in theory overrides

  completed successfully:
  EasyCrypt CI#5888:Pull request#1208openedbystrub
  fix/clone-override-quadratic

  Oct 14, 202628m 58s
  More actions for workflow run 5888

• stdlib: basic commutative algebra

  completed successfully:
  EasyCrypt CI#5887:Pull request#602synchronizebystrub
  comm-algebra

  Oct 14, 202628m 22s
  More actions for workflow run 5887

• fix(clone): theory overrides of nested or overlapping theories

  completed successfully:
  EasyCrypt CI#5886:Commit420c259pushedbystrub
  main

  Oct 14, 202652m 14s
  More actions for workflow run 5886

• fix(clone): theory overrides of nested or overlapping theories

  completed successfully:
  EasyCrypt CI#5885:Pull request#1207synchronizebystrub
  fix/clone-theory-override

  Oct 14, 202626m 33s
  More actions for workflow run 5885

• fix(clone): theory overrides of nested or overlapping theories

  completed successfully:
  EasyCrypt CI#5884:Pull request#1207openedbystrub
  fix/clone-theory-override

  Oct 14, 202631m 45s
  More actions for workflow run 5884

• New version of xsum

  failed:
  EasyCrypt CI#5883:Pull request#1206openedbyStefanoGalligani
  StefanoGalligani:expectation-form

  Oct 12, 202632m 22s
  More actions for workflow run 5883

• stdlib: basic commutative algebra

  completed successfully:
  EasyCrypt CI#5882:Pull request#602synchronizebystrub
  comm-algebra

  Oct 9, 20261h 44m 56s
  More actions for workflow run 5882

• [llm] agent-facing interfaces: interactive REPL and in-binary MCP server

  completed successfully:
  EasyCrypt CI#5881:Pull request#1019synchronizebystrub
  llm-interactive

  Oct 9, 202627m 16s
  More actions for workflow run 5881

• refactor(pl): seq as recheckable per-logic rules

  completed successfully:
  EasyCrypt CI#5880:Pull request#1155synchronizebystrub
  pl/seq

  Oct 9, 20268s
  More actions for workflow run 5880

• refactor(pl): looptx as program transformations

  completed successfully:
  EasyCrypt CI#5879:Pull request#1184synchronizebystrub
  pl/looptx

  Oct 9, 202612s
  More actions for workflow run 5879

• refactor(pl): inline as program transformations

  completed successfully:
  EasyCrypt CI#5878:Pull request#1182synchronizebystrub
  pl/inline

  Oct 9, 20269s
  More actions for workflow run 5878

• refactor(pl): fel as a recheckable rule

  completed successfully:
  EasyCrypt CI#5877:Pull request#1194synchronizebystrub
  pl/fel

  Oct 9, 20267s
  More actions for workflow run 5877

• refactor(pl): true, zero and exfalso as recheckable per-logic rules

  completed successfully:
  EasyCrypt CI#5876:Pull request#1159synchronizebystrub
  pl/true-zero-exfalso

  Oct 9, 20269s
  More actions for workflow run 5876