Roadmap

[scott-cotton]

• cli- #34
  - [x] analyzer framework stub
  - [ ] service
• memory model #35
  - [x] constraints (load, store, transfer)
  - [x] plain serialize
  - [ ] solve
  - [ ] solve with opaque bindings
  - [ ] export
  - [ ] import
• indexing #36
  - [ ] integrate types
  - [ ] dev.typeparams version
• types -- represent locatable objects #37
  - [ ] to go types
  - [x ] from go types
  - [x ] serialize
• objects -- manage lifecycle of memory model w.r.t. Go things #40
  - [x] creation
  - [ ] function call
  - [x] map update, lookup
  - [x] slice indexing
• ssa2pal #38
  - [x] loads
  - [x] stores
  - [x] map values to memory locations
  - [x] map values to objects
  - [ ] indexing arithmetic operations
  - [x] structs
  - [x] arrays
  - [ ] slices
  - [x] returns
  - [x] phi nodes
  - [x] function objects
  - [ ] function variadics
  - [ ] builtins
  - [x] range/next iterations.
• docs #39
  - [x] statement of purpose
  - [ ] design
  - [ ] cli
  - [ ] service
  - [ ] tutorial
  - [ ] reference