Owner

pschanely

Zum Folgen anmelden

1 indexiertes Repository · Auf GitHub ansehen

Einsteigerfreundlich Alles
Offen Alle

Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen

  • Close testing gaps for operations on symbolic containers
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

    pschanely/CrossHair#518 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • CrossHairInternal "Numeric operation on symbolic while not tracing" via deep_realize → _deepconstruct → user __getstate__ (repro on attrs)
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

    pschanely/CrossHair#509 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Follow-up windows support tasks
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#467 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • measure_support over-reports "black" (soundness-bug) cells: ~96% are false positives
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

    pschanely/CrossHair#456 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Symbolic float model (RealBasedSymbolicFloat) diverges from IEEE-754 → false counterexamples in %, divmod, round, pow
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 45/100

    pschanely/CrossHair#455 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Unsound: mutating a symbolic array.array then comparing it to a concrete array.array falsely confirms
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 75/100

    pschanely/CrossHair#453 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Unsound: `crosshair check` confirms `a != Decimal("2")` (symbolic Decimal cannot reach most nonzero values)
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100

    pschanely/CrossHair#448 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Investigate Python 3.15 support
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

    pschanely/CrossHair#437 · 4 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Support dateutil.relativedelta on the ordinal date representation
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#431 · 5 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Introduce lazy, import-triggered registration (and a clean pattern for optional-module libimpl)
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#430 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Use modern defaults for codebase
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 50/100

    pschanely/CrossHair#417 · 3 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Triage very slow hypothesis test under crosshair
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#392 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Side effect not detected on Unstructured-IO/unstructured code
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#388 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Provide better error messaging when type resolution fails
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#380 · 3 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Assert post-conditions not recognized
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 28/100

    pschanely/CrossHair#361 · 4 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Support symbolic indexing into concrete containers
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    pschanely/CrossHair#332 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Cover example differs
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#316 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Avoid weakref nondeterminism
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#313 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Perform validating executions
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#309 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Lazy-load function patches
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#298 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Missing (~esoteric) proxy type emulations
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    pschanely/CrossHair#288 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Crash when integer has (way) too many digits
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#285 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Fully support stream-based and incremental encode/decode.
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100

    pschanely/CrossHair#273 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Implement pluggable smtlib2 backends
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#250 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Heuristics for lengths of sequence-like symbolics
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#247 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Improve premature realization heuristics
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#245 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Ensure all isinstance checks account for undecided types
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#237 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Unexpected checking results for functions with/without type annotations
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#234 · 5 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Support atomic grouping and possessive quantifiers
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#211 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Unexpected counterexample when indexing a symbolic sequence by a object of unknown type
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

    pschanely/CrossHair#200 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • "watch""check" return nothing
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#199 · 6 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Neovim LSP Support
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

    pschanely/CrossHair#198 · 5 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • `None` in `max` and `min` goes undetected
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100

    pschanely/CrossHair#194 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Do not attempt to short-circuit calls with concrete arguments
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#190 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Re-investigate string and sequence solvers
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#189 · 7 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Generated test suite with cover option contains failing tests
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#188 · 5 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Extending native types doesn't work as expected
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#184 · 2 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Independent blog posts about CrossHair
    Offen
    • Stimmt etwas nicht?
    good first issue Hacktoberfest help wanted

    Schwierigkeit 2/5 1-2 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#173 · 3 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Contract enforcement of calls with *a/**kw on windows does not happen.
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#169 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Handle revamped invocation opcodes in Python 3.11
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100

    pschanely/CrossHair#168 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Pretty printing object instances (counter examples)
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

    pschanely/CrossHair#164 · 7 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Register contracts for nondeterministic functions in the standard library
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#162 · 2 Kommentare · 1 Reaktion ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Support literal dictionaries with symbolic keys
    Evtl. wieder frei Offen
    • Stimmt etwas nicht?
    enhancement Hacktoberfest

    pschanely/CrossHair#154 · 5 Kommentare · 1 zugewiesene Person ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Add symbolic support for BytesIO
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#151 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Support targeting by package names, not just module names
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 38/100

    pschanely/CrossHair#147 ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Obtain symbolic values and path conditions without concretization after `path_cover` for post-testing analysis
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#142 · 4 Kommentare ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Symbolic string encode/decode
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

    pschanely/CrossHair#137 · 1 Kommentar ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Consider moving tests outside of application code
    Offen
    • Stimmt etwas nicht?
    enhancement

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#135 · 1 Kommentar · 1 Reaktion ·

    Maintainer antworten meist innerhalb von 2 Tagen

  • Do not repeatedly check fully-verifiable conditions in `crosshair watch`
    Offen
    • Stimmt etwas nicht?

    Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

    pschanely/CrossHair#134 ·

    Maintainer antworten meist innerhalb von 2 Tagen

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.