search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
138 stars 75 forks source link

Update Eigen to (unofficial) version 3.4.1 #611

Closed tquatmann closed 2 months ago

tquatmann commented 2 months ago

This is not an official release but seems to be stable enough for our purposes. Also avoids having different Eigen versions for Apple Silicon systems vs. the rest.

sjunges commented 2 months ago

LGTM! Many thanks for your swift action.