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

Improve precision and performance of backward operations #15

Open
caballa opened this issue Aug 8, 2017 · 2 comments
Open

Improve precision and performance of backward operations #15

caballa opened this issue Aug 8, 2017 · 2 comments
Assignees
@caballa
Labels
enhancement

Comments

@caballa
Copy link
Contributor

caballa commented Aug 8, 2017

No description provided.

@caballa caballa changed the title Improve precision of backward operations Improve precision and performance of backward operations Oct 29, 2017
@caballa
Copy link
Contributor Author

caballa commented May 7, 2019

Only apron and elina domains are reasonably precise.
For our own domains, we need to implement at least the case x := e where x appears in e.

@caballa caballa self-assigned this May 7, 2019
@caballa
Copy link
Contributor Author

caballa commented Jun 16, 2019

In commit 1fe7b1b, the precision of invertible assignments is improved (all crab domains benefit from this).

In commit 4f29bae, backward array transfer functions are implemented for array_expansion domain.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@caballa caballa

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@caballa