Skip to content

Actions: hazelgrove/error-localization-agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

formalism: Give correctness metatheorem for typed hazelnut in relatio… formalism #132: Commit a0c6549 pushed by mirryi
October 10, 2023 06:31 2m 23s typed-hazelnut
typed-hazelnut
October 10, 2023 06:31 2m 23s
formalism: Indicate domain/codomain for metafunctions formalism #131: Commit 1ab72fb pushed by mirryi
October 10, 2023 06:00 2m 56s untyped-hazelnut
untyped-hazelnut
October 10, 2023 06:00 2m 56s
formalism: Indicate domain/codomain for all metafunctions formalism #130: Commit 145f154 pushed by mirryi
October 10, 2023 05:57 2m 22s master
master
October 10, 2023 05:57 2m 22s
formalism: Define mark erasure on zmexp -> zexp formalism #129: Commit 70ac87d pushed by mirryi
October 10, 2023 05:48 2m 48s typed-hazelnut
typed-hazelnut
October 10, 2023 05:48 2m 48s
formalism: Move type meet occurrences to premise in typed hazelnut model formalism #128: Commit f31e520 pushed by mirryi
October 10, 2023 05:23 2m 40s typed-hazelnut
typed-hazelnut
October 10, 2023 05:23 2m 40s
formalism: Fix and add missing analytic zipper rules for zippered mar… formalism #127: Commit fabbbec pushed by mirryi
October 10, 2023 05:18 2m 25s typed-hazelnut
typed-hazelnut
October 10, 2023 05:18 2m 25s
formalism: Use underline instead of hat for zexp formalism #126: Commit ce474c4 pushed by mirryi
October 10, 2023 04:53 2m 46s untyped-hazelnut
untyped-hazelnut
October 10, 2023 04:53 2m 46s
formalism: Fix some analytic zipper rules for marked zexp lambda formalism #125: Commit 5e64e63 pushed by mirryi
October 10, 2023 04:51 2m 42s typed-hazelnut
typed-hazelnut
October 10, 2023 04:51 2m 42s
formalism: Fix some analytic zipper rules for marked zexp lambda formalism #124: Commit a58b82e pushed by mirryi
October 10, 2023 04:48 2m 15s typed-hazelnut
typed-hazelnut
October 10, 2023 04:48 2m 15s
formalism: Use underline instead of hat for zexp formalism #123: Commit 807ff96 pushed by mirryi
October 10, 2023 04:47 2m 16s untyped-hazelnut
untyped-hazelnut
October 10, 2023 04:47 2m 16s
formalism: Add mechanization indicators for each section formalism #122: Commit 587a5e7 pushed by mirryi
October 10, 2023 04:47 3m 15s master
master
October 10, 2023 04:47 3m 15s
formalism: Add mechanization indicators for each section formalism #121: Commit b5cc8e9 pushed by mirryi
October 10, 2023 04:46 2m 17s mechanization-indicator
mechanization-indicator
October 10, 2023 04:46 2m 17s
formalism: Add mechanization indicators for each section formalism #120: Commit de9d853 pushed by mirryi
October 10, 2023 04:45 2m 25s mechanization-indicator
mechanization-indicator
October 10, 2023 04:45 2m 25s
formalism: Use xelatex formalism #119: Commit f1701a7 pushed by mirryi
October 10, 2023 04:44 2m 15s master
master
October 10, 2023 04:44 2m 15s
formalism: Add mechanization indicators for each section formalism #118: Commit 73baa9c pushed by mirryi
October 10, 2023 04:43 2m 54s mechanization-indicator
mechanization-indicator
October 10, 2023 04:43 2m 54s
formalism: Use xelatex formalism #117: Commit 7ceed61 pushed by mirryi
October 10, 2023 03:53 2m 21s xelatex
xelatex
October 10, 2023 03:53 2m 21s
formalism: Remove first two prmises from UALetPat formalism #116: Commit 210a1f8 pushed by mirryi
October 9, 2023 21:26 2m 23s master
master
October 9, 2023 21:26 2m 23s
formalism: Remove first two prmises from UALetPat formalism #115: Commit b615801 pushed by mirryi
October 9, 2023 21:25 2m 6s typo-fixes
typo-fixes
October 9, 2023 21:25 2m 6s
formalism: Fix pattern marking rule names formalism #114: Commit f61ec67 pushed by mirryi
October 9, 2023 21:15 2m 4s typo-fixes
typo-fixes
October 9, 2023 21:15 2m 4s
formalism: Move type meet in rules to premises formalism #113: Commit 05f7011 pushed by mirryi
October 9, 2023 21:08 2m 44s master
master
October 9, 2023 21:08 2m 44s
formalism: Move type meet in rules to premises formalism #112: Commit 7406abf pushed by mirryi
October 9, 2023 21:05 2m 14s type-meet-premise
type-meet-premise
October 9, 2023 21:05 2m 14s
formalism: Fix some analytic zipper rules for marked zexp lambda formalism #111: Commit 2303190 pushed by mirryi
October 9, 2023 17:43 2m 51s typed-hazelnut
typed-hazelnut
October 9, 2023 17:43 2m 51s
formalism: Add mising analytic con rules for typed model formalism #110: Commit a08f294 pushed by mirryi
October 9, 2023 06:46 2m 13s typed-hazelnut
typed-hazelnut
October 9, 2023 06:46 2m 13s
formalism: Fix typed con rules with mode change formalism #109: Commit f18d541 pushed by mirryi
October 9, 2023 06:36 3m 28s typed-hazelnut
typed-hazelnut
October 9, 2023 06:36 3m 28s
formalism: Fix typed con rules with mode change formalism #108: Commit 64d55d7 pushed by mirryi
October 9, 2023 06:35 2m 33s typed-hazelnut
typed-hazelnut
October 9, 2023 06:35 2m 33s