Martin Berger

**NICE** ... but how should we know that newtype exists? Be that as it may, I think we should replace all occurrences of `type` by `newtype` (where that is possible)...

Additional type safety is more important than a small performance loss. I think with a short explanation in the manual (which I would happily write) everybody gets the distinction. Most...

@Alasdair BTW what is the semantics of `newtype` constructors and destructors? In particular, does Sail's `newtype` share Haskell's restriction to types with exactly one field inside it? I think the...

@Alasdair That's very interesting. Some of the problems could be mitigated if some/all elements of the big struct were of type `option(...)` and default to `None()`, or some variation of...

@PeterSewell That sounds interesting. Is this work already public, so we can have a look at it?

On further reflection, I doubt that the problem of specification evolution that @Alasdair points to is mitigated by the current RV model's profusion of parameters and functions. I imagine the...

Es gibt eine *"academic licence"* fuer SPEC [1], aber deren Netzseite laesst es offen ob die umsonst ist. Wir haben bei Huawei eine Lizenz, im Notfall koennten wir vielleicht die...

Auch interessant ist https://www.embench.org/ von David Patterson. Opensource.

Is https://www.geekbench.com/ relevant? @cfbolz It's a commercial product, but maybe got free student version?

Thanks for starting to think about debug extensions. Could you say what the plans are for developing `Sdtrig`? The current draft is *very* far from complete.