Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update change history for Dependent_SIFUM_* entries
  2. Dependent_SIFUM_*: Add security locale support for init mem reqs
Changeset 7128:0488179e9099 by robert sison _robs@cse.unsw.edu.au_:
Update change history for Dependent_SIFUM_* entries
The file was modified metadata/metadata (diff)
Changeset 7127:cce4ceb74ddb by robert sison _robs@cse.unsw.edu.au_:
Dependent_SIFUM_*: Add security locale support for init mem reqs
The file was modified thys/Dependent_SIFUM_Refinement/CompositionalRefinement.thy (diff)
The file was modified thys/Dependent_SIFUM_Refinement/Examples/EgHighBranchRevC.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/Compositionality.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/Examples/Example.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/Preliminaries.thy (diff)
The file was modified thys/Dependent_SIFUM_Type_Systems/Security.thy (diff)