Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,542 workflow runs
1,542 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
stdlib: basic commutative algebra Build documentation #1544: Pull request #602 synchronize by strub
15m 11s comm-algebra
comm-algebra
15m 11s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1543: Pull request #1019 synchronize by strub
10m 10s llm-interactive
llm-interactive
10m 10s
refactor(pl): seq as recheckable per-logic rules Build documentation #1542: Pull request #1155 synchronize by strub
10m 56s pl/seq
pl/seq
10m 56s
refactor(pl): looptx as program transformations Build documentation #1541: Pull request #1184 synchronize by strub
6s pl/looptx
pl/looptx
6s
refactor(pl): inline as program transformations Build documentation #1540: Pull request #1182 synchronize by strub
2s pl/inline
pl/inline
2s
refactor(pl): fel as a recheckable rule Build documentation #1539: Pull request #1194 synchronize by strub
1s pl/fel
pl/fel
1s
refactor(pl): if/match/case on the conditional alone, with pushes Build documentation #1538: Pull request #1174 synchronize by strub
2s pl/cond
pl/cond
2s
refactor(pl): true, zero and exfalso as recheckable per-logic rules Build documentation #1537: Pull request #1159 synchronize by strub
1s pl/true-zero-exfalso
pl/true-zero-exfalso
1s
refactor(pl): prrw as a recheckable rule Build documentation #1536: Pull request #1199 synchronize by strub
6s pl/prrw
pl/prrw
6s
refactor(pl): rnd and rndsem as recheckable per-logic rules Build documentation #1535: Pull request #1164 synchronize by strub
4s pl/rnd
pl/rnd
4s
refactor(pl): sp as recheckable per-logic rules Build documentation #1534: Pull request #1162 synchronize by strub
3s pl/sp
pl/sp
3s
refactor(pl): proc as recheckable per-logic rules Build documentation #1533: Pull request #1192 synchronize by strub
4s pl/fun
pl/fun
4s
refactor(pl): transitivity as recheckable per-logic rules Build documentation #1532: Pull request #1161 synchronize by strub
2s pl/trans
pl/trans
2s
refactor(pl): proc rewrite / change as program transformations Build documentation #1531: Pull request #1186 synchronize by strub
2s pl/rewrite
pl/rewrite
2s
refactor(pl): codetx as program transformations Build documentation #1530: Pull request #1183 synchronize by strub
2s pl/codetx
pl/codetx
2s
refactor(pl): symmetry as recheckable per-logic rules Build documentation #1529: Pull request #1160 synchronize by strub
3s pl/sym
pl/sym
3s
refactor(pl): call as recheckable per-logic rules Build documentation #1528: Pull request #1198 synchronize by strub
2s pl/call
pl/call
2s
refactor(pl): proc rewrite / change as program transformations Build documentation #1527: Pull request #1186 synchronize by strub
2s pl/rewrite
pl/rewrite
2s
refactor(pl): swap as program transformations Build documentation #1526: Pull request #1181 synchronize by strub
2s pl/swap
pl/swap
2s
refactor(pl): call as recheckable per-logic rules Build documentation #1525: Pull request #1198 synchronize by strub
2s pl/call
pl/call
2s
feat(pl): recheckable proof-nodes for program-logic rules Build documentation #1524: Pull request #1154 synchronize by strub
6s pl/recheck-basis
pl/recheck-basis
6s
refactor(pl): rnd and rndsem as recheckable per-logic rules Build documentation #1523: Pull request #1164 synchronize by strub
3s pl/rnd
pl/rnd
3s
refactor(pl): upto as recheckable per-logic rules Build documentation #1522: Pull request #1195 synchronize by strub
1s pl/upto
pl/upto
1s
refactor(pl): skip as recheckable per-logic rules Build documentation #1521: Pull request #1158 synchronize by strub
3s pl/skip
pl/skip
3s
refactor(pl): one transformation rule per logic, plus a catalogue Build documentation #1520: Pull request #1172 synchronize by strub
3s pl/transform
pl/transform
3s