Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,470 workflow runs
1,470 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: circuits for program equiv EasyCrypt compilation & check #3274: Commit 9a0957c pushed by Gustavo2622
September 26, 2024 17:58 9m 49s bdep
bdep
September 26, 2024 17:58 9m 49s
Deploy tc EasyCrypt compilation & check #3273: Pull request #633 opened by strub
September 26, 2024 17:47 43s deploy-tc
deploy-tc
September 26, 2024 17:47 43s
Merge branch 'main' into deploy-tc EasyCrypt compilation & check #3272: Commit dbf6a70 pushed by strub
September 26, 2024 17:46 18m 23s deploy-tc
deploy-tc
September 26, 2024 17:46 18m 23s
[matching]: when crossing a binder, update the env. accordingly EasyCrypt compilation & check #3271: Pull request #632 opened by strub
September 26, 2024 14:28 37s fix-142
fix-142
September 26, 2024 14:28 37s
[matching]: when crossing a binder, update the env. accordingly EasyCrypt compilation & check #3270: Commit 6fd85e8 pushed by strub
September 26, 2024 14:27 10m 3s fix-142
fix-142
September 26, 2024 14:27 10m 3s
Allow generalizing memories EasyCrypt compilation & check #3269: Pull request #631 opened by strub
September 26, 2024 07:14 35s fix-134
fix-134
September 26, 2024 07:14 35s
Allow generalizing memories EasyCrypt compilation & check #3268: Commit 41af6d4 pushed by strub
September 26, 2024 07:13 22m 50s fix-134
fix-134
September 26, 2024 07:13 22m 50s
CI: only for PR & main EasyCrypt compilation & check #3267: Pull request #628 opened by strub
September 25, 2024 20:21 22m 28s ci-not-for-outside-main
ci-not-for-outside-main
September 25, 2024 20:21 22m 28s
user reduction: fix some incompleteness issues EasyCrypt compilation & check #3266: Commit 05ec7e1 pushed by strub
September 25, 2024 20:17 22m 56s ci-not-for-outside-main
ci-not-for-outside-main
September 25, 2024 20:17 22m 56s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3265: Pull request #626 synchronize by strub
September 25, 2024 20:07 32s fix-122
fix-122
September 25, 2024 20:07 32s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3264: Commit ddb848a pushed by strub
September 25, 2024 20:07 22m 56s fix-122
fix-122
September 25, 2024 20:07 22m 56s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3263: Pull request #626 synchronize by strub
September 25, 2024 20:06 32s fix-122
fix-122
September 25, 2024 20:06 32s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3262: Commit 25ddc60 pushed by strub
September 25, 2024 20:06 23m 4s fix-122
fix-122
September 25, 2024 20:06 23m 4s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3261: Pull request #626 synchronize by strub
September 25, 2024 19:55 36s fix-122
fix-122
September 25, 2024 19:55 36s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3260: Commit a4554ac pushed by strub
September 25, 2024 19:55 22m 41s fix-122
fix-122
September 25, 2024 19:55 22m 41s
pretty-printer/parser: improve reparsability of the pretty-printer ou… EasyCrypt compilation & check #3259: Commit 5a36b1b pushed by strub
September 25, 2024 19:21 22m 56s main
main
September 25, 2024 19:21 22m 56s
runtest: properly restore the terminal on (exceptional) exit EasyCrypt compilation & check #3258: Commit d181918 pushed by strub
September 25, 2024 19:16 23m 17s main
main
September 25, 2024 19:16 23m 17s
split SmtMap into SMT Array and finite map EasyCrypt compilation & check #3257: Pull request #605 synchronize by fdupress
September 25, 2024 18:39 32s infinite-arrays
infinite-arrays
September 25, 2024 18:39 32s
split SmtMap into SMT Array and finite map EasyCrypt compilation & check #3256: Commit 7d7719d pushed by fdupress
September 25, 2024 18:39 1m 42s infinite-arrays
infinite-arrays
September 25, 2024 18:39 1m 42s
Bdep EasyCrypt compilation & check #3255: Pull request #603 synchronize by Gustavo2622
September 25, 2024 17:05 38s bdep
bdep
September 25, 2024 17:05 38s
UNTESTED WIP: circuit based mapreduce equivalence EasyCrypt compilation & check #3254: Commit cde22bf pushed by Gustavo2622
September 25, 2024 17:05 10m 10s bdep
bdep
September 25, 2024 17:05 10m 10s
ci: compile with warning as errors EasyCrypt compilation & check #3253: Commit a50c7bd pushed by strub
September 25, 2024 15:52 33s main
main
September 25, 2024 15:52 33s
ci: compile with warning as errors EasyCrypt compilation & check #3252: Pull request #627 opened by strub
September 25, 2024 15:46 36s fix-625
fix-625
September 25, 2024 15:46 36s
ci: compile with warning as errors EasyCrypt compilation & check #3251: Commit 8bd1069 pushed by strub
September 25, 2024 15:45 23m 55s fix-625
fix-625
September 25, 2024 15:45 23m 55s
Fix logical variable shadowing program variables EasyCrypt compilation & check #3250: Pull request #626 opened by strub
September 25, 2024 15:19 30s fix-122
fix-122
September 25, 2024 15:19 30s