-
Notifications
You must be signed in to change notification settings - Fork 72
Pull requests: creusot-rs/creusot
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Replace Alt-Ergo with Alt-Ergo Free in the flake
#2035
opened Apr 13, 2026 by
Halbaroth
Contributor
Loading…
Read
CARGO_STD environment variable in patch_dep function
#2033
opened Apr 13, 2026 by
Halbaroth
Contributor
Loading…
Termination check: handle recursion through proof trees and add recursive types check
#2006
opened Mar 26, 2026 by
Lysxia
Collaborator
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.