pschanely CrossHair issues

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

Other

1.03k stars 49 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

python's `sum` function causes internal issues

#322 Abhiram98 opened 1 day ago
0
pyodide build, #2

#321 pschanely closed 4 days ago
0
Pyodide build action

#320 pschanely closed 5 days ago
0
Error installing CrossHair with Poetry under macOS 14.4.1 in Python 3.13

#319 iusedmyimagination closed 1 week ago
4
Wip

#318 pschanely closed 1 week ago
0
Remove 3.7; improve fraction support

#317 pschanely closed 2 weeks ago
0
Cover example differs

#316 isidroas opened 3 weeks ago
2
Wip

#315 pschanely closed 1 month ago
0
Publish a wasm build so Crosshair can be used on the client-side web

#314 Zac-HD opened 1 month ago
5
Avoid weakref nondeterminism

#313 pschanely opened 1 month ago
1
NotDeterministic diagnostics and weakref support

#312 pschanely closed 1 month ago
0
Avoid "transient value" error on recursive copy

#311 pschanely closed 1 month ago
0
Perform validating executions

#309 pschanely opened 2 months ago
1
Initial precise floating point reasoning support

#308 pschanely closed 2 months ago
0
Investigate some more hypothesis tests

#307 pschanely closed 1 month ago
1
Bump actions/download-artifact from 3 to 4.1.7 in /.github/workflows

#306 dependabot[bot] closed 2 months ago
0
Ensure symbolic dicts realize properly

#305 pschanely closed 2 months ago
0
Internal error: `TypeError: type.__new__() argument 3 must be dict, not ShellMutableMap`

#304 Zac-HD closed 2 months ago
2
Don't hash sequence contents when indexing

#303 pschanely closed 3 months ago
0
Fix interpreter stack corruption on 3.12

#302 pschanely closed 3 months ago
0
Diagnose slow hypothesis tests

#301 pschanely opened 3 months ago
8
Add symbolic frozenset and concrete+symbolic indexing support

#300 pschanely closed 3 months ago
0
Lazy-load function patches

#298 pschanely opened 3 months ago
0
Weird failures using sets

#297 Zac-HD closed 3 months ago
4
Wip

#296 pschanely closed 3 months ago
0
Next Round of Hypothesis-Related Fixes

#295 pschanely closed 3 months ago
0
`RecursionError` in `_issubclass`

#294 Zac-HD closed 3 months ago
5
Support `base64.b64encode()` and friends

#293 Zac-HD closed 3 months ago
2
`z3.z3types.Z3Exception: b'parser error'` from interaction with `TypeVar`

#292 Zac-HD closed 3 months ago
3
Accept `map()` object - or any iterable - in `int.from_bytes()`

#291 Zac-HD closed 3 months ago
2
Make set & frozenset constructors symbolic-aware

#290 pschanely closed 3 months ago
2
Support binascii module

#289 pschanely opened 3 months ago
0
Missing (~esoteric) proxy type emulations

#288 pschanely opened 3 months ago
0
zlib realization, int->str base fix

#287 pschanely closed 3 months ago
0
a bytes-like object is required, not `SymbolicBytes` when calling `zlib.compress(b'')`

#286 Zac-HD closed 3 months ago
1
Crash when integer has (way) too many digits

#285 Zac-HD opened 4 months ago
2
wip

#284 pschanely closed 4 months ago
0
z3 boolean isn't number-comparable

#283 pschanely opened 4 months ago
0
regex unicode, mapping-like dict constructions, and bytes-based regex

#282 pschanely closed 4 months ago
0
dict() fix for keyword arguments

#281 pschanely closed 4 months ago
0
`PurePath(LazyIntSymbolicStr)` error

#280 tybug closed 4 months ago
6
Support named `dict` init syntax

#279 tybug closed 4 months ago
2
Wip

#278 pschanely closed 4 months ago
0
`CrosshairInternal` when printing `Fraction`

#277 tybug closed 4 months ago
1
`TypeError` in bytes regex

#276 Zac-HD closed 4 months ago
1
`typing.get_type_hints()` raises `ValueError` when used inside Crosshair

#275 Zac-HD closed 4 months ago
1
Internal error for case-insensitive regex where changing case can change string length

#274 Zac-HD closed 4 months ago
3
Fully support stream-based and incremental encode/decode.

#273 pschanely opened 4 months ago
0
`hashlib` requires the buffer protocol, which symbolics bytes don't provide

#272 Zac-HD closed 4 months ago
1
Auto-realize encode/decode arguments for unsupported codecs

#271 pschanely closed 4 months ago
1