Discussions

• 2 You must be logged in to vote

  💬

  Is it too annoying to add isfinite() preconditions?

  pschanely started Jul 1, 2024 in General

  

  

  2
• 1 You must be logged in to vote

  🙏

  Unable to meet precondition and too low coverage, why?

  LinqLover asked Jan 3, 2023 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How to work around CrossHair Output Values

  thierryxdp asked Oct 14, 2023 in Q&A · Unanswered

  

  

  3
• 2 You must be logged in to vote

  💡

  Checking SQL code with SQLGlot

  amacfie started Nov 29, 2022 in Ideas

  

  

  

  

  11
• 2 You must be logged in to vote

  💡

  Trying concrete values when path execution timeout reached?

  amacfie started Apr 8, 2021 in Ideas

  

  

  10
• 1 You must be logged in to vote

  🙏

  possible way to use it with dataframes?

  petrusboniatus asked Nov 17, 2022 in Q&A · Unanswered

  

  

  

  

  18
• 1 You must be logged in to vote

  💬

  Z3 dependency in NixOS

  amacfie started Nov 27, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Investigate PEP523: overriding the frame evaluation behavior

  pschanely started Nov 3, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  🗳️

  When CrossHair reports a counterexample, should it show keyword arguments?

  pschanely started Oct 16, 2022 in Polls

  

  

  1
• 1 You must be logged in to vote

  💡

  diffbehavior doesn't detect changed behavior in the argument

  pschanely started Oct 7, 2022 in Ideas

  

  

  0
• 2 You must be logged in to vote

  💡

  Should CrossHair diffbehavior detect reordered parameters?

  pschanely started Oct 7, 2022 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  CrossHair + PyPy Opportunities.

  pschanely started Apr 8, 2021 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💡

  Contracts with existential quantification

  pschanely started May 31, 2022 in Ideas

  

  

  1
• 1 You must be logged in to vote

  💬

  Using CrossHair to convert simple functions into Z3 expressions to verify time sensitive applications

  asrv started May 29, 2022 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  Is CrossHair a Software Verification Tool?

  pschanely started Feb 11, 2022 in General

  

  

  0
• 1 You must be logged in to vote

  💡

  Check code as if in PYTHONOPTIMIZE mode

  Zac-HD started Oct 8, 2021 in Ideas

  

  

  3
• 2 You must be logged in to vote

  💡

  Implementing a symbolic string capitalization method

  davidmrdavid started Jan 27, 2021 in Ideas

  

  

  2
• 2 You must be logged in to vote

  💡

  Interesting stuff with CrossHair and API evolution / versioning

  pschanely started Dec 3, 2021 in Ideas

  

  

  1
• 2 You must be logged in to vote

  💡

  Contract stub files

  amacfie started Apr 22, 2021 in Ideas

  

  

  4
• 1 You must be logged in to vote

  🙏

  Understanding Python Regular Expression Modeling using Z3

  swag2198 asked Feb 8, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  Exhaustive path exploration

  Gondolav started Dec 2, 2021 in General

  

  

  

  

  5
• 1 You must be logged in to vote

  💬

  Error when running crosshair on MacOS, python3.9

  samuelchassot started Dec 17, 2021 in General

  

  

  3
• 1 You must be logged in to vote

  💬

  Any thoughts on a criticism of design by contract?

  amacfie started Oct 15, 2021 in General

  

  

  

  

  8
• 2 You must be logged in to vote

  🙏

  Testing for "universal" assumptions

  harahu asked Nov 21, 2021 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  💡

  Verifying Quicksort

  amacfie started Nov 7, 2021 in Ideas

  

  

  8