Skip to content

Actions: thiremani/pluto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,234 workflow runs
2,234 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
feat(compiler): make outputs write-only with live input references Pluto CI #2366: Pull request #104 synchronize by thiremani
2m 23s feat-write-only-outputs
feat-write-only-outputs
2m 23s
test(compiler): make the array alias regression bite and retire selec… Pluto CI #2365: Commit 3819f65 pushed by thiremani
2m 17s feat-write-only-outputs
feat-write-only-outputs
2m 17s
feat(compiler): make outputs write-only with live input references Pluto CI #2364: Pull request #104 synchronize by thiremani
2m 20s feat-write-only-outputs
feat-write-only-outputs
2m 20s
docs(abi): state the 2.1 prototype change precisely across the plans Pluto CI #2363: Commit 03d9970 pushed by thiremani
2m 21s feat-write-only-outputs
feat-write-only-outputs
2m 21s
feat(compiler): make outputs write-only with live input references Pluto CI #2362: Pull request #104 synchronize by thiremani
2m 21s feat-write-only-outputs
feat-write-only-outputs
2m 21s
fix(compiler): keep alias identity through ranged staging and conditi… Pluto CI #2361: Commit ceb8a89 pushed by thiremani
2m 13s feat-write-only-outputs
feat-write-only-outputs
2m 13s
feat(compiler): make outputs write-only with live input references Pluto CI #2360: Pull request #104 synchronize by thiremani
2m 15s feat-write-only-outputs
feat-write-only-outputs
2m 15s
refactor(compiler): mangle lowering variants with marker suffixes Pluto CI #2359: Commit 8c862a2 pushed by thiremani
2m 11s feat-write-only-outputs
feat-write-only-outputs
2m 11s
feat(compiler): make outputs write-only with live input references Pluto CI #2358: Pull request #104 synchronize by thiremani
1m 59s feat-write-only-outputs
feat-write-only-outputs
1m 59s
refactor(compiler): decide input/output aliasing at compile time Pluto CI #2357: Commit 38c4eea pushed by thiremani
2m 27s feat-write-only-outputs
feat-write-only-outputs
2m 27s
feat(compiler): make outputs write-only with live input references Pluto CI #2356: Pull request #104 synchronize by thiremani
3m 1s feat-write-only-outputs
feat-write-only-outputs
3m 1s
docs(memory): state the in-body read order and explicit-save rule Pluto CI #2355: Commit 31d9977 pushed by thiremani
2m 10s feat-write-only-outputs
feat-write-only-outputs
2m 10s
feat(compiler): make outputs write-only with live input references Pluto CI #2354: Pull request #104 synchronize by thiremani
2m 13s feat-write-only-outputs
feat-write-only-outputs
2m 13s
feat(compiler): preserve live input references across output writes Pluto CI #2353: Commit 1f1b208 pushed by thiremani
2m 29s feat-write-only-outputs
feat-write-only-outputs
2m 29s
feat(compiler): make outputs write-only with live input references Pluto CI #2352: Pull request #104 synchronize by thiremani
2m 16s feat-write-only-outputs
feat-write-only-outputs
2m 16s
refactor(compiler): snapshot every aliasable input, drop lateInputReads Pluto CI #2351: Commit 19dcfe3 pushed by thiremani
3m 2s feat-write-only-outputs
feat-write-only-outputs
3m 2s
feat(compiler): make outputs write-only with live input references Pluto CI #2350: Pull request #104 synchronize by thiremani
2m 23s feat-write-only-outputs
feat-write-only-outputs
2m 23s
perf(compiler): snapshot only inputs an output could alias Pluto CI #2349: Commit 1eac2fe pushed by thiremani
2m 11s feat-write-only-outputs
feat-write-only-outputs
2m 11s
feat(compiler): make outputs write-only with live input references Pluto CI #2348: Pull request #104 synchronize by thiremani
2m 27s feat-write-only-outputs
feat-write-only-outputs
2m 27s
docs(effects): record PR #104 and issue #103 in the seed disposition Pluto CI #2347: Commit 7387308 pushed by thiremani
2m 20s feat-write-only-outputs
feat-write-only-outputs
2m 20s
feat(compiler): make outputs write-only with live input references Pluto CI #2346: Pull request #104 opened by thiremani
2m 30s feat-write-only-outputs
feat-write-only-outputs
2m 30s
feat(compiler): make function outputs write-only and inputs iteration… Pluto CI #2345: Commit 56d2f48 pushed by thiremani
2m 25s feat-write-only-outputs
feat-write-only-outputs
2m 25s
fix(compiler): track callee seed reads beside write effects Pluto CI #2344: Pull request #102 synchronize by thiremani
2m 11s fix-seed-read-effects
fix-seed-read-effects
2m 11s
fix(compiler): compose callee seed reads only through compatible storage Pluto CI #2343: Commit d638c3f pushed by thiremani
2m 15s fix-seed-read-effects
fix-seed-read-effects
2m 15s
fix(compiler): track callee seed reads beside write effects Pluto CI #2342: Pull request #102 synchronize by thiremani
2m 24s fix-seed-read-effects
fix-seed-read-effects
2m 24s