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.
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
Pyk updates and bugfixes #1064
Pyk updates and bugfixes #1064
Conversation
The definition minimizer run in the test-suite minimizes the IMP language with respect to the sum.imp program. The current output that it gives is here: minimized-sum-imp.k.txt This can be improved by using the pre-kompiled definition instead, as long as the pre-kompiled definition has the rule hashes. Otherwise we'll have to use location maps to get the correct rules out (which is also definitely possible). |
Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
No description provided.