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

ELINA(--crab-dom=opt) uses octagon instead of opt_octagon #22

Closed
skkeem opened this issue Oct 20, 2018 · 2 comments
Closed

ELINA(--crab-dom=opt) uses octagon instead of opt_octagon #22

skkeem opened this issue Oct 20, 2018 · 2 comments

Comments

@skkeem
Copy link

skkeem commented Oct 20, 2018 •
edited
Loading

Given the description of crab options, I expected crab-llvm to use optimized octagon. This seems to be not the case in the current implementation.
@skkeem skkeem mentioned this issue Oct 20, 2018
Closed
@caballa
Copy link
Contributor

caballa commented Oct 20, 2018

Yes, I should have updated the description. The problem is that the Elina version used by crab-llvm is a pretty old one. In that version I found some termination problems so I decided to switch to Apron. The solution here is to switch to the latest Elina version. It has been on my TODO list for a while. It should be straightforward but didn't have time. You are the first person complaining so maybe it's time to do it.

@caballa
Copy link
Contributor

caballa commented Nov 10, 2018

Elina has been already integrated. More comments in #23

@caballa caballa closed this as completed Nov 10, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@caballa @skkeem