[Mono-dev] The State Of Mono Assembly Verification?
mono at evain.net
Fri Feb 3 08:22:43 EST 2006
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 ;)
More information about the Mono-devel-list