Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...

Show workflow options

Create status badge

ci.yml
1,200 workflow runs
1,200 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
[runtest] fix TTY detection EasyCrypt compilation & check #2801: Commit 554909c pushed by strub
May 15, 2024 16:04 2h 6m 48s main
main
May 15, 2024 16:04 2h 6m 48s
Added eq_mod precondition and more general forms, slight refactoring … EasyCrypt compilation & check #2800: Commit b5050a9 pushed by Gustavo2622
May 15, 2024 16:00 2h 5m 15s PolyMicro
PolyMicro
May 15, 2024 16:00 2h 5m 15s
[runtest] fix TTY detection EasyCrypt compilation & check #2799: Pull request #547 opened by fdupress
May 15, 2024 13:10 30s fix-runtest-notty
fix-runtest-notty
May 15, 2024 13:10 30s
[runtest] fix TTY detection EasyCrypt compilation & check #2798: Commit 78d0bd1 pushed by fdupress
May 15, 2024 13:09 2h 13m 34s fix-runtest-notty
fix-runtest-notty
May 15, 2024 13:09 2h 13m 34s
Change axiom eq_choice to lemma EasyCrypt compilation & check #2797: Commit bde8207 pushed by strub
May 15, 2024 08:47 2h 12m 10s main
main
May 15, 2024 08:47 2h 12m 10s
runtest: all to control the number of files checked in parallel EasyCrypt compilation & check #2796: Commit 0429a14 pushed by strub
May 14, 2024 19:56 2h 9m 25s main
main
May 14, 2024 19:56 2h 9m 25s
runtest: all to control the number of files checked in parallel EasyCrypt compilation & check #2795: Pull request #546 synchronize by strub
May 14, 2024 15:07 23s runtest-jobs-option
runtest-jobs-option
May 14, 2024 15:07 23s
runtest: all to control the number of files checked in parallel EasyCrypt compilation & check #2794: Commit cf84b9e pushed by strub
May 14, 2024 15:07 23s runtest-jobs-option
runtest-jobs-option
May 14, 2024 15:07 23s
runtest: all to control the number of files checked in parallel EasyCrypt compilation & check #2793: Pull request #546 opened by strub
May 14, 2024 15:06 30s runtest-jobs-option
runtest-jobs-option
May 14, 2024 15:06 30s
runtest: all to control the number of files checked in parallel EasyCrypt compilation & check #2792: Commit a5f9ec6 pushed by strub
May 14, 2024 15:06 2h 13m 15s runtest-jobs-option
runtest-jobs-option
May 14, 2024 15:06 2h 13m 15s
Merge branch 'main' into deploy-tc EasyCrypt compilation & check #2791: Commit 6355223 pushed by strub
May 13, 2024 11:12 1h 57m 23s deploy-tc
deploy-tc
May 13, 2024 11:12 1h 57m 23s
First part of barrett proved EasyCrypt compilation & check #2790: Commit 6a626c3 pushed by Gustavo2622
May 11, 2024 23:09 2h 0m 39s PolyMicro
PolyMicro
May 11, 2024 23:09 2h 0m 39s
Added base changes for FQMul (to be reviewed) EasyCrypt compilation & check #2789: Commit 1b83209 pushed by Gustavo2622
May 8, 2024 20:59 2h 3m 7s PolyMicro
PolyMicro
May 8, 2024 20:59 2h 3m 7s
Added direct sage call EasyCrypt compilation & check #2788: Commit 63d5eb2 pushed by Gustavo2622
May 8, 2024 10:48 2h 6m 39s PolyMicro
PolyMicro
May 8, 2024 10:48 2h 6m 39s
Added direct sage call EasyCrypt compilation & check #2787: Commit acc29ef pushed by Gustavo2622
May 8, 2024 10:42 2h 7m 34s PolyMicro
PolyMicro
May 8, 2024 10:42 2h 7m 34s
WIP - added option to not expand abbrevs, need to fix strange print b… EasyCrypt compilation & check #2786: Commit f8ac740 pushed by Gustavo2622
May 7, 2024 19:43 2h 2m 34s pp_form_noabbrev
pp_form_noabbrev
May 7, 2024 19:43 2h 2m 34s
Some fixes EasyCrypt compilation & check #2785: Commit d7bafcc pushed by lyonel2017
May 4, 2024 18:33 2h 1m 14s PolyMicro
PolyMicro
May 4, 2024 18:33 2h 1m 14s
[subst]: fix name capture EasyCrypt compilation & check #2784: Commit 11948bd pushed by strub
May 3, 2024 22:36 1h 59m 30s main
main
May 3, 2024 22:36 1h 59m 30s
[subst]: fix name capture EasyCrypt compilation & check #2783: Pull request #545 opened by strub
May 3, 2024 15:18 27s fix-544
fix-544
May 3, 2024 15:18 27s
[subst]: fix name capture EasyCrypt compilation & check #2782: Commit 0f97e56 pushed by strub
May 3, 2024 15:18 1m 33s fix-544
fix-544
May 3, 2024 15:18 1m 33s
Fixed a conversion and added bit conditions for sign bits EasyCrypt compilation & check #2781: Commit b442a9b pushed by Gustavo2622
April 30, 2024 19:10 2h 1m 22s PolyMicro
PolyMicro
April 30, 2024 19:10 2h 1m 22s
Change axiom eq_choice to lemma EasyCrypt compilation & check #2780: Pull request #543 opened by ethanlee515
April 30, 2024 00:44 1h 53m 56s ethanlee515:deploy-eq-choice-proof
ethanlee515:deploy-eq-choice-proof
April 30, 2024 00:44 1h 53m 56s
Converted trans_expr to return list EasyCrypt compilation & check #2779: Commit 396c2ee pushed by Gustavo2622
April 29, 2024 17:31 2h 12m 6s PolyMicro
PolyMicro
April 29, 2024 17:31 2h 12m 6s
Refactoring and added more translations EasyCrypt compilation & check #2778: Commit d60b796 pushed by Gustavo2622
April 28, 2024 20:45 7m 6s PolynomialEncoding
PolynomialEncoding
April 28, 2024 20:45 7m 6s
More refactoring EasyCrypt compilation & check #2777: Commit 47c3d41 pushed by lyonel2017
April 25, 2024 15:00 7m 28s PolynomialEncoding
PolynomialEncoding
April 25, 2024 15:00 7m 28s