* renamed CACAO_TYPECHECK to ENABLE_VERIFIER
authoredwin <none@none>
Mon, 28 Nov 2005 16:23:40 +0000 (16:23 +0000)
committeredwin <none@none>
Mon, 28 Nov 2005 16:23:40 +0000 (16:23 +0000)
commitac8875dee8e088175bb2c0d1e3531e3ae2ff509f
treeffb308c4b64d0d390876d063b516ad0c5588d3d9
parent180599caf237ba869fc0efb9b005144283eb820a
* renamed CACAO_TYPECHECK to ENABLE_VERIFIER
* srv/vm/resolve.c, src/vm/resolve.h: #ifdef code only used for verification
      with ENABLE_VERIFIER. (Access checks and loading constraints are
      also #ifdef ENABLE_VERIFIER. This might be controversial.)
src/vm/global.h
src/vm/jit/jit.c
src/vm/jit/jit.h
src/vm/jit/verify/typecheck.c
src/vm/jit/verify/typeinfo.h
src/vm/resolve.c
src/vm/resolve.h