Discussions

• 1 You must be logged in to vote

  🙏

  Unsupported llvm type

  rengglian asked Oct 8, 2024 in Q&A · Unanswered

  

  

  1
• 2 You must be logged in to vote

  📣

  Announcement: IKOS 3.4

  ivanperez-keera announced Oct 1, 2024 in Announcements

  

  

  0
• 1 You must be logged in to vote

  🙏

  Debian 12 Bookworm Dockerfile w/ conan

  C-question Category: Question

  athatheo asked May 20, 2024 in Q&A · Unanswered

  

  

  7
• 1 You must be logged in to vote

  🙏

  Misleading dead code in a generated catch block

  C-bug Category: Bug L-c++ Language: C++ P-low Priority: Low

  gh2375 asked Dec 14, 2018 in Q&A · Unanswered

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  An updated Dockerfile to compile IKOS

  ivanperez-keera started Sep 26, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Weak partial order implementation

  C-question Category: Question P-low Priority: Low

  arthaud started Dec 17, 2019 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💡

  Evaluate Profile-Guided Optimization (PGO)

  zamazan4ik started Jul 15, 2023 in Ideas

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Any way to pass arguments to clang

  DiRaltvein asked Jun 27, 2024 in Q&A · Unanswered

  

  

  0
• 3 You must be logged in to vote

  🙏

  Supporting LLVM 16

  ivanperez-keera asked Jan 17, 2024 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  💬

  Planning: Upcoming changes in IKOS 3.4

  ivanperez-keera started Apr 1, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Planning: Upcoming changes in IKOS 3.3

  ivanperez-keera started Dec 28, 2023 in General · Closed

  

  

  14
• 1 You must be logged in to vote

  📣

  Announcement: IKOS 3.3

  ivanperez-keera announced Apr 1, 2024 in Announcements

  

  

  0
• 1 You must be logged in to vote

  🙏

  Minimal set of effective settings

  ivanperez-keera asked Jan 12, 2024 in Q&A · Unanswered

  

  

  5
• 2 You must be logged in to vote

  📣

  [ANN] IKOS 3.2-rc1 release candidate

  ivanperez-keera announced Dec 17, 2023 in Announcements · Closed

  

  

  5
• 2 You must be logged in to vote

  📣

  Announcement: IKOS 3.2

  ivanperez-keera announced Dec 28, 2023 in Announcements

  

  

  4
• 1 You must be logged in to vote

  💬

  IKOS 3.2 -- Release planning

  ivanperez-keera started Dec 15, 2023 in General · Closed

  

  

  1
• 2 You must be logged in to vote

  🙏

  Upcoming release -- Request for feedback and testers

  ivanperez-keera asked Dec 5, 2023 in Q&A · Closed · Answered

  

  

  8
• 1 You must be logged in to vote

  💡

  Improve the precision on variable arguments function

  C-false-positive Category: False Positive L-c Language: C P-low Priority: Low

  arthaud started Jul 10, 2019 in Ideas

  

  

  0