Code

Test PR to kick CI on FxData3#360

Code

Closed

shingarov wants to merge 10 commits intopure-z3shingarov/MachineArithmetic:pure-z3from FxData3shingarov/MachineArithmetic:FxData3Copy head branch name to clipboard

+531-60

Commits

Commits on Oct 13, 2024

• Pass the SymEnv into #sort: indirectly through Reader

  Show description for 6119cdd
  shingarov

  committed
  6119cdd

  Copy full SHA for 6119cdd

• Introduce classes DataCtor, DataDecl, DataField

  shingarov

  committed
  da0f9d8

  Copy full SHA for da0f9d8

• [cosmetic] Consistently classify #addToQuery: as 'construction'

  shingarov

  committed
  12aeecd

  Copy full SHA for 12aeecd

• Implement parsing of (data…) in NNF queries

  shingarov

  committed
  10eafda

  Copy full SHA for 10eafda

• First attempt to add testL5cons00data

  shingarov

  committed
  c669670

  Copy full SHA for c669670

• Add SpriteHornPosTest>>testL8uniqueVoid

  shingarov

  committed
  8cf06f0

  Copy full SHA for 8cf06f0

• more experiments with SpriteHornTests re: data

  shingarov

  committed
  3668abe

  Copy full SHA for 3668abe

• Add Datatype tests coming from SpriteHorn doodles

  shingarov

  committed
  a156555

  Copy full SHA for a156555

• BEGINNING IDIOTIC DOODLES

  shingarov

  committed
  e42ed18

  Copy full SHA for e42ed18

Commits on Oct 16, 2024

• Naive instantiation of DataFields; doesn't handle type induction

  shingarov

  committed
  10e1370

  Copy full SHA for 10e1370