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

Don't declare states/inputs up front #12

Closed
makaimann opened this issue Jan 29, 2020 · 3 comments
Closed

Don't declare states/inputs up front #12

makaimann opened this issue Jan 29, 2020 · 3 comments
Assignees
@makaimann
Labels
structural Interface or structural changes to the code (not just internal refactoring)
Milestone
Stable Transition...

Comments

@makaimann
Copy link
Collaborator

There are often scenarios where an input needs to be "promoted" to a state variable based on some added constraints (important for soundness!). This is much easier to do if they are not declared beforehand, but instead marked as states later.
@makaimann makaimann added the structural Interface or structural changes to the code (not just internal refactoring) label Jan 29, 2020
@makaimann makaimann self-assigned this Jan 29, 2020
@makaimann
Copy link
Collaborator Author

Addressing this with https://github.com/upscale-project/cosa2/pull/17. Decided to still declare them up front.

@ahmed-irfan
Copy link
Collaborator

this can be closed i think

@makaimann
Copy link
Collaborator Author

Good catch, this was addressed with https://github.com/upscale-project/cosa2/pull/17

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@makaimann makaimann

Labels
structural Interface or structural changes to the code (not just internal refactoring)
Projects
None yet
Milestone
Stable Transition System Interface
Development

No branches or pull requests
2 participants
@makaimann @ahmed-irfan