Skip to content

Issues: pschanely/CrossHair

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

59 Open 107 Closed
59 Open 107 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Cover example differs
#316 opened Nov 2, 2024 by isidroas
2
Publish a wasm build so Crosshair can be used on the client-side web enhancement
#314 opened Oct 11, 2024 by Zac-HD
2
Avoid weakref nondeterminism
#313 opened Oct 5, 2024 by pschanely
1
Perform validating executions enhancement
#309 opened Sep 23, 2024 by pschanely
1
Diagnose slow hypothesis tests
#301 opened Aug 19, 2024 by pschanely
8
Lazy-load function patches enhancement
#298 opened Aug 13, 2024 by pschanely
Support binascii module
#289 opened Aug 3, 2024 by pschanely
Missing (~esoteric) proxy type emulations
#288 opened Aug 3, 2024 by pschanely
Crash when integer has (way) too many digits
#285 opened Jul 24, 2024 by Zac-HD
2
z3 boolean isn't number-comparable
#283 opened Jul 23, 2024 by pschanely
Fully support stream-based and incremental encode/decode.
#273 opened Jul 14, 2024 by pschanely
Implement pluggable smtlib2 backends enhancement
#250 opened Mar 13, 2024 by pschanely
Heuristics for lengths of sequence-like symbolics enhancement
#247 opened Mar 9, 2024 by pschanely
Improve premature realization heuristics enhancement
#245 opened Feb 28, 2024 by pschanely
Ensure all isinstance checks account for undecided types
#237 opened Jan 12, 2024 by pschanely
Unexpected checking results for functions with/without type annotations
#234 opened Jan 10, 2024 by eXceediDeaL
4
CrossHair is missing symbolic support for str.split without arguments enhancement missed bug CrossHair does not report a problem that it (possibly) could have.
#223 opened Nov 7, 2023 by pschanely
Support atomic grouping and possessive quantifiers
#211 opened Jul 21, 2023 by pschanely
Support annotated-types enhancement
#201 opened Mar 24, 2023 by amacfie
1
Unexpected counterexample when indexing a symbolic sequence by a object of unknown type
#200 opened Mar 15, 2023 by pschanely
"watch""check" return nothing
#199 opened Mar 2, 2023 by PorcoRosso85
6
Neovim LSP Support enhancement
#198 opened Mar 1, 2023 by PorcoRosso85
5
None in max and min goes undetected
#194 opened Dec 9, 2022 by mristin
1
Do not attempt to short-circuit calls with concrete arguments
#190 opened Nov 23, 2022 by pschanely
Re-investigate string and sequence solvers
#189 opened Nov 21, 2022 by pschanely
7
ProTip! Updated in the last three days: updated:>2024-11-11.