Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,227 workflow runs
1,227 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
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4994: Pull request #1008 synchronize by fdupress
23m 13s ci-retrieve-base
ci-retrieve-base
23m 13s
[runtest] list failing files EasyCrypt CI #4993: Pull request #1032 synchronize by fdupress
29m 33s runtest-list-errors
runtest-list-errors
29m 33s
[runtest] list failing files EasyCrypt CI #4992: Pull request #1032 opened by fdupress
16m 55s runtest-list-errors
runtest-list-errors
16m 55s
feat(phl): support backward ecall on bdHoare/phoare goals EasyCrypt CI #4991: Pull request #1031 opened by mbbarbosa
54m 25s ecall-phoare-bwd
ecall-phoare-bwd
54m 25s
[distributions] in programmatic list sampling, make the distribution dynamic EasyCrypt CI #4990: Pull request #1030 synchronize by fdupress
25m 0s generalise-dlist-program
generalise-dlist-program
25m 0s
[distributions] in programmatic list sampling, make the distribution dynamic EasyCrypt CI #4989: Pull request #1030 opened by fdupress
29m 40s generalise-dlist-program
generalise-dlist-program
29m 40s
Switch axiom replay to use exact rather than a custom apply variant EasyCrypt CI #4988: Pull request #1029 opened by oskgo
27m 59s simplify-clone-ax-replay
simplify-clone-ax-replay
27m 59s
[cryptolib] generalize PRF definitions, PRP<->PRF EasyCrypt CI #4987: Pull request #1028 opened by fdupress
30m 50s prf-generalise
prf-generalise
30m 50s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4986: Pull request #752 synchronize by Gustavo2622
35m 26s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 26s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4985: Pull request #752 synchronize by Gustavo2622
37m 5s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
37m 5s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4984: Pull request #752 synchronize by Gustavo2622
35m 20s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 20s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4983: Pull request #752 synchronize by Gustavo2622
35m 4s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 4s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4982: Pull request #752 synchronize by Gustavo2622
35m 45s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 45s
Simplify some smt calls EasyCrypt CI #4981: Pull request #1025 opened by oskgo
28m 40s flaky-smt
flaky-smt
28m 40s
Use auto unfold for some Logic operators EasyCrypt CI #4980: Pull request #1014 synchronize by oskgo
27m 55s stdlib-auto-unfold
stdlib-auto-unfold
27m 55s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4979: Pull request #752 synchronize by Gustavo2622
34m 35s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
34m 35s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4978: Pull request #752 synchronize by strub
35m 57s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 57s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4977: Pull request #752 synchronize by strub
35m 42s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 42s
Add named and local simplify hint databases EasyCrypt CI #4976: Pull request #954 synchronize by strub
27m 40s hint-simplify-db
hint-simplify-db
27m 40s
Add named and local simplify hint databases EasyCrypt CI #4975: Pull request #954 synchronize by strub
27m 58s hint-simplify-db
hint-simplify-db
27m 58s
Add named and local simplify hint databases EasyCrypt CI #4974: Pull request #954 synchronize by strub
28m 7s hint-simplify-db
hint-simplify-db
28m 7s
Add named and local simplify hint databases EasyCrypt CI #4973: Pull request #954 synchronize by strub
28m 25s hint-simplify-db
hint-simplify-db
28m 25s
Add named and local simplify hint databases EasyCrypt CI #4972: Pull request #954 synchronize by strub
29m 24s hint-simplify-db
hint-simplify-db
29m 24s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4971: Pull request #752 synchronize by strub
35m 26s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 26s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt CI #4970: Pull request #752 synchronize by strub
38m 13s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
38m 13s