Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
445 workflow runs
445 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove stray printing of lemma Build documentation #447: Pull request #967 opened by alleystoughton
3m 45s remove-print
remove-print
3m 45s
Print type parameters of operators when not inferrable from arguments Build documentation #446: Pull request #966 opened by strub
3m 34s fix-457
fix-457
3m 34s
proc change: support binding fresh local variables Build documentation #445: Commit 042456e pushed by github-merge-queue bot
3m 54s main
main
3m 54s
Add option to bind new local variables with proc change Build documentation #444: Pull request #964 synchronize by strub
3m 27s feature_proc_change_add_vars
feature_proc_change_add_vars
3m 27s
Add option to bind new local variables with proc change Build documentation #443: Pull request #964 synchronize by strub
3m 34s feature_proc_change_add_vars
feature_proc_change_add_vars
3m 34s
Add option to bind new local variables with proc change Build documentation #442: Pull request #964 synchronize by strub
3m 43s feature_proc_change_add_vars
feature_proc_change_add_vars
3m 43s
Refactor ecPhlConseq.ml: break up monolithic dispatcher and document Build documentation #441: Pull request #965 synchronize by strub
3m 44s conseq-refactor
conseq-refactor
3m 44s
Refactor ecPhlConseq.ml: break up monolithic dispatcher and document Build documentation #440: Pull request #965 synchronize by strub
3m 32s conseq-refactor
conseq-refactor
3m 32s
Refactor ecPhlConseq.ml: break up monolithic dispatcher and document Build documentation #439: Pull request #965 synchronize by strub
3m 53s conseq-refactor
conseq-refactor
3m 53s
Refactor ecPhlConseq.ml: break up monolithic dispatcher and document Build documentation #438: Pull request #965 synchronize by strub
3m 55s conseq-refactor
conseq-refactor
3m 55s
Refactor ecPhlConseq.ml: break up monolithic dispatcher and document Build documentation #437: Pull request #965 opened by strub
3m 46s conseq-refactor
conseq-refactor
3m 46s
Add option to bind new local variables with proc change Build documentation #436: Pull request #964 opened by Gustavo2622
3m 39s feature_proc_change_add_vars
feature_proc_change_add_vars
3m 39s
EasyCrypt Circuit Based Reasoning Extension Build documentation #435: Pull request #752 synchronize by Gustavo2622
7m 23s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 23s
Improve nix flake Build documentation #434: Pull request #877 synchronize by strub
3m 56s improve_nix_flake
improve_nix_flake
3m 56s
Fix simplify flag handling in cfold Build documentation #433: Commit 7d9a0f5 pushed by github-merge-queue bot
3m 43s main
main
3m 43s
EasyCrypt Circuit Based Reasoning Extension Build documentation #432: Pull request #752 synchronize by strub
7m 13s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 13s
Fix simplify flag handling in cfold Build documentation #431: Pull request #963 opened by strub
3m 44s fix-cfold-simplify
fix-cfold-simplify
3m 44s
Fix async while obligations and document the tactic Build documentation #430: Commit 267f827 pushed by github-merge-queue bot
4m 3s main
main
4m 3s
Represent exception default postconditions inside the exception map Build documentation #429: Commit 15e14e5 pushed by github-merge-queue bot
3m 56s main
main
3m 56s
Fix async while obligations and document the tactic Build documentation #428: Pull request #935 synchronize by strub
3m 58s asynchile
asynchile
3m 58s
Fix async while obligations and document the tactic Build documentation #427: Pull request #935 synchronize by strub
3m 45s asynchile
asynchile
3m 45s
Merge the default optional postcondition for exception into the map of exceptions Build documentation #426: Pull request #950 synchronize by strub
6m 55s improve-post-exceptions
improve-post-exceptions
6m 55s
Merge the default optional postcondition for exception into the map of exceptions Build documentation #425: Pull request #950 synchronize by strub
3m 41s improve-post-exceptions
improve-post-exceptions
3m 41s
Extend code-position handling with gap/range semantics Build documentation #424: Commit f0827a1 pushed by github-merge-queue bot
3m 43s main
main
3m 43s
Extend code-position handling with gap/range semantics Build documentation #423: Pull request #945 synchronize by strub
5m 55s refactor_codepos
refactor_codepos
5m 55s