search

HERA-Team / hera-validation

Archive of formal software pipeline validation tests
http://hera.pbworks.com/w/page/130621356/Validation
0 stars 3 forks source link

Decide on simulator for 3.1 and 3.2 #11

Closed steven-murray closed 5 years ago

steven-murray commented 5 years ago

We need to decide on which simulator to use for 3.1 and 3.2 (probably best if it is the same simulation here), and update the README.

steven-murray commented 5 years ago

Decided to use RIMEz for each