Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. merge from AFP Isabelle 2017
  2. longer name for MAKS in ROOT file
  3. website for MAKS
  4. new entry MAKS: Modular Assembly Kit for Security Properties
  5. fixed ROOT VerifyThis2018
  6. oops missing file!
  7. sitegen for VerifyThis2018
  8. new entry VerifyThis2018
  9. correct naive mod to submission
Changeset 9212:c387d2986dcb by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP Isabelle 2017
Changeset 9211:0746e663ebf1 by rene thiemann _rene.thiemann@uibk.ac.at_:
longer name for MAKS in ROOT file
The file was modified thys/Modular_Assembly_Kit_Security/ROOT (diff)
The file was modified web/statistics.html (diff)
Changeset 9210:552f3afae2fa by rene thiemann _rene.thiemann@uibk.ac.at_:
website for MAKS
The file was addedweb/entries/Modular_Assembly_Kit_Security.html
The file was modified metadata/metadata (diff)
The file was modified web/entries/SIFUM_Type_Systems.html (diff)
The file was modified web/entries/Strong_Security.html (diff)
The file was modified web/entries/WHATandWHERE_Security.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 9209:3da06f4fbb88 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry MAKS: Modular Assembly Kit for Security Properties
The file was addedthys/Modular_Assembly_Kit_Security/Basics/Prefix.thy
The file was addedthys/Modular_Assembly_Kit_Security/Basics/Projection.thy
The file was addedthys/Modular_Assembly_Kit_Security/ROOT
The file was addedthys/Modular_Assembly_Kit_Security/SecuritySpecification/BasicSecurityPredicates.thy
The file was addedthys/Modular_Assembly_Kit_Security/SecuritySpecification/FlowPolicies.thy
The file was addedthys/Modular_Assembly_Kit_Security/SecuritySpecification/InformationFlowProperties.thy
The file was addedthys/Modular_Assembly_Kit_Security/SecuritySpecification/PropertyLibrary.thy
The file was addedthys/Modular_Assembly_Kit_Security/SecuritySpecification/Views.thy
The file was addedthys/Modular_Assembly_Kit_Security/SystemSpecification/EventSystems.thy
The file was addedthys/Modular_Assembly_Kit_Security/SystemSpecification/StateEventSystems.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Basics/BSPTaxonomy.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Basics/SecureSystems.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Compositionality/CompositionBase.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Compositionality/CompositionSupport.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Compositionality/CompositionalityResults.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Compositionality/GeneralizedZippingLemma.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Unwinding/AuxiliaryLemmas.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Unwinding/UnwindingConditions.thy
The file was addedthys/Modular_Assembly_Kit_Security/Verification/Unwinding/UnwindingResults.thy
The file was addedthys/Modular_Assembly_Kit_Security/document/root.bib
The file was addedthys/Modular_Assembly_Kit_Security/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 9208:43f2dcc6b6ff by paulson _lp15@cam.ac.uk_:
fixed ROOT VerifyThis2018
The file was modified thys/VerifyThis2018/ROOT (diff)
Changeset 9207:fda145a30b92 by paulson _lp15@cam.ac.uk_:
oops missing file!
The file was addedweb/entries/VerifyThis2018.html
Changeset 9206:3b025acc35a3 by paulson _lp15@cam.ac.uk_:
sitegen for VerifyThis2018
The file was modified metadata/metadata (diff)
The file was modified web/entries/Refine_Imperative_HOL.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 9205:f386899190b0 by paulson _lp15@cam.ac.uk_:
new entry VerifyThis2018
The file was addedthys/VerifyThis2018/Challenge1.thy
The file was addedthys/VerifyThis2018/Challenge1_short.thy
The file was addedthys/VerifyThis2018/Challenge2.thy
The file was addedthys/VerifyThis2018/Challenge3.thy
The file was addedthys/VerifyThis2018/ROOT
The file was addedthys/VerifyThis2018/Snippets.thy
The file was addedthys/VerifyThis2018/document/root.tex
The file was addedthys/VerifyThis2018/lib/Array_Map_Default.thy
The file was addedthys/VerifyThis2018/lib/DF_System.thy
The file was addedthys/VerifyThis2018/lib/DRAT_Misc.thy
The file was addedthys/VerifyThis2018/lib/Dynamic_Array.thy
The file was addedthys/VerifyThis2018/lib/Exc_Nres_Monad.thy
The file was addedthys/VerifyThis2018/lib/Impl_List_Set_Ndj.thy
The file was addedthys/VerifyThis2018/lib/Synth_Definition.thy
The file was addedthys/VerifyThis2018/lib/VTcomp.thy
The file was modified thys/ROOTS (diff)
Changeset 9204:d4ad60ead8e3 by nipkow:
correct naive mod to submission
The file was modified thys/WebAssembly/Wasm_Printing/Wasm_Interpreter_Printing_Pure.thy (diff)
The file was modified thys/WebAssembly/Wasm_Printing/Wasm_Printing.thy (diff)