Sign in
Join now
raven
stepbrobd.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from raven-ml/raven
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
packages/rig/lib/program/
rig_program.mli
October 2026
Thibaut Mattio
763d7ae8
Copied
Failed
Copy SHA
feat(rig): Queue rig_program's moves at run-value
offsets
offsets
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
6fb0a5e4
Copied
Failed
Copy SHA
docs(rig): Point Rig_program's order at Rig's memory
rule
rule
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
f5987f04
Copied
Failed
Copy SHA
fix(rig): Raise for a broken program description, Error for a
refusal
refusal
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
6dd48529
Copied
Failed
Copy SHA
refactor(rig): Resolve an image's function once into
Image.func
Image.func
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
c788df67
Copied
Failed
Copy SHA
fix(rig): Give a submission's profiled work its
point
point
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
d0280fa0
Copied
Failed
Copy SHA
fix(rig): Refuse a program's re-entered load or run as it
starts
starts
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
619dced8
Copied
Failed
Copy SHA
feat(rig): Bound a launch's parameters by its function
alone
alone
Copy SHA
Browse repository
committed
3w ago
Thibaut Mattio
9bbd0746
Copied
Failed
Copy SHA
docs(rig): Name the io refusal and the host code rules where they
live
live
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
f4ec5fcd
Copied
Failed
Copy SHA
fix(rig): Refuse copy offsets that name a leaf or
overflow
overflow
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
e0eec101
Copied
Failed
Copy SHA
fix(rig): Name the byte a program loop's flag
reads
reads
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
c580c742
Copied
Failed
Copy SHA
feat(rig): Let a program's copies move with run
values
values
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
a5de7e35
Copied
Failed
Copy SHA
feat(rig): Read a loop's flag from any
slot
slot
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
d4f6a8c8
Copied
Failed
Copy SHA
docs(rig): State a hole's wrapping in plain
sentences
sentences
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
a6c928db
Copied
Failed
Copy SHA
docs(rig): Split the contracts of copies with slot
ends
ends
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
681692c1
Copied
Failed
Copy SHA
feat(rig): Make a program's hole an affine form of
values
values
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
8c5d4c07
Copied
Failed
Copy SHA
feat(rig): Let a copy's ends be a run's
slots
slots
Copy SHA
Browse repository
committed
1mo ago
Thibaut Mattio
9edb13ec
Copied
Failed
Copy SHA
feat(rig): Talk to the GPU
ourselves
ourselves
Copy SHA
Browse repository
committed
1mo ago