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

[FEATURE] Remove FailPredT #665

Closed
konnov opened this issue Mar 19, 2021 · 0 comments · Fixed by #676
Closed

[FEATURE] Remove FailPredT #665

konnov opened this issue Mar 19, 2021 · 0 comments · Fixed by #676
Assignees
@konnov
Labels
FSMT Feature: Improvements in the SMT encoding new New issue to be triaged. refactoring
Milestone
March iteration

Comments

@konnov
Copy link
Collaborator

konnov commented Mar 19, 2021

Remove FailPredT, as it is still appearing in the tests, but is not doing anything useful
@konnov konnov added new New issue to be triaged. refactoring labels Mar 19, 2021
@konnov konnov added this to the April iteration milestone Mar 19, 2021
@konnov konnov self-assigned this Mar 19, 2021
@konnov konnov added the FSMT Feature: Improvements in the SMT encoding label Mar 20, 2021
konnov added a commit that referenced this issue Mar 24, 2021
@konnov
closes #665: removed FailPredT and deprecated rules
dd59898
@konnov konnov mentioned this issue Mar 24, 2021
Merged
4 tasks
This was referenced Mar 29, 2021
Closed
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
FSMT Feature: Improvements in the SMT encoding new New issue to be triaged. refactoring
Projects
None yet
Milestone
March iteration
Development

Successfully merging a pull request may close this issue.

Remove FailPredT and deprecated rewriting rules apalache-mc/apalache
1 participant
@konnov