Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. build on Noninterference_Sequential_Composition directly; add timeout
  2. chmod -x
Changeset 6783:78c8f4a0365d by kleing:
build on Noninterference_Sequential_Composition directly; add timeout
The file was modified thys/Noninterference_Concurrent_Composition/ROOT (diff)
Changeset 6782:12b274d99fe6 by kleing:
chmod -x
The file was modified thys/Noninterference_Concurrent_Composition/ConcurrentComposition.thy (diff)
The file was modified thys/Noninterference_Concurrent_Composition/ROOT (diff)
The file was modified thys/Noninterference_Concurrent_Composition/document/root.bib (diff)
The file was modified thys/Noninterference_Concurrent_Composition/document/root.tex (diff)