Skip to content

Actions: ravst/Hopscotch

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
183 workflow runs
183 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix readme Lean Action CI #179: Commit 6bef9c4 pushed by ravst
4h 3m 52s main
main
4h 3m 52s
Revert "Anonymize the repository" Lean Action CI #178: Commit 3e7281a pushed by ravst
4h 6m 43s main
main
4h 6m 43s
Anonymize the repository Lean Action CI #177: Commit 88abe53 pushed by ravst
4h 16m 1s main
main
4h 16m 1s
Use Indistinguishability Lean Action CI #176: Commit 7d6621f pushed by grzegorzFabianski
4h 10m 39s main
main
4h 10m 39s
renaming soundness to soundness Lean Action CI #175: Commit 24d6945 pushed by grzegorzFabianski
4h 5m 54s main
main
4h 5m 54s
license Lean Action CI #174: Commit e2d415d pushed by grzegorzFabianski
3h 42m 55s main
main
3h 42m 55s
more documentation Lean Action CI #173: Commit 1e1251c pushed by grzegorzFabianski
4h 13m 45s main
main
4h 13m 45s
removing name complexInitReduction Lean Action CI #172: Commit bc25605 pushed by grzegorzFabianski
3h 9m 15s main
main
3h 9m 15s
refactor RStateOracle -> OracleImpl Lean Action CI #171: Commit 546adca pushed by grzegorzFabianski
4h 12m 0s main
main
4h 12m 0s
moving Normalization to Tactic Lean Action CI #170: Commit 016e72b pushed by grzegorzFabianski
4h 6m 24s main
main
4h 6m 24s
moving files into cataloges Lean Action CI #169: Commit 3d7ccf3 pushed by grzegorzFabianski
4h 5m 30s main
main
4h 5m 30s
refactoring folders and ggm assumption counting Lean Action CI #168: Commit bdd13e2 pushed by grzegorzFabianski
4h 8m 15s main
main
4h 8m 15s
introducing game_hopping_basic Lean Action CI #167: Commit 7a24ccb pushed by grzegorzFabianski
4h 11m 3s main
main
4h 11m 3s
Merge branch 'main' of github.com:ravst/GameHoppingInLean Lean Action CI #166: Commit 230c7e1 pushed by grzegorzFabianski
3h 30m 50s main
main
3h 30m 50s
rename the reductions in IND-CCA, and remove two reepated ones Lean Action CI #165: Commit aef2e34 pushed by ravst
2h 56m 55s main
main
2h 56m 55s
More minor refactor in IND-CCA Lean Action CI #164: Commit 938582f pushed by ravst
4h 11m 3s main
main
4h 11m 3s
Refactor IndCca proof, update tactics Lean Action CI #163: Commit 84f66b1 pushed by ravst
4h 16m 25s main
main
4h 16m 25s
ind_cpa_rand new style Lean Action CI #162: Commit d176f87 pushed by grzegorzFabianski
4h 19m 7s main
main
4h 19m 7s
indcca new style Lean Action CI #161: Commit 5108e87 pushed by grzegorzFabianski
4h 20m 8s main
main
4h 20m 8s
Merge branch 'main' of github.com:ravst/GameHoppingInLean Lean Action CI #160: Commit 745d27b pushed by grzegorzFabianski
3h 25m 36s main
main
3h 25m 36s
Standardize use of assumptions and statements Lean Action CI #159: Commit aa31c73 pushed by ravst
4h 7m 38s main
main
4h 7m 38s
refactor of Assumption(Fam) Lean Action CI #158: Commit e42bf01 pushed by grzegorzFabianski
4h 10m 5s main
main
4h 10m 5s
Even more refactor Lean Action CI #157: Commit 3339e9c pushed by ravst
4h 7m 24s main
main
4h 7m 24s
More refactor Lean Action CI #156: Commit fa05cbf pushed by ravst
4h 8m 24s main
main
4h 8m 24s
A bit of refactor Lean Action CI #155: Commit d3cd7a7 pushed by ravst
4h 7m 7s main
main
4h 7m 7s