Ariel: Ariel v0.8.4 release

Hi everyone, We hope you are having a great weekend. The 0.8.4 version is finally here! This update is an important one, for it fixes bugs we detected some time ago, as well as adding new implementations. Here is a list…