Discussions

• 1 You must be logged in to vote

  🙏

  Is it possible to have a ghost argument to a function?

  isubasinghe asked Jul 10, 2024 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Verifast enforces underflow/overflow checks on unsigned integers.

  isubasinghe asked May 13, 2024 in Q&A · Answered

  

  

  2
• 3 You must be logged in to vote

  💬

  Breaking changes to make VeriFast sound with respect to C semantics as it deviates from assembly language

  btj started Sep 28, 2022 in General

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  Test

  jpdoyle started Jun 30, 2022 in General

  

  

  0