Skip to content

Actions: jjanku/fsec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

upgrade to EasyCrypt v2025.02 EasyCrypt CI #20: Commit 5e24dd4 pushed by jjanku
February 7, 2025 21:58 2m 42s master
master
February 7, 2025 21:58 2m 42s
upgrade to EasyCrypt v2025.02 EasyCrypt CI #19: Commit 1cdc8de pushed by jjanku
February 7, 2025 21:47 2m 45s v2025.02
v2025.02
February 7, 2025 21:47 2m 45s
relate pr of solving dl and winning schnorr euf-cma game EasyCrypt CI #18: Commit d3e36e3 pushed by jjanku
January 16, 2025 17:23 1m 40s master
master
January 16, 2025 17:23 1m 40s
almost prove schnorr euf-cma secure EasyCrypt CI #17: Commit 8f9ccb9 pushed by jjanku
January 16, 2025 11:30 1m 38s master
master
January 16, 2025 11:30 1m 38s
almost prove schnorr euf-cma secure EasyCrypt CI #16: Commit 8f9ccb9 pushed by jjanku
January 16, 2025 11:27 1m 38s euf-cma
euf-cma
January 16, 2025 11:27 1m 38s
prove schnorr euf-koa secure EasyCrypt CI #15: Commit ecbb3b8 pushed by jjanku
November 19, 2024 15:12 1m 41s master
master
November 19, 2024 15:12 1m 41s
add ForkingRO EasyCrypt CI #14: Commit 759765e pushed by jjanku
November 5, 2024 20:22 1m 40s master
master
November 5, 2024 20:22 1m 40s
combine all results into one lemma for convenience EasyCrypt CI #13: Commit f875584 pushed by jjanku
October 14, 2024 18:56 1m 31s master
master
October 14, 2024 18:56 1m 31s
generalize property transfer to runs with log EasyCrypt CI #12: Commit fb0aeed pushed by jjanku
October 14, 2024 11:05 1m 31s master
master
October 14, 2024 11:05 1m 31s
readme: add note on ec version and smt solvers EasyCrypt CI #11: Commit fcd07c9 pushed by jjanku
October 2, 2024 16:46 1m 56s master
master
October 2, 2024 16:46 1m 56s
refactor: improve comments EasyCrypt CI #10: Commit fd518c4 pushed by jjanku
October 2, 2024 16:29 2m 0s master
master
October 2, 2024 16:29 2m 0s
refactor: improve comments EasyCrypt CI #9: Commit a1f737d pushed by jjanku
October 2, 2024 16:10 1m 57s master
master
October 2, 2024 16:10 1m 57s
refactor: improve formatting EasyCrypt CI #8: Commit 408053e pushed by jjanku
October 2, 2024 14:03 2m 10s master
master
October 2, 2024 14:03 2m 10s
ci: switch to EasyCrypt 2024.09 EasyCrypt CI #7: Commit 2ce7fe6 pushed by jjanku
September 29, 2024 16:53 1m 54s master
master
September 29, 2024 16:53 1m 54s
ci: switch to EasyCrypt 2024.09 EasyCrypt CI #6: Commit a9f65ab pushed by jjanku
September 29, 2024 09:59 2m 2s master
master
September 29, 2024 09:59 2m 2s
WIP: forking lemma proof sketch EasyCrypt CI #5: Commit 7190f51 pushed by jjanku
September 27, 2024 16:56 1m 58s master
master
September 27, 2024 16:56 1m 58s
WIP: forking lemma proof sketch EasyCrypt CI #4: Commit 7a132db pushed by jjanku
September 24, 2024 09:53 1m 50s master
master
September 24, 2024 09:53 1m 50s
WIP: forking lemma proof sketch EasyCrypt CI #3: Commit acda955 pushed by jjanku
September 22, 2024 16:54 1m 50s master
master
September 22, 2024 16:54 1m 50s
setup ci EasyCrypt CI #2: Commit 748cd9b pushed by jjanku
September 13, 2024 10:34 1m 49s master
master
September 13, 2024 10:34 1m 49s
setup ci EasyCrypt CI #1: Commit 5c75262 pushed by jjanku
September 13, 2024 10:31 1m 47s master
master
September 13, 2024 10:31 1m 47s