[Mono-dev] The State Of Mono Assembly Verification?

[Jb Evain]

On Feb 3, 2006, at 2:14 PM, Sebastien Pouliot wrote:

> Interesting - considering that both cases have their uses. Is it by
> design ?
>
> I.e. will it be true in one/2/3... years or do you (or someone  
> else ;-)
> plan to contributes (some of) the checks ? and if so do you plan to
> ensure they are always optional?

There is no verification simply because I've not yet implemented  
them. It's in Cecil's TODO list.
Cecil's design will allow you to implement easily (I hope :) all  
necessary checks an external verifier can perform.

Of course, once the checks are implemented, they will be optionally  
run over the metadata at write time. Just like debugging data when it  
will be implemented ;)

Jb