Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned document;
  2. isabelle update_cartouches -c -t;
  3. prefer formal comments;
Changeset 8744:c42ff59912e3 by wenzelm:
tuned document;
The file was modified thys/SPARCv8/SparcModel_MMU/MMU.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Types.thy (diff)
The file was modified thys/SPARCv8/lib/WordDecl.thy (diff)
Changeset 8743:a756a47b5098 by wenzelm:
isabelle update_cartouches -c -t;
The file was modified thys/SPARCv8/SparcModel_MMU/MMU.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/RegistersOps.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Init_State.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Instruction.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Properties.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_State.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Types.thy (diff)
The file was modified thys/SPARCv8/lib/Lib.thy (diff)
The file was modified thys/SPARCv8/lib/WordDecl.thy (diff)
The file was modified thys/SPARCv8/lib/wp/DetMonad.thy (diff)
Changeset 8742:1a91fa015da4 by wenzelm:
prefer formal comments;
The file was modified thys/SPARCv8/SparcModel_MMU/MMU.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Execution.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Init_State.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Instruction.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Properties.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_State.thy (diff)
The file was modified thys/SPARCv8/SparcModel_MMU/Sparc_Types.thy (diff)