Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. clarified imports;
  2. clarified theory_qualifier for shared directories;
  3. clarified example sessions: Iptables_Semantics_Examples runs on x86 in approx. 30min elapsed time (4 cores), but Iptables_Semantics_Examples_Big requires x86_64 and several hours;
Changeset 8009:c2ed3a0855ff by wenzelm:
clarified imports;
The file was modified thys/Iptables_Semantics/ROOT (diff)
Changeset 8008:d1a21eb71bd9 by wenzelm:
clarified theory_qualifier for shared directories;
The file was modified thys/Iptables_Semantics/ROOT (diff)
Changeset 8007:8262cf67ba80 by wenzelm:
clarified example sessions: Iptables_Semantics_Examples runs on x86 in approx. 30min elapsed time (4 cores), but Iptables_Semantics_Examples_Big requires x86_64 and several hours;
The file was modified thys/Iptables_Semantics/ROOT (diff)