Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt compilation & check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
694 workflow runs
694 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature exception EasyCrypt compilation & check #4125: Pull request #806 synchronize by lyonel2017
23m 35s feature-exception
feature-exception
23m 35s
Feature exception EasyCrypt compilation & check #4124: Pull request #806 synchronize by lyonel2017
23m 36s feature-exception
feature-exception
23m 36s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4123: Pull request #752 synchronize by Gustavo2622
4m 15s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 15s
Feature exception EasyCrypt compilation & check #4122: Pull request #806 synchronize by lyonel2017
23m 45s feature-exception
feature-exception
23m 45s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4121: Pull request #752 synchronize by Gustavo2622
4m 16s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
4m 16s
make casts from existing single sided formulas to two sided ones use … EasyCrypt compilation & check #4120: Commit 4fc8b63 pushed by strub
23m 18s main
main
23m 18s
Make casts from existing single sided formulas to two sided ones use a more robust pattern EasyCrypt compilation & check #4119: Pull request #851 synchronize by strub
23m 55s robust-ss-to-ts-casts
robust-ss-to-ts-casts
23m 55s
EasyCrypt Circuit Based Reasoning Extension EasyCrypt compilation & check #4118: Pull request #752 synchronize by Gustavo2622
7m 7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 7s
reduce when needed in proc and call rules (#849) EasyCrypt compilation & check #4117: Commit 01d4e41 pushed by bgregoir
6m 43s main
main
6m 43s
add manual trivial application to conseq variant (#848) EasyCrypt compilation & check #4116: Commit 9f8d176 pushed by oskgo
23m 25s main
main
23m 25s
Manually handle some cases where t_mytrivial is too weak EasyCrypt compilation & check #4115: Pull request #848 synchronize by oskgo
32m 23s fix-847
fix-847
32m 23s
fix handling of bounds in conseq equiv phoare EasyCrypt compilation & check #4114: Commit acbee62 pushed by strub
23m 49s main
main
23m 49s
Make casts from existing single sided formulas to two sided ones use a more robust pattern EasyCrypt compilation & check #4113: Pull request #851 synchronize by oskgo
22m 15s robust-ss-to-ts-casts
robust-ss-to-ts-casts
22m 15s
Make casts from existing single sided formulas to two sided ones use a more robust pattern EasyCrypt compilation & check #4112: Pull request #851 opened by oskgo
18m 45s robust-ss-to-ts-casts
robust-ss-to-ts-casts
18m 45s
Manually handle some cases where t_mytrivial is too weak EasyCrypt compilation & check #4111: Pull request #848 synchronize by oskgo
24m 17s fix-847
fix-847
24m 17s
reduce when needed in proc and call rules EasyCrypt compilation & check #4110: Pull request #849 synchronize by bgregoir
23m 28s t_hF_or_bhF_or_eF-red
t_hF_or_bhF_or_eF-red
23m 28s
reduce when needed in proc and call rules EasyCrypt compilation & check #4109: Pull request #849 opened by bgregoir
23m 23s t_hF_or_bhF_or_eF-red
t_hF_or_bhF_or_eF-red
23m 23s
Feature exception EasyCrypt compilation & check #4108: Pull request #806 synchronize by lyonel2017
23m 43s feature-exception
feature-exception
23m 43s
Another example for eHoare EasyCrypt compilation & check #4107: Pull request #845 synchronize by namasikanam
24m 15s eHoare-example
eHoare-example
24m 15s
Documentation comments and corresponding HTML generation. EasyCrypt compilation & check #4106: Commit 9324a2f pushed by fdupress
23m 55s main
main
23m 55s
[docker] update dockerfiles, add formosa docker EasyCrypt compilation & check #4105: Pull request #840 synchronize by fdupress
23m 21s jasmin-docker
jasmin-docker
23m 21s
Manually handle some cases where t_mytrivial is too weak EasyCrypt compilation & check #4104: Pull request #848 opened by oskgo
24m 10s fix-847
fix-847
24m 10s
fix handling of bounds in conseq equiv phoare EasyCrypt compilation & check #4103: Pull request #837 synchronize by oskgo
23m 14s fix-834
fix-834
23m 14s
fix handling of bounds in conseq equiv phoare EasyCrypt compilation & check #4102: Pull request #837 synchronize by oskgo
23m 16s fix-834
fix-834
23m 16s
Another example for eHoare EasyCrypt compilation & check #4101: Pull request #845 synchronize by namasikanam
23m 37s eHoare-example
eHoare-example
23m 37s