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

Code generation speed up for cbmc #25

Open
Skypr opened this issue Mar 13, 2017 · 2 comments
Open

Code generation speed up for cbmc #25

Skypr opened this issue Mar 13, 2017 · 2 comments
Labels
enhancement
Milestone
third week (ends ...

Comments

@Skypr
Copy link
Contributor

Skypr commented Mar 13, 2017 •
edited
Loading

In the for loop "for_all_voters", place assumes inside, because less variables and clauses are created by cbmc in that case, which should speed it up a bit for bigger numbers for voters / candidates
@Skypr Skypr added this to the third week (ends 20.03.2017) milestone Mar 13, 2017
@Skypr Skypr assigned ghost Mar 13, 2017
@bigolol
Copy link
Contributor

bigolol commented Mar 13, 2017

I just fixed a bug in code generation so please wait a couple minutes

@ghost
Copy link

ghost commented Mar 20, 2017

This would be very difficult to implement.
Right now the CodeGeneration works totally different.
Because of performance beeing not one of the greatest goals of our program this enhancement doesn't have to be implemented.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
third week (ends 20.03.2017)
Development

No branches or pull requests
2 participants
@Skypr @bigolol