Summary
- clarified imports;
- clarified theory_qualifier for shared directories;
- 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) |
The file was modified | thys/Iptables_Semantics/ROOT (diff) |
The file was modified | thys/Iptables_Semantics/ROOT (diff) |