search

phate / jlm

GNU Lesser General Public License v2.1
44 stars 14 forks source link

Fix make target for Andersen with agnostic encoding [AndersenAgnostic] #514

Closed phate closed 3 weeks ago

phate commented 3 weeks ago

We changed the make target for Andersen alias analysis with agnostic encoding in this PR. Fix the CI to reflect this change.

phate commented 3 weeks ago

The PR in jlm-eval-suite needs to be merged before this one can be merged.