v1.0                                                                                                                                                                                                                                   
----
- Initial release, Mar 4th 2022

v2.0
----
- Added blind benchmarks (openMSP430_2, SPARX), Mar 29th 2022

v2.1
----
- Added missing check_equivalence.rpt files (for information only), Mar 29th 2022
