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

SMT Sorts in Ultimate #152

Closed
Heizmann opened this issue Apr 6, 2017 · 4 comments
Closed

SMT Sorts in Ultimate #152

Heizmann opened this issue Apr 6, 2017 · 4 comments
Assignees
@danieldietsch @greitsch
Labels
enhancement SMT

Comments

@Heizmann
Copy link
Member

Heizmann commented Apr 6, 2017 •
edited by danieldietsch
Loading

We have a new class for the handling of SMT sorts in Ultimate.
f57571a
TODO: Replace all occurrences in Ultimate where sorts are constructed or checked by the static strings and methods of this class
@danieldietsch
Copy link
Member

@greitsch: this may potentially resolve #136; if you agree, please close #136.

@greitsch
Copy link
Member

greitsch commented Apr 6, 2017

@danieldietsch It only resolves #136 if all references to strings are replaced with the references defined by f57571a.

@danieldietsch
Copy link
Member

So you agree that if #152 is resolved, #136 is resolved?

@greitsch
Copy link
Member

greitsch commented Apr 6, 2017

Yes. That's correct.

@danieldietsch danieldietsch mentioned this issue Apr 6, 2017
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@danieldietsch danieldietsch

@greitsch greitsch

Labels
enhancement SMT
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Heizmann @danieldietsch @greitsch