2004-01-10 | edwin | added package access checking | blob | commitdiff | raw |
2004-01-10 | edwin | implemented subroutine verification (Coglio's method... | blob | commitdiff | raw | diff to current |
2003-12-12 | stefan | This is still only C! | blob | commitdiff | raw | diff to current |
2003-12-08 | edwin | made descriptor parsing safer + array classes fix | blob | commitdiff | raw | diff to current |
2003-12-08 | edwin | added uninitialized object typecheck | blob | commitdiff | raw | diff to current |
2003-12-07 | twisti | - added standard includes | blob | commitdiff | raw | diff to current |
2003-12-07 | edwin | added method invocation typecheck | blob | commitdiff | raw | diff to current |
2003-12-07 | edwin | added exception handler typecheck + bugfix | blob | commitdiff | raw | diff to current |
2003-12-06 | edwin | added the typechecker (not yet complete) | blob | commitdiff | raw | diff to current |
2003-12-04 | edwin | preparations for the typechecker | blob | commitdiff | raw | diff to current |