lart: Rework walking of llvm in abstraction pass. (ceb34012) · Commits · paradise / mirror / DIVINE

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Commit ceb34012 authored Mar 20, 2017 by

Henrich Lauko

Browse files

lart: Rework walking of llvm in abstraction pass.


Order of all llvm instrunctions that are to be abstracted is now
precomputed before the abstraction.

parent e9c8815d

Hide whitespace changes

Inline Side-by-side

Please register or to comment

Admin message

lart: Rework walking of llvm in abstraction pass.