go-air/pal

Issues

• function call

  #45 opened 3 years ago by scott-cotton
  2

• objects -- manage lifecycle of memory model w.r.t. Go things

  #40 opened 3 years ago by scott-cotton
  3

• Roadmap

  #33 opened 3 years ago by scott-cotton
  0

• indexing

  #36 opened 3 years ago by scott-cotton
  2

• ssa2pal

  #38 opened 3 years ago by scott-cotton
  0

• memory model

  #35 opened 3 years ago by scott-cotton
  2

• Tracking issue for https://github.com/golang/go/issues/47725

  #43 opened 3 years ago by scott-cotton
  0

• types -- represent locatable objects

  #37 opened 3 years ago by scott-cotton
  1

• cli-

  #34 opened 3 years ago by scott-cotton
  0

• docs

  #39 opened 3 years ago by scott-cotton
  0

• Generate a first basic memory model from ssa

  #1 opened 3 years ago by scott-cotton
  1

• Add constraints from ssa.

  #8 opened 3 years ago by scott-cotton
  2

• constraint indexing for opaque locs

  #9 opened 3 years ago by scott-cotton
  1

• naive solver

  #10 opened 3 years ago by scott-cotton
  1

• calling (basic)

  #15 opened 3 years ago by scott-cotton
  2

• index addr

  #14 opened 3 years ago by scott-cotton
  1

• Start Plain encode memory model

  #12 opened 3 years ago by scott-cotton
  1

• Update design doc

  #2 opened 3 years ago by scott-cotton
  2

• Draft Contributing guidelines

  #4 opened 3 years ago by scott-cotton
  0

• Decide on CoC

  #3 opened 3 years ago by scott-cotton
  1