Discussions

• 1 You must be logged in to vote

  💡

  Different format for counter-example to ease readability

  fbrausse started Apr 30, 2024 in Ideas

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  ESBMC does not detect race conditions with floating points

  SanjanaSai94 asked Feb 9, 2024 in Q&A · Unanswered

  

  

  

  

  6
• 1 You must be logged in to vote

  🙏

  Exit codes

  mihaistate asked Nov 12, 2023 in Q&A · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  Counterexample

  mihaistate asked Oct 26, 2023 in Q&A · Closed · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  ESBMC buidling issue

  sayakray-intel started Sep 14, 2023 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  Mixed log output files

  fbrausse started Apr 15, 2022 in General · Closed

  

  

  2
• 1 You must be logged in to vote

  💡

  General recursion on types and expressions

  fbrausse started Jul 20, 2023 in Ideas

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  (Limited) Operator overloading / Comparison predicate type

  fbrausse asked Aug 4, 2023 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💡

  Collate some model checkers for future C++ evaluation

  kunjsong01 started Jul 26, 2023 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🗳️

  Use of [prefix] in titles of issues and PRs

  fbrausse started Jun 16, 2023 in Polls · Closed

  

  

  2
• 1 You must be logged in to vote

  🙏

  C only code or also c++ code?

  monicamarcus asked Apr 14, 2022 in Q&A · Answered

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  [CUDA] Parallelism and array bounds problems

  XLiZHI asked Jul 5, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Does flasification force ESBMC to produce more guarded copies of the loop bodies?

  kunjsong01 asked May 11, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Two questions on pthread_start/end_main_hook:

  kunjsong01 asked Feb 10, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Questions on C operational models

  question

  kunjsong01 asked Aug 31, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Disable alignment checks for packed structs?

  fbrausse started Jun 23, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  What's the purpose of adding cprover library?

  kunjsong01 asked Jun 3, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  Method of exception throwing in ESBMC

  fbrausse started May 12, 2022 in General

  

  

  2
• 1 You must be logged in to vote

  🙏

  esbmc++ as it is now (limited but working)

  monicamarcus asked Apr 21, 2022 in Q&A · Unanswered

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  esbmc and the assert methods in C

  monicamarcus asked Apr 17, 2022 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  ESBMC web interface

  monicamarcus asked Apr 13, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  💬

  Enforce rule of three or rule of five for future ESBMC extensions?

  discussion

  kunjsong01 started Jan 19, 2022 in General

  

  

  

  

  6