List view

• Incremental SSA prototype

  Create a prototype [ ] Get all heap mems and Any mems for all parameters. [ ] Implement locals and constraint gen. [ ] Implement projection for acyclic call graph. [ ] Implement for cyclic call graph

  No due date

  •6/7 issues closed
  85% complete1 open6 closed