-
Notifications
You must be signed in to change notification settings - Fork 50
Insights: creusot-rs/creusot
Overview
-
0 Active issues
-
- 15 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
15 Pull requests merged by 3 people
-
Use ChunkedBitSet in not_final_places.
#1062 merged
Aug 7, 2024 -
Fix spec for
GhostPtrTokenMut::deref_mut
#1061 merged
Aug 6, 2024 -
Add a
?Sized
bound forGhostPtrToken: Resolve
#1060 merged
Aug 6, 2024 -
Fix spec that
GhostPtrToken
's don't contain null pointers to apply toRef
andMut
variants#1059 merged
Aug 3, 2024 -
Fix bug in creation of spec axioms
#1057 merged
Aug 3, 2024 -
Add magic comment for custom arguments in ui tests
#1058 merged
Aug 3, 2024 -
Refactor translation of Call terminator.
#1056 merged
Aug 3, 2024 -
remove dbg! introduced in #1053
#1055 merged
Aug 2, 2024 -
Allow
GhostPtrTokenMut<T>
to implementDerefMut
whenT: ?Sized
#1054 merged
Aug 2, 2024 -
Fix
cargo creusot why3 ide [ARGS]
to correctly use[ARGS]
#1053 merged
Aug 2, 2024 -
Fix simple-triggers
#1052 merged
Aug 2, 2024 -
No UnwindTerminate.
#1051 merged
Aug 2, 2024 -
Do not emit dead blocks.
#1050 merged
Aug 2, 2024 -
Retarget bug.
#1049 merged
Aug 2, 2024 -
non prefix cur fin
#1044 merged
Aug 2, 2024
2 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Attempts to avoid Why3's polymorphism encoding
#903 commented on
Aug 6, 2024 • 0 new comments -
Inline struct accessors to avoid Why3 polymorphism
#1042 commented on
Aug 4, 2024 • 0 new comments