Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
1,239 workflow runs
1,239 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
refactor(pl): skip as recheckable per-logic rules Build documentation #1241: Pull request #1158 opened by strub
7m 5s pl/skip
pl/skip
7m 5s
feat(pl): recheckable proof-nodes for program-logic rules Build documentation #1240: Pull request #1154 synchronize by strub
14m 32s pl/recheck-basis
pl/recheck-basis
14m 32s
refactor(pl): seq as recheckable per-logic rules Build documentation #1239: Pull request #1155 synchronize by strub
1s pl/seq
pl/seq
1s
refactor(pl): explicit, recheckable frame rule per logic Build documentation #1238: Pull request #1157 opened by strub
2s pl/frame
pl/frame
2s
refactor(pl): seq as recheckable per-logic rules Build documentation #1237: Pull request #1155 synchronize by strub
7m 17s pl/seq
pl/seq
7m 17s
refactor(pl): seq as recheckable per-logic rules Build documentation #1236: Pull request #1155 synchronize by strub
14m 34s pl/seq
pl/seq
14m 34s
refactor(pl): seq as recheckable per-logic rules Build documentation #1235: Pull request #1155 synchronize by strub
2s pl/seq
pl/seq
2s
feat(pl): recheckable proof-nodes for program-logic rules Build documentation #1234: Pull request #1154 synchronize by strub
7m 27s pl/recheck-basis
pl/recheck-basis
7m 27s
refactor(pl): seq as recheckable per-logic rules Build documentation #1233: Pull request #1155 opened by strub
13m 36s pl/seq
pl/seq
13m 36s
feat(pl): recheckable proof-nodes for program-logic rules Build documentation #1232: Pull request #1154 opened by strub
3s pl/recheck-basis
pl/recheck-basis
3s
phl: migrate seq to the four-layer structure, for every logic Build documentation #1231: Pull request #1152 opened by strub
15m 23s phl/seq
phl/seq
15m 23s
phl: recheckable proof-nodes and the basis of the program-logic refactoring Build documentation #1230: Pull request #1151 opened by strub
7m 15s phl/recheck-basis
phl/recheck-basis
7m 15s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #1229: Pull request #1041 synchronize by strub
5m 50s refactor-pl
refactor-pl
5m 50s
[llm] agent-facing interfaces: interactive REPL and in-binary MCP server Build documentation #1228: Pull request #1019 synchronize by strub
12m 50s llm-interactive
llm-interactive
12m 50s
stdlib: basic commutative algebra Build documentation #1227: Pull request #602 synchronize by strub
6m 2s comm-algebra
comm-algebra
6m 2s
fix(smt): do not wait for provers whose interrupt was lost Build documentation #1226: Commit cdb7f4e pushed by strub
7m 34s main
main
7m 34s
fix(smt): do not wait for provers whose interrupt was lost Build documentation #1225: Pull request #1150 synchronize by strub
7m 2s fix/smt-interrupt-race
fix/smt-interrupt-race
7m 2s
fix(smt): do not wait for provers whose interrupt was lost Build documentation #1224: Pull request #1150 opened by strub
5m 8s fix/smt-interrupt-race
fix/smt-interrupt-race
5m 8s
fix(theories): make Dexcepted phoare bounds SMT-free Build documentation #1223: Commit f5ba044 pushed by strub
11m 24s main
main
11m 24s
fix(theories): make Dexcepted phoare bounds SMT-free Build documentation #1222: Pull request #1149 opened by strub
10m 20s fix/dexcepted-robust
fix/dexcepted-robust
10m 20s
fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) Build documentation #1221: Pull request #1135 synchronize by Yiping106283
11m 6s Yiping106283:fix-phoare-rnd-nonneg
Yiping106283:fix-phoare-rnd-nonneg
11m 6s
fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles Build documentation #1220: Pull request #1143 synchronize by namasikanam
6m 26s fix/eqobs-abs-oracle-glob
fix/eqobs-abs-oracle-glob
6m 26s
fix(fixpoint): matchfix termination check must descend into all call arguments Build documentation #1219: Pull request #1144 synchronize by namasikanam
7m 5s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
7m 5s
fix(fixpoint): matchfix termination check must descend into all call arguments Build documentation #1218: Pull request #1144 synchronize by namasikanam
10m 21s fix/matchfix-sibling-arg-termination
fix/matchfix-sibling-arg-termination
10m 21s
Add support of exception in Hoare logic for command rnd Build documentation #1217: Pull request #1136 synchronize by lyonel2017
1m 9s feature-exception-hl-rnd
feature-exception-hl-rnd
1m 9s