-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: GaloisInc/Tractor-Crisp
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
tools: update to rust-analyzer 0.0.329
#106
opened Apr 21, 2026 by
spernsteiner
Contributor
Loading…
Add --codex-login flag for alternative agent authentication
#96
opened Apr 12, 2026 by
thedataking
Collaborator
Loading…
workflow: use
hayroll's new --keep-src-locs to run c2rust-refactor after hayroll
#80
opened Mar 2, 2026 by
kkysen
Collaborator
Loading…
docker: move building
find-unsafe before building crisp because crisp is modified more often
#73
opened Feb 21, 2026 by
kkysen
Collaborator
Loading…
crisp: fix many type errors found by
mypy and ty
#11
opened Nov 17, 2025 by
kkysen
Collaborator
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.