Changes

Summary

merged
update metadata
merged
merged
add compare-and-swap operation to JinjaThreads
formatting

Changeset 8460:679519dee811 by Andreas Lochbihler: merged
Changeset 8459:ea185114ef56 by Andreas Lochbihler: update metadata
The file was modified	`metadata/metadata` (diff)
Changeset 8458:5edfdc21ede9 by Andreas Lochbihler: merged
Changeset 8457:3301168109cd by Andreas Lochbihler: merged
Changeset 8456:a6189b1d6b30 by Andreas Lochbihler: add compare-and-swap operation to JinjaThreads
The file was modified	`thys/JinjaThreads/BV/BVNoTypeError.thy` (diff)
The file was modified	`thys/JinjaThreads/BV/BVSpecTypeSafe.thy` (diff)
The file was modified	`thys/JinjaThreads/BV/Effect.thy` (diff)
The file was modified	`thys/JinjaThreads/BV/EffectMono.thy` (diff)
The file was modified	`thys/JinjaThreads/BV/TF_JVM.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/CallExpr.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/Compiler1.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/Compiler2.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/Correctness1.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/Correctness1Threaded.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/Execs.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J0.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J0Bisim.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J0J1Bisim.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J1.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J1JVM.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J1JVMBisim.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J1State.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/J1WellType.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/JJ1WellForm.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/JVMJ1.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/JVMTau.thy` (diff)
The file was modified	`thys/JinjaThreads/Compiler/TypeComp.thy` (diff)
The file was modified	`thys/JinjaThreads/Execute/Code_Generation.thy` (diff)
The file was modified	`thys/JinjaThreads/Execute/JVMExec_Execute2.thy` (diff)
The file was modified	`thys/JinjaThreads/J/Annotate.thy` (diff)
The file was modified	`thys/JinjaThreads/J/Deadlocked.thy` (diff)
The file was modified	`thys/JinjaThreads/J/DefAss.thy` (diff)
The file was modified	`thys/JinjaThreads/J/DefAssPreservation.thy` (diff)
The file was modified	`thys/JinjaThreads/J/Expr.thy` (diff)
The file was modified	`thys/JinjaThreads/J/Progress.thy` (diff)
The file was modified	`thys/JinjaThreads/J/SmallStep.thy` (diff)
The file was modified	`thys/JinjaThreads/J/Threaded.thy` (diff)
The file was modified	`thys/JinjaThreads/J/TypeSafe.thy` (diff)
The file was modified	`thys/JinjaThreads/J/WellType.thy` (diff)
The file was modified	`thys/JinjaThreads/J/WellTypeRT.thy` (diff)
The file was modified	`thys/JinjaThreads/JVM/JVMDefensive.thy` (diff)
The file was modified	`thys/JinjaThreads/JVM/JVMExecInstr.thy` (diff)
The file was modified	`thys/JinjaThreads/JVM/JVMInstructions.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/DRF_J.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/DRF_JVM.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/JMM_Framework.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/JMM_JVM_Typesafe.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/JMM_J_Typesafe.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/JMM_Spec.thy` (diff)
The file was modified	`thys/JinjaThreads/MM/SC_Completion.thy` (diff)
Changeset 8455:30951ea0fefd by Andreas Lochbihler: formatting
The file was modified	`metadata/metadata` (diff)