pschanely CrossHair General · Discussions · GitHub

Sort by: Latest activity

General Discussions

Chat about anything and everything here

You must be logged in to vote

Refining CrossHair's Internal Testing Strategy

pschanely started Mar 26, 2021 in General

2
You must be logged in to vote

Is CrossHair a Software Verification Tool?

pschanely started Feb 11, 2022 in General

2
You must be logged in to vote

Hash-related evaluation discrepancies

pschanely started Aug 14, 2024 in General

2
You must be logged in to vote

Is it too annoying to add isfinite() preconditions?

pschanely started Jul 1, 2024 in General

2
You must be logged in to vote

Z3 dependency in NixOS

andrew222651 started Nov 27, 2022 in General

0
You must be logged in to vote

Investigate PEP523: overriding the frame evaluation behavior

pschanely started Nov 3, 2022 in General

0
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
You must be logged in to vote

Exhaustive path exploration

Gondolav started Dec 2, 2021 in General

5
You must be logged in to vote

Error when running crosshair on MacOS, python3.9

samuelchassot started Dec 17, 2021 in General

3
You must be logged in to vote

Any thoughts on a criticism of design by contract?

andrew222651 started Oct 15, 2021 in General

8