EasyCrypt compilation & check

Workflow runs for EasyCrypt compilation & check

• perf: make require of large section-heavy developments fast

  failed:
  EasyCrypt compilation & check#16:Commit884dad7pushedbyvbgl
  main

  Sep 25, 202646m 55s
  More actions for workflow run 16

• fix(ehoare): reject negative probability bound in byehoare deno

  failed:
  EasyCrypt compilation & check#15:Commit2aaa14apushedbyvbgl
  main

  Sep 5, 202641m 51s
  More actions for workflow run 15

• [docker] provers: bump alt-ergo to 2.6.3

  failed:
  EasyCrypt compilation & check#14:Commiteb58ec7pushedbyvbgl
  main

  May 4, 202615m 17s
  More actions for workflow run 14

• Added prover quorum to project files and command line.

  failed:
  EasyCrypt compilation & check#13:Commit736f20dpushedbyvbgl
  main

  Apr 17, 202614m 43s
  More actions for workflow run 13

• Allow abstract phoare proc on >= 1 bounds and make postcondition side…

  failed:
  EasyCrypt compilation & check#12:Commit83b8f23pushedbyvbgl
  main

  Feb 6, 202623m 8s
  More actions for workflow run 12

• recover UC example

  failed:
  EasyCrypt compilation & check#11:Commit71e7bc9pushedbyvbgl
  main

  Nov 18, 202523m 7s
  More actions for workflow run 11