Skip to content

Actions: hazelgrove/error-localization-agda

Actions

formalism

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formalism.yaml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
formalism: Use colorful not equal operator formalism #107: Commit 5c501dd pushed by mirryi
October 9, 2023 05:39 2m 7s typed-hazelnut
typed-hazelnut
October 9, 2023 05:39 2m 7s
formalism: Name marked zexps MZExp formalism #106: Commit a80db8d pushed by mirryi
October 9, 2023 04:31 2m 39s typed-hazelnut
typed-hazelnut
October 9, 2023 04:31 2m 39s
formalism: Add missing markless rules formalism #105: Commit 5857aa3 pushed by mirryi
October 9, 2023 04:30 2m 7s master
master
October 9, 2023 04:30 2m 7s
formalism: Use separate metavariable for marked zexps from untyped zexps formalism #104: Commit e8a81ec pushed by mirryi
October 9, 2023 00:43 2m 30s typed-hazelnut
typed-hazelnut
October 9, 2023 00:43 2m 30s