- 520c9b7 verifier: Clean up `RegisterLine::SetRegisterType*()`. by Vladimir Marko · 4 years, 8 months ago
- 4b0c9b9 Remove the notion of soft failure within the verifier. by Nicolas Geoffray · 4 years, 8 months ago
- 4b1609f Hard fail on type assignment check. by Nicolas Geoffray · 4 years, 8 months ago
- f3c5bbb An invalid wide pair will remain invalid at runtime. by Nicolas Geoffray · 4 years, 8 months ago
- 03ce70a Better handling of unresolved fields in VerifyISFieldAccess. by Nicolas Geoffray · 4 years, 8 months ago
- ad0daef An incompatible field type assignment is always an error. by Nicolas Geoffray · 4 years, 9 months ago
- 19444a6 It's a hard failure if return types cannot match. by Nicolas Geoffray · 4 years, 9 months ago
- 18c72c6 Change soft failure into more precise missing method. by Nicolas Geoffray · 4 years, 9 months ago
- ebefce3 Make it a hard failure if we could not find a catch clause. by Nicolas Geoffray · 4 years, 9 months ago
- adc11b1 Turn unconditional soft failure into a hard failure. by Nicolas Geoffray · 4 years, 9 months ago
- 8756585 verifier: the throw bytecode must have a throwable class as input. by Nicolas Geoffray · 4 years, 11 months ago
- 1728bb7 Turn soft failure into hard failure. by Nicolas Geoffray · 4 years, 9 months ago
- 3a8dfcf Catch clauses should only have throwable types. by Nicolas Geoffray · 4 years, 9 months ago
- e172a80 Revert "Cleanup return type checks with arrays." by Nicolas Geoffray · 4 years, 9 months ago
- 59193a6 Cleanup return type checks with arrays. by Nicolas Geoffray · 4 years, 11 months ago
- f6fe363 Relax failure on return type for unresolved types. by Nicolas Geoffray · 4 years, 11 months ago
- 2cb2527 verifier: Remove support for precise constants and RegisterTrackingMode. by Nicolas Geoffray · 5 years ago
- 8f21748 Mark move constructors/assignements as `noexcept`. by Vladimir Marko · 5 years ago
- 9e050ab Remove the need of VerifiedMethod in the compiler. by Nicolas Geoffray · 5 years ago
- 7744b69 Remove dual verification in RedefineClasses. by Nicolas Geoffray · 5 years ago
- 2ec3823 Clean up verifier interface. by Nicolas Geoffray · 5 years ago
- cd133d8 Verifier cleanups. by Nicolas Geoffray · 5 years ago
- 44dc8a3 verifier: do not infer an instruction will throw. by Nicolas Geoffray · 5 years ago
- f8b5288 Remove experimental flag in verifier. by Nicolas Geoffray · 5 years ago
- 2ef367a Ensure verifier deps in the vdex file are 4-byte aligned. by Nicolas Geoffray · 5 years ago
- 8078996 Handle a potential race when verifying dex files in the background. by Nicolas Geoffray · 5 years ago
- 61c6242 Remove RETURN_VOID_NO_BARRIER byte-code. by David Srbecky · 5 years ago
- c76fbf0 Fix script when using --verify-soft-fail and --jit. by Nicolas Geoffray · 5 years ago
- c5cd589 Remove QUICK bytecodes. by David Srbecky · 5 years ago
- 4924ea9 Remove Vdex::GetQuickenedInfoOf and all its users. by Nicolas Geoffray · 5 years ago
- 5b0b2e1 Explictly pass VerifierDeps when asking for class verification. by Nicolas Geoffray · 5 years ago
- e7ff7ef [metrics] Add ClassVerificationCount by Eric Holk · 5 years ago
- 5de5efe Remove pointer-size arguments from DexCache. by David Srbecky · 5 years ago
- 6df4511 Use vdex assignability types at runtime. by Nicolas Geoffray · 5 years ago
- 5c48df9 [verifier]: flag instruction that will throw at runtime by Nicolas Geoffray · 5 years ago
- 480d981 [metrics] Move core metrics code to libartbase by Eric Holk · 5 years ago
- d1728bf Add a kTypeChecksFailure. by Nicolas Geoffray · 5 years ago
- 35a3720 Reland "Remove obsolete code in the verifier." by Nicolas Geoffray · 5 years ago
- 7572e76 Revert "Remove obsolete code in the verifier." by Nicolas Geoffray · 5 years ago
- 22538e4 Remove obsolete code in the verifier. by Nicolas Geoffray · 5 years ago
- 04ea42c Add a new kind of verifier error with unresolved type checks. by Nicolas Geoffray · 5 years ago
- c3c4417 Refactor code around the verifier. by Nicolas Geoffray · 5 years ago
- 54ed015 Handle VERIFY_ERROR_INSTANTIATION in compiler and nterp. by Nicolas Geoffray · 5 years ago
- bd57059 Handle missing methods in compiler and nterp. by Nicolas Geoffray · 5 years ago
- 5bcdd17 Remove unused VERIFY_ERROR_NO_FIELD. by Nicolas Geoffray · 5 years ago
- b677aff Support VERIFY_ERROR_CLASS_CHANGE in nterp and compiler. by Nicolas Geoffray · 5 years ago
- 5e82b18 Make it a verification error to misuse FastNative and CriticalNative. by Nicolas Geoffray · 5 years ago
- e4f2215 [metrics] Move metrics code to runtime by Eric Holk · 6 years ago
- dc75b3f Fix braino when adjusting alignment. by Nicolas Geoffray · 6 years ago
- 07b62e3 Change vdex format to easily access verification data per class. by Nicolas Geoffray · 6 years ago
- 8411c5d Record all type assignability checks in the verifier. by Nicolas Geoffray · 6 years ago
- 1960c42 Change vdex format to store per-class assignable types. by Nicolas Geoffray · 6 years ago
- 4f99524 Add unresolved types in verifier deps. by Nicolas Geoffray · 6 years ago
- 096bef8 [metrics] Refactor reporting by Eric Holk · 6 years ago
- 938a067 Remove the checkcast quickening optimization. by Nicolas Geoffray · 6 years ago
- 5b041c0 Remove unassignable_types from vdex. by Nicolas Geoffray · 6 years ago
- 6ebe40f Remove field/method/class resolution metadata in vdex. by Nicolas Geoffray · 6 years ago
- 4bb0900 [metrics] Implement JitMethodCompileTime histogram by Eric Holk · 6 years ago
- a79872b [metrics] Add metrics to Runtime, implement ClassVerificationTotalTime by Eric Holk · 6 years ago
- 346fd96 More inclusive language in the runtime by David Srbecky · 6 years ago
- aacf977 Reword some comments to be more inclusive by Orion Hodson · 6 years ago
- fa88d52 Add an execution time log for VerifyClass by Rock.Yeh · 6 years ago
- 9974e3c Clean up generated operator<<(os, enum). by Vladimir Marko · 6 years ago
- 1715efa Add a new class status for verified with access checks. by Nicolas Geoffray · 6 years ago
- 5868ada Move implementations from class_root.h to -inl.h . by Vladimir Marko · 6 years ago
- c390879 Do not crash for broken stored VerifierDeps. by Vladimir Marko · 6 years ago
- e8ed866 Add MOVE_EXCEPTION to compat throw by Mathieu Chartier · 6 years ago
- c2d0c96 Perform reverify with shared mutator-lock. by Alex Light · 7 years ago
- b1eebde Revert^2 "Class redefinition sometimes needs to update verification" by Alex Light · 7 years ago
- 2cf00ed Revert "Class redefinition sometimes needs to update verification" by Nicolas Geoffray · 7 years ago
- db55a11 Class redefinition sometimes needs to update verification by Alex Light · 7 years ago
- 5c93af3 Loosen verifier around interface-invoke-super by Alex Light · 7 years ago
- 4ec4d48 ART: Verifier cleanup by Andreas Gampe · 7 years ago
- 147a911 ART: Remove FailOrAbort for unnecessary cases by Andreas Gampe · 7 years ago
- b90cad5 ART: Move find-locks code up in the callchain by Andreas Gampe · 7 years ago
- 0134a28 ART: Verifier cleanup by Andreas Gampe · 7 years ago
- 86bf068 ART: Verifier cleanup by Andreas Gampe · 7 years ago
- f1468b5 ART: Verifier cleanup by Andreas Gampe · 7 years ago
- fef91cc ART: Verifier cleanup by Andreas Gampe · 7 years ago
- e0bbab9 ART: Verifier cleanup by Andreas Gampe · 7 years ago
- ae95ce3 ART: Do not handle RETURN monitor-stack issue as throwing by Andreas Gampe · 7 years ago
- d84794d ART: Add option to behave fatally on unmarked kThrow by Andreas Gampe · 7 years ago
- 16a08f6 ART: Factor out runtime-exception saved_line fallback by Andreas Gampe · 7 years ago
- b3b2db7 ART: Use a scoped disable-moving-gc helper in reg_type_test by Andreas Gampe · 7 years ago
- b5204f4 ART: Add interface class join heuristic by Andreas Gampe · 7 years ago
- c658278 ART: Introduce CompatThrow by Andreas Gampe · 7 years ago
- bc919af ART: Disallow unresolved return types after Q by Andreas Gampe · 7 years ago
- d78122b ART: Do not access-check type on instanceof peephole by Andreas Gampe · 7 years ago
- d70a97c ART: Monitor-stack merging should not be handled as throwing by Andreas Gampe · 7 years ago
- 0d87f99 ART: Remove VERIFY_ERROR_UNRESOLVED_CATCH by Andreas Gampe · 7 years ago
- 4146e06 ART: Prepare to remove VERIFY_ERROR_UNRESOLVED_CATCH by Andreas Gampe · 7 years ago
- 4a30f89 Revert "ART: Remove VERIFY_ERROR_UNRESOLVED_CATCH" by Andreas Gampe · 7 years ago
- 7a82acc ART: Remove VERIFY_ERROR_UNRESOLVED_CATCH by Andreas Gampe · 7 years ago
- 4d6ca2e Deterministic VerifierDeps::Dump(). by Vladimir Marko · 7 years ago
- cc08c50 ART: Restyle VerifyError by Andreas Gampe · 7 years ago
- 43884b2 ART: Coalesce verifier flags into bit struct by Andreas Gampe · 7 years ago
- 5dfbe7a ART: Refactor ClassJoin code by Andreas Gampe · 7 years ago
- 1e52a07 Correct Indicies -> Indices by Alex Light · 7 years ago
- d91f841 ART: Log approximate arena usage for slow verifier runs by Andreas Gampe · 7 years ago
- 93adcb5 ART: Remove some compile-time info points by Andreas Gampe · 7 years ago