Search results

Support symbolic indexing into concrete containers

enhancement

Status: Open.

#332 In pschanely/CrossHair;

· pschanely opened on Jan 11, 2025

Add support for the "struct" module

enhancement

Status: Open.

#331 In pschanely/CrossHair;

· pschanely opened on Jan 10, 2025

Find counter-examples without nan while performing diffbehavior

enhancement

Status: Open.

#325 In pschanely/CrossHair;

· Abhiram98 opened on Dec 7, 2024

Cover example differs

Status: Open.

#316 In pschanely/CrossHair;

· isidroas opened on Nov 2, 2024

Publish a wasm build so Crosshair can be used on the client-side web

enhancement

Status: Open.

#314 In pschanely/CrossHair;

· Zac-HD opened on Oct 11, 2024

Avoid weakref nondeterminism

Status: Open.

#313 In pschanely/CrossHair;

· pschanely opened on Oct 5, 2024

Perform validating executions

enhancement

Status: Open.

#309 In pschanely/CrossHair;

· pschanely opened on Sep 23, 2024

Diagnose slow hypothesis tests

Status: Open.

#301 In pschanely/CrossHair;

· pschanely opened on Aug 19, 2024

Lazy-load function patches

enhancement

Status: Open.

#298 In pschanely/CrossHair;

· pschanely opened on Aug 13, 2024

Support binascii module

Status: Open.

#289 In pschanely/CrossHair;

· pschanely opened on Aug 3, 2024

Missing (~esoteric) proxy type emulations

Status: Open.

#288 In pschanely/CrossHair;

· pschanely opened on Aug 3, 2024

Crash when integer has (way) too many digits

Status: Open.

#285 In pschanely/CrossHair;

· Zac-HD opened on Jul 24, 2024