Skip to content

Actions: Disentinel/rofl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
214 workflow runs
214 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
modeljs: a form the harness calls is not a form the model is checked on CI #214: Commit 663a71e pushed by Disentinel
29m 18s modeljs
modeljs
29m 18s
a question is data: the parser is optional by measurement, not by arg… CI #213: Commit 0385d27 pushed by Disentinel
6m 35s nextver
nextver
6m 35s
modeljs: I wrote "verified" before I verified CI #212: Commit 156cb84 pushed by Disentinel
26m 42s modeljs
modeljs
26m 42s
modeljs: the boundary had no site to cross, and the kernel refused to… CI #211: Commit 1294650 pushed by Disentinel
23m 17s modeljs
modeljs
23m 17s
the kernel stops parsing itself: its programs ship compiled, and the … CI #210: Commit 207537c pushed by Disentinel
7m 42s nextver
nextver
7m 42s
modeljs: a node in type position is not the type of a value CI #209: Commit a5e9a73 pushed by Disentinel
26m 58s modeljs
modeljs
26m 58s
the host primitive already exists, and the kernel parses its own text CI #208: Commit 8f60612 pushed by Disentinel
6m 56s nextver
nextver
6m 56s
the parser is not the loader: 201 of its 262 lines serve queries CI #207: Commit 8adead2 pushed by Disentinel
5m 35s nextver
nextver
5m 35s
retract "the machine got slower": measured, and it is not CI #206: Commit bcc3740 pushed by Disentinel
6m 26s nextver
nextver
6m 26s
world() stops paying for a cache that saves it nothing CI #205: Commit 43d0089 pushed by Disentinel
6m 30s nextver
nextver
6m 30s
modeljs: there is no second party, so the note was my own prior guess CI #204: Commit aafdf29 pushed by Disentinel
20m 25s modeljs
modeljs
20m 25s
a model of the parse cost, and the why chain finds a cache that saves… CI #203: Commit 6f1f816 pushed by Disentinel
7m 3s nextver
nextver
7m 3s
the ROFL parser agrees and is 63000x slower; the scanners were the wr… CI #202: Commit 4695884 pushed by Disentinel
6m 34s nextver
nextver
6m 34s
modeljs: a member written is a member read, and the store was never t… CI #201: Commit a9bed68 pushed by Disentinel
27m 58s modeljs
modeljs
27m 58s
necessity: measure the runtime by running it, and answer the size que… CI #200: Commit 0e40997 pushed by Disentinel
5m 53s nextver
nextver
5m 53s
modeljs: a query that names nothing answered like a query that finds … CI #199: Commit a48f4b3 pushed by Disentinel
20m 48s modeljs
modeljs
20m 48s
modeljs: a declared over-approximation is a defect with a comment on it CI #198: Commit 27779ab pushed by Disentinel
21m 15s modeljs
modeljs
21m 15s
modeljs: nine loads ran the fixpoint nine times, and two mutants got … CI #197: Commit e2cfdb0 pushed by Disentinel
15m 27s modeljs
modeljs
15m 27s
modeljs: what propagates, and a deferral that split when its owner pa… CI #196: Commit d2f62f9 pushed by Disentinel
19m 54s modeljs
modeljs
19m 54s
modeljs: seventeen kinds were three lists, and a gate with nowhere to… CI #195: Commit ba79c83 pushed by Disentinel
13m 43s modeljs
modeljs
13m 43s
modeljs: a read that runs a function, and three instruments measuring… CI #194: Commit 19e61de pushed by Disentinel
17m 2s modeljs
modeljs
17m 2s
modeljs: a call is an exit, and the witness comes back to the item th… CI #193: Commit db5be4d pushed by Disentinel
13m 16s modeljs
modeljs
13m 16s
modeljs: the entry point is not a choice about approximation, it is w… CI #192: Commit a71dec7 pushed by Disentinel
11m 55s modeljs
modeljs
11m 55s
modeljs: the sibling index nothing had read, and a witness that was n… CI #191: Commit 734c821 pushed by Disentinel
10m 11s modeljs
modeljs
10m 11s
safety.rofl declares its own schedule: the kernel's program was runni… CI #190: Commit 05a9512 pushed by Disentinel
6m 33s nextver
nextver
6m 33s