Kai Bao 3d7f0efe07 various fixes. ...

the most important one is that the formulation is changed in the recent
version

2019-12-06 10:14:20 +01:00

..

core/props

Use active index in RelpermDiagnostic_impl

2019-11-27 12:10:00 +01:00

simulators

various fixes.

2019-12-06 10:14:20 +01:00