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

Tilføj option i cli og gRPC til hvor højt i træet, clock reduction skal ske #123

Open
2 tasks done
Laursen79 opened this issue Nov 15, 2022 · 1 comment
Open
2 tasks done

Tilføj option i cli og gRPC til hvor højt i træet, clock reduction skal ske #123

Laursen79 opened this issue Nov 15, 2022 · 1 comment
Assignees
@t-lohse

Comments

@Laursen79
Copy link

Laursen79 commented Nov 15, 2022 •
edited by t-lohse
Loading

In src/System/extract_system_rep.rs a function should be called after getting the recipe and before compile that reduces clocks and finds the height.

  • Find højden af træet og et 'indgangspunkt' for hvert transition system i træet - The height should be a recursive function on SystemRecipe
  • Sørg for at det er på det 'indgangspunkt', clock reduction bliver kørt.
@Laursen79 Laursen79 changed the title Tilføj option til hvor højt i træet, clock reduction skal ske Tilføj option i cli og gRPC til hvor højt i træet, clock reduction skal ske Nov 15, 2022
@KiraStaehr
Copy link

Estimate: 8

@t-lohse t-lohse self-assigned this Nov 15, 2022
@t-lohse t-lohse moved this from Sprint Backlog to In Progress in Reveaal Nov 15, 2022
@t-lohse t-lohse moved this from In Progress to Done in Reveaal Nov 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@t-lohse t-lohse

Labels
None yet
Projects
Reveaal
Status: Done
Milestone
No milestone
Development

No branches or pull requests
3 participants
@t-lohse @Laursen79 @KiraStaehr