Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
254 workflow runs
254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix grammar and use of pretty printing blocks for missing constructor error messages Build documentation #254: Pull request #934 opened by alleystoughton
3m 45s fix-matching-error-grammar-pp-block
fix-matching-error-grammar-pp-block
3m 45s
check for memory independence of list in rewrite Pr[mu_has_le] Build documentation #253: Pull request #932 synchronize by strub
7m 42s fix-pr-has
fix-pr-has
7m 42s
check for memory independence of list in rewrite Pr[mu_has_le] Build documentation #252: Pull request #932 synchronize by strub
4m 1s fix-pr-has
fix-pr-has
4m 1s
Fixing issues with the pretty printing of operators relating to parsing Build documentation #251: Commit 491d76b pushed by strub
7m 27s main
main
7m 27s
Allow memory preserving destruction of formulas to yield different ty… Build documentation #250: Commit ab8469c pushed by strub
4m 41s main
main
4m 41s
Allow memory preserving destruction of formulas to yield distinct types Build documentation #249: Pull request #933 opened by oskgo
3m 46s fix-rewrite-pr-unit
fix-rewrite-pr-unit
3m 46s
Fixing two issues with the pretty printing of operators that are not applied to arguments Build documentation #248: Pull request #929 synchronize by alleystoughton
3m 57s op-pretty-printing-fixes
op-pretty-printing-fixes
3m 57s
Fix all FIXME comments in src/ Build documentation #247: Pull request #931 synchronize by Copilot AI
Action required copilot/fix-all-fixme-comments
copilot/fix-all-fixme-comments
Action required
Fix all FIXME comments in src/ Build documentation #246: Pull request #931 synchronize by Copilot AI
Action required copilot/fix-all-fixme-comments
copilot/fix-all-fixme-comments
Action required
check for memory independence of list in rewrite Pr[mu_has_le] Build documentation #245: Pull request #932 opened by oskgo
3m 42s fix-pr-has
fix-pr-has
3m 42s
Fix all FIXME comments in src/ Build documentation #244: Pull request #931 opened by Copilot AI
Action required copilot/fix-all-fixme-comments
copilot/fix-all-fixme-comments
Action required
Fix rewrite Pr [mu1_le_eq_mu1]: add missing memory-independence check Build documentation #243: Pull request #930 synchronize by strub
3m 43s LucianoXu:fix/prrw-memory-independence-check
LucianoXu:fix/prrw-memory-independence-check
3m 43s
Fix rewrite Pr [mu1_le_eq_mu1]: add missing memory-independence check Build documentation #242: Pull request #930 opened by LucianoXu
3m 45s LucianoXu:fix/prrw-memory-independence-check
LucianoXu:fix/prrw-memory-independence-check
3m 45s
Fixing two issues with the pretty printing of operators that are not applied to arguments Build documentation #241: Pull request #929 opened by alleystoughton
3m 48s op-pretty-printing-fixes
op-pretty-printing-fixes
3m 48s
Add check to prevent swapping of exception raises Build documentation #240: Commit 6dbd99d pushed by strub
4m 1s main
main
4m 1s
Add check to prevent swapping of exception raises Build documentation #239: Pull request #927 synchronize by strub
3m 43s fix-exceptions-swap
fix-exceptions-swap
3m 43s
Add check to prevent swapping of exception raises Build documentation #238: Pull request #927 synchronize by strub
4m 53s fix-exceptions-swap
fix-exceptions-swap
4m 53s
Add check to prevent swapping of exception raises Build documentation #237: Pull request #927 synchronize by strub
3m 41s fix-exceptions-swap
fix-exceptions-swap
3m 41s
Add check to prevent swapping of exception raises Build documentation #236: Pull request #927 synchronize by lyonel2017
3m 45s fix-exceptions-swap
fix-exceptions-swap
3m 45s
Add check to prevent swapping of exception raises Build documentation #235: Pull request #927 opened by lyonel2017
3m 49s fix-exceptions-swap
fix-exceptions-swap
3m 49s
Added lemmas proving consequences of a list concatenation being []. Build documentation #234: Commit c807474 pushed by strub
3m 45s main
main
3m 45s
Added lemmas proving consequences of a list concatenation being []. Build documentation #233: Pull request #924 synchronize by strub
3m 41s list-cat-nil-lemmas
list-cat-nil-lemmas
3m 41s
[refold]: allow rigid unification Build documentation #232: Pull request #923 synchronize by strub
3m 38s pose-match-fix
pose-match-fix
3m 38s
[refold]: allow rigid unification Build documentation #231: Pull request #923 synchronize by strub
3m 34s pose-match-fix
pose-match-fix
3m 34s
Added lemmas proving consequences of a list concatenation being []. Build documentation #230: Pull request #924 opened by alleystoughton
3m 55s list-cat-nil-lemmas
list-cat-nil-lemmas
3m 55s