search

eth-sri / ELINA

ELINA: ETH LIbrary for Numerical Analysis
http://elina.ethz.ch/
Other
129 stars 54 forks source link

dependency to APRON #3

Closed jfmc closed 7 years ago

jfmc commented 7 years ago

README.md says that ELINA is built in top of APRON. On the other hand some recent commit say that the dependency to APRON has been removed and there is a HAS_APRON flag that is never defined. It would be great to update the README to reflect the current state. Thanks!

GgnDpSngh commented 7 years ago

ELINA does not depend on APRON now, README has been updated