Skip to content

Pull requests: creusot-rs/creusot

New pull request New
Clear current search query, filters, and sorts
5 Open 982 Closed
5 Open 982 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix nightly.
#1459 by jhjourdan was merged Mar 29, 2025
Soundly erase ghost!
#1458 by arnaudgolfouse was merged Mar 25, 2025
1
1
Set the ocaml compiler version
#1457 by arnaudgolfouse was merged Mar 25, 2025 • Approved
1
Anonymize
#1456 by jhjourdan was merged Mar 24, 2025
Attempt at fixing nighlty CI.
#1454 by jhjourdan was merged Mar 24, 2025
Add Peano integers
#1451 by arnaudgolfouse was merged Mar 20, 2025
Write snapshots in ghost!
#1450 by arnaudgolfouse was merged Mar 19, 2025
1
Update Why3/Why3find versions
#1448 by Lysxia was merged Mar 19, 2025
1
Infer the FnMut spec of a Fn closure (and other combinations)
#1444 by arnaudgolfouse was merged Mar 18, 2025
1
4
Give a body to almost every extern spec in option.rs
#1442 by arnaudgolfouse was merged Mar 18, 2025
12
Fix CI.
#1441 by jhjourdan was merged Mar 17, 2025
Refactor internal ASTs
#1440 by jhjourdan was merged Mar 17, 2025
2
test: Remove useless requires in heapsort_generic.rs
#1437 by Lysxia was merged Mar 13, 2025
1
Do not check that trusted impls are correct.
#1436 by jhjourdan was merged Mar 13, 2025
1
README: Link to the newest URL for Coma
#1435 by Lysxia was merged Mar 12, 2025
Print warning about dangling files in yellow
#1434 by Lysxia was merged Mar 14, 2025
cargo creusot new: Set specific version of creusot-contracts
#1433 by Lysxia was merged Mar 17, 2025
4
Polish README
#1432 by Lysxia was merged Mar 12, 2025
Do not pass the sysroot flag to rustc
#1431 by arnaudgolfouse was merged Mar 12, 2025
1
Rename GhostBox to Ghost
#1430 by arnaudgolfouse was merged Mar 17, 2025
1
Do not validate purity of trusted program functions.
#1428 by jhjourdan was merged Mar 12, 2025
Specify std::hint::*, std::mem::drop and std::mem::forget
#1425 by arnaudgolfouse was merged Mar 11, 2025 • Approved
2
Use subtraction of Int in linked_list
#1423 by arnaudgolfouse was merged Mar 10, 2025
rustfmt: Set style_edition = "2024"
#1422 by Lysxia was merged Mar 10, 2025
1
Clarify documentation for update proof.json
#1421 by Halbaroth was merged Mar 10, 2025
6
ProTip! What’s not been updated in a month: updated:<2025-02-28.