Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add constraints from ssa. #8

Closed
scott-cotton opened this issue Aug 1, 2021 · 2 comments
Closed

Add constraints from ssa. #8

scott-cotton opened this issue Aug 1, 2021 · 2 comments
Assignees
@scott-cotton
Labels
proto label for prototyping, to distinguish from more production issues. Task Task
Projects
board -- pal

Comments

@scott-cotton
Copy link
Member

Encode constraints into the memory model from the ssa.
@scott-cotton scott-cotton added Task Task proto label for prototyping, to distinguish from more production issues. labels Aug 1, 2021
@scott-cotton scott-cotton added this to Backlog in board -- pal Aug 1, 2021
@scott-cotton scott-cotton self-assigned this Aug 2, 2021
@scott-cotton scott-cotton moved this from Backlog to Todo in board -- pal Aug 2, 2021
scott-cotton added a commit that referenced this issue Aug 2, 2021
@scott-cotton
stub docs/index.md on proto branch
1a779a2 
This is really just to test if the links work in the commit message.

For #8
@scott-cotton
Copy link
Member Author

This is mostly done, piggy-backed on #14

Still tbd:

  • make interface
  • make closure
  • function variables with methods
  • function variables with variadic args
  • recv
  • make chan

@scott-cotton
Copy link
Member Author

eorganising issues to adapt to new roadmap.

board -- pal automation moved this from Todo to Done Aug 15, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@scott-cotton scott-cotton

Labels
proto label for prototyping, to distinguish from more production issues. Task Task
Projects
board -- pal
Done
Milestone
No milestone
Development

No branches or pull requests
1 participant
@scott-cotton