Skip to content

Pull requests: shingarov/MachineArithmetic

New pull request New
13 Open 480 Closed
13 Open 480 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix theory symbol apply
#595 opened Sep 2, 2025 by janvrany Loading…
2
Fix incomplete checkExpr
#588 opened Aug 29, 2025 by shingarov Loading…
@shingarov
Improve support for bitvectors in Refinements
#587 opened Aug 26, 2025 by janvrany Loading…
Sprite support for Datatype-update
#556 opened May 27, 2025 by shingarov Loading…
Check subtyping for type-constructor invariants
#533 opened May 21, 2025 by shingarov Loading…
[Z3] Initial support for Z3 Strings (v2)
#516 opened May 2, 2025 by janvrany Loading…
3
Implement the symConstant TheorySymbol
#514 opened May 1, 2025 by shingarov Loading…
[Z3] Initial support for Z3 Strings
#512 opened May 1, 2025 by shingarov Loading…
1
Initial stab at almost-equal Sorts
#505 opened Apr 30, 2025 by shingarov • Draft
Implement isUndef
#480 opened Apr 6, 2025 by shingarov • Draft
First stab at Smalltalk-25 Collections
#289 opened May 27, 2024 by shingarov • Draft
Use (A×B×C) names for TypedTuples
#185 opened Feb 7, 2024 by shingarov Loading…
7
Make MA work on Pharo 9/10 and on GT
#52 opened Mar 29, 2023 by janvrany • Draft
9
ProTip! Exclude everything labeled bug with -label:bug.