verifier documentation
[cacao.git] / typeinfo.c
2004-01-10 edwinadded package access checking
2004-01-10 edwinimplemented subroutine verification (Coglio's method...
2003-12-12 stefanThis is still only C!
2003-12-08 edwinmade descriptor parsing safer + array classes fix
2003-12-08 edwinadded uninitialized object typecheck
2003-12-07 twisti- added standard includes
2003-12-07 edwinadded method invocation typecheck
2003-12-07 edwinadded exception handler typecheck + bugfix
2003-12-06 edwinadded the typechecker (not yet complete)
2003-12-04 edwinpreparations for the typechecker