Skip to content

Actions: empath-nirvana/bolo-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 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
Extensions/Views: same-lifetime views through a pointer, as a conservative extension CI #15: Pull request #2 opened by empath-nirvana
7m 15s same-lifetime-views
same-lifetime-views
7m 15s
docs/same-lifetime-views: the share frame as a conservative extension… CI #14: Commit 97c81fb pushed by empath-nirvana
12m 56s same-lifetime-views
same-lifetime-views
12m 56s
Extensions/Purity: consolidate the purity branches; a short note CI #13: Commit 2e82333 pushed by empath-nirvana
9m 33s purity
purity
9m 33s
Extensions/Purity: arguments that arise from well-typed code CI #12: Commit fedafdf pushed by empath-nirvana
9m 55s fresh-arises
fresh-arises
9m 55s
Extensions/Purity: the pure fragment at every-run arguments, where th… CI #11: Commit 3af42ef pushed by empath-nirvana
11m 14s fresh-pure
fresh-pure
11m 14s
Fresh runs: wp at an indexed class of runs; FreshRunsExistClosed CI #10: Commit 3516a93 pushed by empath-nirvana
9m 36s fresh-avoid
fresh-avoid
9m 36s
Support.lean: list Support.Dynamics.Policy CI #9: Commit a0c24dc pushed by empath-nirvana
10m 42s policy-wp
policy-wp
10m 42s
wp at every class of runs; adequacy under every allocation policy CI #8: Commit 8efb63f pushed by empath-nirvana
10m 36s policy-wp
policy-wp
10m 36s
Extensions/Purity: the allocation rule is demonic; the freedom is in … CI #7: Commit eb6544f pushed by empath-nirvana
5m 49s purity-fragment
purity-fragment
5m 49s
Extensions/Purity: fresh runs and invariants along runs CI #6: Commit f611709 pushed by empath-nirvana
6m 59s purity-fragment
purity-fragment
6m 59s
Extensions/Purity: a location-free term in the relation with no fresh… CI #5: Commit 76c9739 pushed by empath-nirvana
6m 31s purity-fragment
purity-fragment
6m 31s
Extensions/Purity: fresh-run existence, stated; the semantic relation… CI #4: Commit 47c3eae pushed by empath-nirvana
6m 37s purity-fragment
purity-fragment
6m 37s
Extensions/Purity: the pure fragment of BoCa CI #3: Commit 4b6a44c pushed by empath-nirvana
7m 5s purity-fragment
purity-fragment
7m 5s
Docs: align statuses, tags and README with what Lean states CI #2: Commit 1658da9 pushed by empath-nirvana
10m 16s main
main
10m 16s
Docs: align statuses, tags and README with what Lean states Comparator judge #2: Commit 1658da9 pushed by empath-nirvana
7m 17s main
main
7m 17s
Docs: tighten adjudications; README and §C.26 agree on the typing jud… CI #1: Commit 4bb1589 pushed by empath-nirvana
11m 5s main
main
11m 5s
Docs: tighten adjudications; README and §C.26 agree on the typing jud… Comparator judge #1: Commit 4bb1589 pushed by empath-nirvana
5m 52s main
main
5m 52s