Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply cloning substitution to datatype ctor types
EasyCrypt compilation & check #3655: Commit 782eb5c pushed by strub
January 22, 2025 16:06 25m 51s main
January 22, 2025 16:06 25m 51s
stdlib: basic commutative algebra
EasyCrypt compilation & check #3654: Pull request #602 synchronize by strub
January 22, 2025 14:53 25m 58s comm-algebra
January 22, 2025 14:53 25m 58s
Apply cloning substitution to datatype ctor types
EasyCrypt compilation & check #3653: Pull request #695 opened by strub
January 22, 2025 14:46 25m 50s fix-567
January 22, 2025 14:46 25m 50s
Add tactic for lossless while
EasyCrypt compilation & check #3652: Pull request #669 synchronize by lyonel2017
January 21, 2025 15:59 25m 47s feature-lossless-while
January 21, 2025 15:59 25m 47s
Improve transitivity* and replace*
EasyCrypt compilation & check #3651: Commit 12a2ed1 pushed by Cameron-Low
January 20, 2025 17:18 26m 5s main
January 20, 2025 17:18 26m 5s
Improve transitivity* and replace*
EasyCrypt compilation & check #3650: Pull request #692 synchronize by fdupress
January 20, 2025 14:54 26m 30s trans-star-refactor
January 20, 2025 14:54 26m 30s
Rework stdlib clones.
EasyCrypt compilation & check #3649: Pull request #694 synchronize by strub
January 20, 2025 14:06 25m 50s poly-better-clones
January 20, 2025 14:06 25m 50s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3648: Pull request #691 synchronize by strub
January 20, 2025 13:58 23m 50s subtype-theory
January 20, 2025 13:58 23m 50s
use a dev branch for XSalsa in external CI
EasyCrypt compilation & check #3647: Commit 39ed501 pushed by fdupress
January 20, 2025 13:40 26m 17s main
January 20, 2025 13:40 26m 17s
Rework stdlib clones.
EasyCrypt compilation & check #3646: Pull request #694 synchronize by strub
January 20, 2025 12:36 26m 18s poly-better-clones
January 20, 2025 12:36 26m 18s
Rework import mechanism
EasyCrypt compilation & check #3645: Pull request #683 synchronize by strub
January 20, 2025 12:33 25m 53s hidden-theory-items
January 20, 2025 12:33 25m 53s
Rework stdlib clones.
EasyCrypt compilation & check #3644: Pull request #694 opened by strub
January 20, 2025 12:30 26m 10s poly-better-clones
January 20, 2025 12:30 26m 10s
[external CI] use dev branch for XSalsa checks
EasyCrypt compilation & check #3643: Pull request #693 opened by fdupress
January 20, 2025 11:26 26m 7s external-ci-xsalsa-branch
January 20, 2025 11:26 26m 7s
Rework import mechanism
EasyCrypt compilation & check #3642: Pull request #683 synchronize by strub
January 20, 2025 10:03 25m 51s hidden-theory-items
January 20, 2025 10:03 25m 51s
Rework import mechanism
EasyCrypt compilation & check #3641: Pull request #683 synchronize by strub
January 20, 2025 09:47 27m 17s hidden-theory-items
January 20, 2025 09:47 27m 17s
Rework import mechanism
EasyCrypt compilation & check #3640: Pull request #683 synchronize by strub
January 20, 2025 09:46 26m 10s hidden-theory-items
January 20, 2025 09:46 26m 10s
New vernacular command: theory aliases
EasyCrypt compilation & check #3639: Pull request #685 synchronize by strub
January 20, 2025 09:39 26m 36s theory-alias
January 20, 2025 09:39 26m 36s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3638: Pull request #691 synchronize by strub
January 18, 2025 10:32 23m 50s subtype-theory
January 18, 2025 10:32 23m 50s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3637: Pull request #691 synchronize by strub
January 18, 2025 09:28 23m 39s subtype-theory
January 18, 2025 09:28 23m 39s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3636: Pull request #691 synchronize by strub
January 18, 2025 08:11 23m 11s subtype-theory
January 18, 2025 08:11 23m 11s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3635: Pull request #691 synchronize by strub
January 18, 2025 07:49 23m 8s subtype-theory
January 18, 2025 07:49 23m 8s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3634: Pull request #691 synchronize by strub
January 17, 2025 22:09 23m 25s subtype-theory
January 17, 2025 22:09 23m 25s
Upgrade to why3 1.8
EasyCrypt compilation & check #3633: Commit d03e63d pushed by strub
January 17, 2025 19:36 26m 23s main
January 17, 2025 19:36 26m 23s
KEM libraries (standard model and ROM) (#672)
EasyCrypt compilation & check #3632: Commit d9c058a pushed by MM45
January 17, 2025 19:16 22m 45s main
January 17, 2025 19:16 22m 45s
revert subtype theory + syntactic sugar for cloning it
EasyCrypt compilation & check #3631: Pull request #691 synchronize by strub
January 17, 2025 18:06 21m 23s subtype-theory
January 17, 2025 18:06 21m 23s