You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Attaching a purified ODD with all the impure elements still commented out, so that you can see what I have changed. I have verified that the same RNG is produced after purification (against the current p5subset!). Aha, the macroSpec is still there, but also commented out.
For convenience, two compiled ODDs, also against the current subset. It's difficult to compare them as such (but note that compilation is step 1 on the way to RNG, and the RNG is fine).
Attaching a purified ODD with all the impure elements still commented out, so that you can see what I have changed. I have verified that the same RNG is produced after purification (against the current p5subset!). Aha, the macroSpec is still there, but also commented out.
standoff-ODD.xml.gz
The text was updated successfully, but these errors were encountered: