Discussions

• 1 You must be logged in to vote

  🙏

  Instruct Boogie to generate data dependence graph?

  alexthomasv asked Oct 3, 2024 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  How to instruct Boogie to only generate the VCs?

  alexthomasv asked Sep 10, 2024 in Q&A · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Debug prover errors generated by boogie

  rahxephon89 asked Aug 22, 2024 in Q&A · Closed · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  How to set the boogie keep on verify all the asserts but not stop when it finds some asserts not holds

  Luweicai asked Nov 22, 2021 in Q&A · Closed · Answered

  

  

  

  

  47
• 1 You must be logged in to vote

  🙏

  Will boogie give false alarm result?

  Luweicai asked Sep 25, 2023 in Q&A · Closed · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🙏

  Hello World Boogie Program for a Custom Programming Language

  lancejpollard asked Mar 16, 2022 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  Dependence of libraries on CommandLineOptions.Clo should be removed

  delcypher started Apr 1, 2015 in Ideas · Closed

  

  

  

  

  4
• 1 You must be logged in to vote

  💡

  Eliminating polymorphism in Boogie

  shazqadeer started Feb 14, 2020 in Ideas · Closed

  

  

  

  

  13
• 1 You must be logged in to vote

  🙏

  How to add the free loop invariant into the smack generated boogie code(from c)?

  Luweicai asked Jan 9, 2022 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  inconsistency in the boogie program

  rahxephon89 asked Jul 29, 2023 in Q&A · Closed · Answered

  

  

  10
• 1 You must be logged in to vote

  🙏

  How to analyze issues of performance regression when upgrading Boogie

  rahxephon89 asked Aug 9, 2023 in Q&A · Closed · Answered

  

  

  

  

  13
• 2 You must be logged in to vote

  💬

  Boogie Documentation

  MartinKoelbl started Mar 3, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  Semantics of triggers and smt.CASE_SPLIT=3

  fpoli asked Jan 12, 2023 in Q&A · Closed · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Strategy (process) for upgrading Z3 version

  rakamaric started Dec 22, 2022 in General · Closed

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  Does random_seed affect the initial state of parameters in an implementation?

  tbean79 asked May 24, 2022 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Can boogie output the runtime?

  Luweicai asked Dec 20, 2021 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Does boogie have "memory function"?

  Luweicai asked Dec 20, 2021 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Are there any tools that can count line of code(loc) of boogie program?

  duplicate

  Luweicai asked Dec 4, 2021 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Are there any tools that can count line of code(loc) of boogie program?

  Luweicai asked Dec 4, 2021 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  Weight of Select/Store axioms

  shazqadeer started Apr 21, 2021 in General · Closed

  

  

  3
• 1 You must be logged in to vote

  🙏

  Invariants and old()

  ghost asked Feb 16, 2021 in Q&A · Closed · Answered

  

  

  6
• 1 You must be logged in to vote

  💬

  Welcome to boogie Discussions!

  shazqadeer started Dec 13, 2020 in General · Closed

  

  

  0
• 1 You must be logged in to vote

  💡

  Language improvements to help represent debug info and MORE!

  delcypher started Apr 1, 2015 in Ideas

  

  

  

  

  10