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

Enforce state-thread token checks #64

Open
4 tasks
uhbif19 opened this issue May 7, 2024 · 2 comments
Open
4 tasks

Enforce state-thread token checks #64

uhbif19 opened this issue May 7, 2024 · 2 comments
Assignees
@uhbif19
Labels
cem-interfaces good first issue Good for newcomers
Milestone
M4: Advanced feat...

Comments

@uhbif19
Copy link
Contributor

uhbif19 commented May 7, 2024 •
edited
Loading

Turns out we can generate generic state-thread token, which supports branching.

TODO:

  • Stub token compilation in CEMScriptCompiled
  • Enforcing token is present in script state: on- and off-chain
  • Checking creation is correct in token
  • Checking branching is correct in token

Blocked by #24
@uhbif19 uhbif19 self-assigned this May 7, 2024
@uhbif19 uhbif19 added this to the M3: Basic model-driven testing milestone May 7, 2024
@euonymos
Copy link
Member

euonymos commented May 7, 2024

This is very nice, might bump the overall usability dramatically.

@github-actions GitHub Actions
Copy link

github-actions bot commented May 11, 2024 •
edited
Loading

Status: Ready to merge ✔️

Issues blocking this PR:

This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.

@github-actions github-actions bot added the blocked Waiting for another PR/issue to be merged/closed. label May 11, 2024
@github-actions github-actions bot removed the blocked Waiting for another PR/issue to be merged/closed. label Sep 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@uhbif19 uhbif19

Labels
cem-interfaces good first issue Good for newcomers
Projects
None yet
Milestone
M4: Advanced features and robustness
Development

No branches or pull requests
2 participants
@uhbif19 @euonymos