Code

Add pointers#4

Code

Draft

TomCranitch wants to merge 26 commits intomasterTomCranitch/wptool:masterfrom pointersTomCranitch/wptool:pointersCopy head branch name to clipboard

+1,300-494

Commits

Commits on Feb 4, 2021

• Being adding memory model

  TomCranitch

  committed
  f32f30c

  Copy full SHA for f32f30c

• Pointers WIP

  TomCranitch

  committed
  ddf2443

  Copy full SHA for ddf2443

• Pointers WIP

  TomCranitch

  committed
  5d10ff3

  Copy full SHA for 5d10ff3

• Pointers WIP

  TomCranitch

  committed
  a3d1b69

  Copy full SHA for a3d1b69

Commits on Feb 5, 2021

• Fixed(?) guar for vars

  TomCranitch

  committed
  d80c530

  Copy full SHA for d80c530

Commits on Feb 8, 2021

• Fix substitute for vars in memory

  TomCranitch

  committed
  a7154f6

  Copy full SHA for a7154f6

• More bug squashing

  Show description for 6a37cfb
  TomCranitch

  committed
  6a37cfb

  Copy full SHA for 6a37cfb

Commits on Feb 9, 2021

• Fix subst over _i

  TomCranitch

  committed
  d923a28

  Copy full SHA for d923a28

• Update SMT array handling

  TomCranitch

  committed
  dda8881

  Copy full SHA for dda8881

• Leave local vars unresolved and update rely for globals

  TomCranitch

  committed
  525b1bf

  Copy full SHA for 525b1bf

• Passing all tests

  Show description for 2448bf1
  TomCranitch

  committed
  2448bf1

  Copy full SHA for 2448bf1

• Update type structure and grammar

  TomCranitch

  committed
  1f925c0

  Copy full SHA for 1f925c0

Commits on Feb 11, 2021

• Fix subst for pointer aliasing

  TomCranitch

  committed
  c0d29e1

  Copy full SHA for c0d29e1

Commits on Feb 15, 2021

• Fix typing errors

  TomCranitch

  committed
  acc779d

  Copy full SHA for acc779d

Commits on Feb 16, 2021

• More pointers

  Show description for bd8afec
  TomCranitch

  committed
  bd8afec

  Copy full SHA for bd8afec

• Fix handling of array relys

  TomCranitch

  committed
  6fff56f

  Copy full SHA for 6fff56f

• More pointers/objects

  TomCranitch

  committed
  359b27a

  Copy full SHA for 359b27a

Commits on Feb 17, 2021

• Fixed vc for pointers

  TomCranitch

  committed
  4085b90

  Copy full SHA for 4085b90

• Remove fixed/unnecessary TODOs

  TomCranitch

  committed
  66ffc15

  Copy full SHA for 66ffc15

Commits on Feb 18, 2021

• Work on processing treiber stack

  Show description for 762d913
  TomCranitch

  committed
  762d913

  Copy full SHA for 762d913

• Fixed subst/eval

  TomCranitch

  committed
  9875630

  Copy full SHA for 9875630

Commits on Feb 28, 2021

• Forgot to commit!

  TomCranitch

  committed
  f178997

  Copy full SHA for f178997

Commits on Jul 7, 2021

• Merge branch 'master' into pointers

  TomCranitch

  committed
  7c902b3

  Copy full SHA for 7c902b3

Commits on Jul 9, 2021

• Declassification

  TomCranitch

  committed
  9701258

  Copy full SHA for 9701258

Commits on Jul 12, 2021

• Readme

  TomCranitch

  committed
  8daf5ed

  Copy full SHA for 8daf5ed

• Declassify caslev put

  TomCranitch

  committed
  06b1079

  Copy full SHA for 06b1079