Discussions

• 1 You must be logged in to vote

  ❓

  Cannot prove 02_linear_search.rs

  southball asked Apr 16, 2024 in Help · Answered

  

  

  1
• 2 You must be logged in to vote

  💡

  RFC: towards a rustup-like tool for creusot

  Armael started Feb 20, 2024 in Ideas · Closed

  

  

  

  

  10
• 1 You must be logged in to vote

  💬

  unbound type symbol 'opaque_ptr' in why3 ide

  nishanthkarthik started Feb 20, 2024 in General

  

  

  1
• 1 You must be logged in to vote

  💬

  The State of Creusot

  xldenis started Oct 24, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  ❓

  Help with Zip iterator

  boulme asked Sep 19, 2023 in Help · Answered

  

  

  

  

  10
• 0 You must be logged in to vote

  ❓

  Help with the predefined seq.reverse and seq.subsequence

  boulme asked Sep 17, 2023 in Help · Answered

  

  

  8
• 1 You must be logged in to vote

  💬

  How to specify types with interior mutability

  xldenis started Aug 14, 2023 in General

  

  

  0
• 1 You must be logged in to vote

  ❓

  Help proving implementation of kmeans

  nilehmann asked Mar 31, 2023 in Help · Closed · Unanswered

  

  

  5
• 1 You must be logged in to vote

  ❓

  Ada-like library contracts

  fenollp asked Mar 12, 2023 in Help · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Improved strategies

  xldenis started Mar 6, 2023 in General

  

  

  

  

  5
• 1 You must be logged in to vote

  ❓

  Postconditiosn on FnOnce closures

  xldenis asked Feb 27, 2023 in Help · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💡

  Can this be somehow turned into a crate

  sirandreww started Oct 25, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  ❓

  Can this be used to test C code (CFFI)?

  Ragarnoy asked Oct 17, 2022 in Help · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💡

  Cleaning up code & architecture

  xldenis started Sep 15, 2022 in Ideas

  

  

  3