Skip to content

Issues: shingarov/MachineArithmetic

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

53 Open 21 Closed
53 Open 21 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

Picking NaturalTransformation component crashes blocker bug Something isn't working
#397 opened Nov 18, 2024 by shingarov
Add Inv assumptions for all data-type binders in Cstr
#393 opened Nov 18, 2024 by shingarov
1
apigen.py generates c errorCheck after solver_dec_ref()
#348 opened Sep 19, 2024 by shingarov
@janvrany
2
Investigate non-Z3-data FTC
#344 opened Sep 12, 2024 by shingarov
@shingarov
Idiomatic Smalltalk API for Z3 Datatypes backburner TODO at some future date
#339 opened Aug 8, 2024 by shingarov
1
Move Prog's Monoid here from Tinyrossa
#336 opened Jul 16, 2024 by shingarov
Support for Any-length BitVectors
#334 opened Jul 16, 2024 by shingarov
@shingarov
Expose Hindley–Milner inference engine as public API blocker
#332 opened Jul 9, 2024 by shingarov
@shingarov
[Z3] Shall we pull isPoisoned, ensureValid and friends up?
#296 opened Jun 19, 2024 by shingarov
[Z3] Bogus Z3Node>>#= leading to nightmare in Substitution
#287 opened May 26, 2024 by shingarov
1
[PreSmalltalks] Investigate corner cases for concat
#285 opened May 22, 2024 by shingarov
@shingarov
Investigate why chaining reflect-after-inline fails bug Something isn't working
#273 opened May 3, 2024 by shingarov
Investigate smt2Cast and the as x T pattern
#272 opened May 3, 2024 by shingarov
Express the PLE Trie over Benoît's idiomatic Smalltalk
#268 opened May 3, 2024 by shingarov
[PLE] Negative Gauss diverges blocker bug Something isn't working
#265 opened Mar 28, 2024 by shingarov
@shingarov
1
Trying to reflect over polymorphic function crashes even for ℤ⊆'a bug Something isn't working
#255 opened Mar 15, 2024 by shingarov
1
[Z3] Finalize Datatype API blocker
#253 opened Mar 15, 2024 by shingarov
Empty natural transformation in yellow-safe constraint
#232 opened Mar 5, 2024 by shingarov
Why is ECon subclass of SpriteImm? backburner TODO at some future date
#194 opened Feb 18, 2024 by shingarov
Fix Sprite's DataTypeParser good first issue Good for newcomers
#193 opened Feb 16, 2024 by janvrany
Review package MathNotation
#189 opened Feb 9, 2024 by janvrany
1
Factor TypedTuple into Product vs the rest backburner TODO at some future date
#186 opened Feb 7, 2024 by shingarov
1
Connect Floyd–Hoare (aka axiomatic) to game-theoretic semantics
#181 opened Dec 15, 2023 by shingarov
Connect Decidable and Shallow refinements blocker
#174 opened Nov 27, 2023 by shingarov
1
Move OttawaLCF here
#168 opened Nov 11, 2023 by shingarov
ProTip! Follow long discussions with comments:>50.