Starting point for verifier rewrite, strap in
verifier stopgap; basic transitions and 'incoming' work
Markup for new verification tracker, side-by-side with old; note that type assertions have been removed, so two tests are failing
Fixing some bad transitions
Validation based transitions
Make verifier spit back more information about what went wrong
Converted Convert() to stack transition verification
Removing stack checking for Convert(), using new verifier for everything there now
converting compare over to new verifier
converting Box()
converting Call()
converting CallIndirect()
converting CallVirtual()
converting CastClass()
converting CopyBlock
converting CopyObject
converting InitializeBlock
converting InitializeObject
converting IsInstance
convering LoadElement; requiring element type be passed for now