-
Notifications
You must be signed in to change notification settings - Fork 50
Pull requests: creusot-rs/creusot
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
WIP: Add support for partial orders
#774
opened May 5, 2023 by
bclement-ocp
•
Draft
updated May 10, 2023
Pearlite support for
Range
#867
opened Sep 21, 2023 by
xldenis
Loading…
updated Sep 21, 2023
2 tasks
Inline struct accessors to avoid Why3 polymorphism
#1042
opened Jul 25, 2024 by
dewert99
Loading…
updated Aug 4, 2024
Add Prusti-ish frontend to Creusot
#932
opened Jan 25, 2024 by
dewert99
Loading…
updated Sep 7, 2024
Rename
ShallowModel
and DeepModel
#1026
opened Jun 28, 2024 by
xldenis
Loading…
updated Sep 26, 2024
Specify most of
Option
's methods
#1136
opened Sep 30, 2024 by
arnaudgolfouse
Loading…
updated Sep 30, 2024
A few clarification on generated names.
#1154
opened Oct 14, 2024 by
jhjourdan
Loading…
updated Oct 14, 2024
ProTip!
no:milestone will show everything without a milestone.