issues
search
shingarov
/
MachineArithmetic
A mathematical foundation for Smalltalk-25
MIT License
17
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[Reader] Signal NoAnswer instead of unstructured Error
#386
shingarov
closed
3 days ago
0
[PreSmalltalks] Implement LH "Unsafe Symbol" encoding
#385
shingarov
closed
4 days ago
0
[Query] Signal structured error (NoAnswer) instead of just Error
#384
shingarov
closed
3 days ago
5
(Re)introduce mid-level Z3 Datatype API
#383
shingarov
closed
1 week ago
0
[Z3] Fix number-of-datatypes hardcoded to 2
#382
shingarov
closed
1 week ago
0
Second major overhaul of Hindley–Milner
#381
shingarov
opened
2 weeks ago
0
Fix bogus antidependency of FP on Sprite
#380
shingarov
closed
2 weeks ago
0
Add `Bool class>>distinct:` as part of "multi-arity ops" protocol
#379
shingarov
closed
2 weeks ago
0
Remove useless and confusing `Expr>>,`
#378
shingarov
closed
2 weeks ago
0
Add `Z3Sort>>isIntSort` in parallel to isBoolSort
#377
shingarov
closed
2 weeks ago
0
Force-remove 6119c
#376
shingarov
closed
2 weeks ago
0
Generalize PAtomEq to PAtom
#375
shingarov
closed
2 weeks ago
1
Run CI against multiple Z3 versions
#374
janvrany
closed
3 weeks ago
0
Move error check right after making call to Z3
#373
janvrany
closed
3 weeks ago
0
re-subclass Z3CAPITest
#372
shingarov
closed
2 weeks ago
2
Clear error in `#errorCheck`
#371
janvrany
closed
3 weeks ago
0
Generalize PAtomEq to PAtom
#370
shingarov
closed
2 weeks ago
1
Add missing `Expr>>#<=`
#369
shingarov
closed
3 weeks ago
0
Port LiquidFixpoint's FQ ("new-format") tests
#368
shingarov
closed
4 weeks ago
0
Overhaul NNFParser
#367
shingarov
closed
4 weeks ago
0
Require at least one argument to κ-app
#366
shingarov
closed
1 month ago
0
Reuse #decimalNat instead of spelling it out every time
#365
shingarov
closed
1 month ago
0
Clear up confusion between `hBind` and `bind`
#364
shingarov
closed
1 month ago
0
Port LiquidFixpoint's FQ ("new-format") tests
#363
shingarov
closed
4 weeks ago
1
Pass the SymEnv into #sort: indirectly through Reader
#362
shingarov
closed
1 month ago
0
Assorted minor grooming
#361
shingarov
closed
1 month ago
0
Test PR to kick CI on `FxData3`
#360
shingarov
closed
2 weeks ago
1
Rationalize `#z3sort` in anticipation of Algebraic Datatypes
#359
shingarov
closed
1 month ago
0
CI: disable Windows for schedule builds
#358
janvrany
closed
1 month ago
0
Pass the SymEnv into #sort: indirectly through Reader
#357
shingarov
closed
1 month ago
1
Pass the SymEnv into #sort: indirectly through Reader
#356
shingarov
closed
1 month ago
0
Refactor #aggregateNTs through SEnv
#355
shingarov
closed
1 month ago
0
Fix incorrect name TC>>sym, it must be #symbol
#354
shingarov
closed
1 month ago
0
[Z3] Add programmatic access to error code and error message
#353
janvrany
closed
1 month ago
0
[Z3] Add Z3 API tests for error checking
#352
janvrany
closed
1 month ago
0
Overhaul Z3-level Datatype API
#351
shingarov
closed
1 month ago
0
Implement Z3 API stack for tuple/enum/list convenience APIs
#350
shingarov
closed
1 month ago
0
Remove bogus Z3Context>>z3fullVersion
#349
shingarov
closed
1 month ago
0
`apigen.py` generates `c errorCheck` after `solver_dec_ref()`
#348
shingarov
opened
1 month ago
2
Allow also uppercase spelling of Bool in NNFParser
#347
shingarov
closed
1 month ago
0
Assorted grooming of Z3 BitVectors
#346
shingarov
closed
1 month ago
0
Implement class Cell
#345
shingarov
closed
1 month ago
0
Investigate non-Z3-data FTC
#344
shingarov
opened
2 months ago
0
Clean up Z3ListDatatypeTest
#343
shingarov
closed
2 months ago
0
Add instance-side `Query >> #query`
#342
janvrany
closed
3 months ago
0
Add context query
#341
janvrany
closed
3 months ago
4
Implement `F.DataDecl` on top of Z3 Datatypes
#340
shingarov
opened
3 months ago
0
Idiomatic Smalltalk API for Z3 Datatypes
#339
shingarov
opened
3 months ago
0
Refactor datatypes
#338
janvrany
opened
3 months ago
0
Clean up trivial code duplication (bTrue)
#337
shingarov
closed
4 months ago
0
Next