Code

Make MA work on Pharo 9/10 and on GT#52

Code

Draft

janvrany wants to merge 9 commits intoshingarov:pure-z3shingarov/MachineArithmetic:pure-z3from janvrany:pr/fix-pharo9-and-laterjanvrany/MachineArithmetic:pr/fix-pharo9-and-laterCopy head branch name to clipboard

+539-91

Commits

Commits on Aug 25, 2023

• Fix pharo.gmk to download Pharo 9.0 and later

  Show description for f2d6f6e
  janvrany

  committed
  f2d6f6e

  Copy full SHA for f2d6f6e

• Extract currying overrides into version-specific packages

  Show description for 0dd698a
  janvrany

  committed
  0dd698a

  Copy full SHA for 0dd698a

• Rewrite Z3CAPITest >> #testFindModel0 without using compiler API

  Show description for fda70d6
  janvrany

  committed
  fda70d6

  Copy full SHA for fda70d6

• Load external #mustBeBoolean deoptimization support package on P10

  Show description for c0a8e81
  janvrany

  committed
  c0a8e81

  Copy full SHA for c0a8e81

• Move copy of MustBeBooleanMagic package to MachineArithmetic

  Show description for 16f92eb
  janvrany

  committed
  16f92eb

  Copy full SHA for 16f92eb

• Use (new) #mustBeBooleanMagicDoitForContext: instead of #asDoitForContext:

  Show description for 5146f3c
  janvrany

  committed
  5146f3c

  Copy full SHA for 5146f3c

• Add P10-specific methods to CardanoTartagliaContext

  Show description for 4e2a218
  janvrany

  committed
  4e2a218

  Copy full SHA for 4e2a218

• Add P11-specific methods to CardanoTartagliaContext

  Show description for 911fbbe
  janvrany

  committed
  911fbbe

  Copy full SHA for 911fbbe

• CI: add P10 to test matrix as experimental

  janvrany

  committed
  6ddcc1d

  Copy full SHA for 6ddcc1d