Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. merge from afp_2016
  2. regen website
  3. update affoliation of lammich
  4. merge from afp_2016
  5. adjust topic entry for Iptables_Semantics
  6. Iptables_Semantics, shorter abstract — website
  7. shortened abstract (with its truncated links)
  8. Iptables_Semantics website
  9. new entry Iptables_Semantics
  10. New entry Stone_Algebras
  11. New entry SuperCalc
Changeset 7095:00e551a8a629 by kleing:
merge from afp_2016
Changeset 7094:b5461b76dd8d by gerwin klein _gerwin.klein@nicta.com.au_:
regen website
The file was modified web/entries/Binomial-Heaps.shtml (diff)
The file was modified web/entries/Collections.shtml (diff)
The file was modified web/entries/DFS_Framework.shtml (diff)
The file was modified web/entries/Dijkstra_Shortest_Path.shtml (diff)
The file was modified web/entries/Finger-Trees.shtml (diff)
The file was modified web/entries/Native_Word.shtml (diff)
The file was modified web/entries/Program-Conflict-Analysis.shtml (diff)
The file was modified web/entries/Refine_Monadic.shtml (diff)
The file was modified web/entries/Separation_Logic_Imperative_HOL.shtml (diff)
The file was modified web/entries/Tree-Automata.shtml (diff)
The file was modified web/index.shtml (diff)
Changeset 7093:0cdece32d3d9 by lammich _lammich@in.tum.de_:
update affoliation of lammich
The file was modified metadata/metadata (diff)
Changeset 7092:218fb9a60f83 by kleing:
merge from afp_2016
Changeset 7091:d9eb9ab78697 by gerwin klein _gerwin.klein@nicta.com.au_:
adjust topic entry for Iptables_Semantics
The file was modified metadata/metadata (diff)
The file was modified web/topics.shtml (diff)
Changeset 7090:0201f503c715 by paulson _lp15@cam.ac.uk_:
Iptables_Semantics, shorter abstract —  website
The file was modified web/entries/Iptables_Semantics.shtml (diff)
Changeset 7089:e3a936f498ea by paulson _lp15@cam.ac.uk_:
shortened abstract (with its truncated links)
The file was modified metadata/metadata (diff)
Changeset 7088:3f8abee421b9 by paulson _lp15@cam.ac.uk_:
Iptables_Semantics website
The file was addedweb/entries/Iptables_Semantics.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Automatic_Refinement.shtml (diff)
The file was modified web/entries/IP_Addresses.shtml (diff)
The file was modified web/entries/Native_Word.shtml (diff)
The file was modified web/entries/Routing.shtml (diff)
The file was modified web/entries/Simple_Firewall.shtml (diff)
The file was modified web/entries/Word_Lib.shtml (diff)
The file was modified web/index.shtml (diff)
Changeset 7087:a35089078cf0 by paulson _lp15@cam.ac.uk_:
new entry Iptables_Semantics
The file was addedthys/Iptables_Semantics/Attic.thy
The file was addedthys/Iptables_Semantics/Call_Return_Unfolding.thy
The file was addedthys/Iptables_Semantics/Common/List_Misc.thy
The file was addedthys/Iptables_Semantics/Common/Negation_Type.thy
The file was addedthys/Iptables_Semantics/Common/Negation_Type_DNF.thy
The file was addedthys/Iptables_Semantics/Common/Remdups_Rev.thy
The file was addedthys/Iptables_Semantics/Common/Repeat_Stabilize.thy
The file was addedthys/Iptables_Semantics/Common/Ternary.thy
The file was addedthys/Iptables_Semantics/Common/WordInterval_Lists.thy
The file was addedthys/Iptables_Semantics/Common/Word_Upto.thy
The file was addedthys/Iptables_Semantics/Datatype_Selectors.thy
The file was addedthys/Iptables_Semantics/Documentation.thy
The file was addedthys/Iptables_Semantics/Examples/Code_haskell.thy
The file was addedthys/Iptables_Semantics/Examples/Contrived/Contrived_Example.thy
The file was addedthys/Iptables_Semantics/Examples/Contrived/iptables-save
The file was addedthys/Iptables_Semantics/Examples/Example_Semantics.thy
The file was addedthys/Iptables_Semantics/Examples/Fail/Ports_Fail.thy
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/IP_Address_Space_Examples_All_Large.thy
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/IP_Address_Space_Examples_All_Small.thy
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables-save-2015-05-15_15-23-41
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables-save-2015-05-15_15-23-41.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables-save-2015-05-15_15-23-41.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables-save-2015-09-03_15-56-50
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables-save-2015-09-03_15-56-50.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables-save-2015-09-03_15-56-50.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables_20.10.2013
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables_20.10.2013.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables_20.10.2013.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables_25.07.2014
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables_25.07.2014.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/TUM_Net/iptables_25.07.2014.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_home_user/typical_home_user.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_home_user/typical_home_user.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_home_user/typical_home_user_iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_memphis_testbed/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_memphis_testbed/iptables.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_memphis_testbed/iptables.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_random_srv/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_random_srv/iptables.INP.Ln.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/config_random_srv/iptables.INP.Ln.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2014_sep_iptables-saveakachan
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2014_sep_iptables-saveakachan.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2014_sep_iptables-saveakachan.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2015_aug_iptables-save-spoofing-protection
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2015_aug_iptables-save-spoofing-protection.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2015_aug_iptables-save-spoofing-protection.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2015_aug_iptables-save-spoofing-protection.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_sqrl_shorewall/2015_aug_iptables-save-spoofing-protection.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_srvs_ufw/server2-iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_srvs_ufw/server2-iptables-save.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_srvs_ufw/server2-iptables-save.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_synology_diskstation_ds414/iptables-save_jun_2015_legacyifacerules
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_synology_diskstation_ds414/iptables-save_jun_2015_legacyifacerules.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_synology_diskstation_ds414/iptables-save_jun_2015_legacyifacerules.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_ugent/iptables-save.v1.4.21
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_ugent/iptables.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/configs_ugent/iptables.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/gopherproxy.meulie.net/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/gopherproxy.meulie.net/iptables-save.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/gopherproxy.meulie.net/iptables-save.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/iptables_restore.sh
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/linux.gda.pl/firewallp.txt
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/linux.gda.pl/firewallp.txt.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/linux.gda.pl/firewallp.txt.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/medium-sized-company/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/medium-sized-company/iptables-save.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/medium-sized-company/iptables-save.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/medium-sized-company/iptables-save.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/medium-sized-company/iptables-save.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openvpn.eu/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openvpn.eu/iptables-save.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openvpn.eu/iptables-save.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openvpn.eu/src
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openwrt.org/iptables-save-AA.txt_fixed_newline
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openwrt.org/iptables-save-AA.txt_fixed_newline.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/openwrt.org/iptables-save-AA.txt_fixed_newline.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/pastebin.com_bbWXHaTn/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/pastebin.com_bbWXHaTn/iptables-save.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/pastebin.com_bbWXHaTn/iptables-save.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/rlworkman.net/iptables-save
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/rlworkman.net/iptables-save.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/rlworkman.net/iptables-save.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/sargon/iptables-save.txt
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/sargon/iptables-save.txt.Ln.INP.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/sargon/iptables-save.txt.Ln.INP.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/tmp
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/worst_case/iptables-save
The file was addedthys/Iptables_Semantics/Examples/Parser_Test/Parser6_Test.thy
The file was addedthys/Iptables_Semantics/Examples/Parser_Test/Parser_Test.thy
The file was addedthys/Iptables_Semantics/Examples/Parser_Test/data/ip6tables-save
The file was addedthys/Iptables_Semantics/Examples/Parser_Test/data/iptables-save
The file was addedthys/Iptables_Semantics/Examples/Ringofsaturn_com/Analyze_Ringofsaturn_com.thy
The file was addedthys/Iptables_Semantics/Examples/Ringofsaturn_com/iptables-save
The file was addedthys/Iptables_Semantics/Examples/Ringofsaturn_com/iptables_Lnv
The file was addedthys/Iptables_Semantics/Examples/Ringofsaturn_com/iptables_script.sh
The file was addedthys/Iptables_Semantics/Examples/SQRL_Shorewall/2015_aug_iptables-save-spoofing-protection
The file was addedthys/Iptables_Semantics/Examples/SQRL_Shorewall/Analyze_SQRL_Shorewall.thy
The file was addedthys/Iptables_Semantics/Examples/SQRL_Shorewall/SQRL_2015_nospoof.thy
The file was addedthys/Iptables_Semantics/Examples/SQRL_Shorewall/iptables-saveakachan
The file was addedthys/Iptables_Semantics/Examples/Small_Examples.thy
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/Analyze_Synology_Diskstation.thy
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/ip6tables-save_jul_2016
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/iptables-save
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/iptables-save_jun_2015_cleanup
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/iptables_Ln_tuned
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/iptables_Ln_tuned_parsed.thy
The file was addedthys/Iptables_Semantics/Examples/Synology_Diskstation_DS414/uname_a
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/Analyze_TUM_Net_Firewall.thy
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/README_cheating
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/TUM_Simple_FW.thy
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/TUM_Spoofing_new3.thy
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/iptables-save-2015-05-13_10-53-20_cheating
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/iptables-save-2015-05-15_14-14-46_cheating
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/iptables-save-2015-05-15_15-23-41_cheating
The file was addedthys/Iptables_Semantics/Examples/TUM_Net_Firewall/iptables_20.11.2013_cheating
The file was addedthys/Iptables_Semantics/Examples/medium-sized-company/Analyze_medium_sized_company.thy
The file was addedthys/Iptables_Semantics/Examples/medium-sized-company/iptables-save
The file was addedthys/Iptables_Semantics/Examples/sns.ias.edu/SNS_IAS_Eduroam_Spoofing.thy
The file was addedthys/Iptables_Semantics/Examples/sns.ias.edu/eduroam_iptables-save
The file was addedthys/Iptables_Semantics/Examples/sns.ias.edu/iptables_Lnv
The file was addedthys/Iptables_Semantics/Examples/sns.ias.edu/test.sh
The file was addedthys/Iptables_Semantics/Examples/topoS_generated/Analyze_topos_generated.thy
The file was addedthys/Iptables_Semantics/Examples/topoS_generated/imaginray_factory_network.iptables-save
The file was addedthys/Iptables_Semantics/Examples/topoS_generated/imaginray_factory_network.iptables-save.by-linux-kernel
The file was addedthys/Iptables_Semantics/Examples/topoS_generated/ipmapping
The file was addedthys/Iptables_Semantics/Firewall_Common.thy
The file was addedthys/Iptables_Semantics/Iptables_Semantics.thy
The file was addedthys/Iptables_Semantics/Matching.thy
The file was addedthys/Iptables_Semantics/Matching_Embeddings.thy
The file was addedthys/Iptables_Semantics/No_Spoof_Embeddings.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Code_Interface.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Lemmas.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Matcher.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Matcher_Generic.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_Syntax.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Common_Primitive_toString.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Conntrack_State.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Conntrack_State_Transform.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Interface_Replace.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Interfaces_Normalize.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/IpAddresses.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/IpAddresses_Normalize.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Ipassmt.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/L4_Protocol_Flags.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/No_Spoof.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Parser.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Parser6.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Ports.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Ports_Normalize.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Primitive_Abstract.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Protocols_Normalize.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/README
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Routing_IpAssmt.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Tagged_Packet.thy
The file was addedthys/Iptables_Semantics/Primitive_Matchers/Transform.thy
The file was addedthys/Iptables_Semantics/ROOT
The file was addedthys/Iptables_Semantics/Ruleset_Update.thy
The file was addedthys/Iptables_Semantics/Semantics.thy
The file was addedthys/Iptables_Semantics/Semantics_Embeddings.thy
The file was addedthys/Iptables_Semantics/Semantics_Goto.thy
The file was addedthys/Iptables_Semantics/Semantics_Stateful.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Fixed_Action.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/MatchExpr_Fold.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Matching_Ternary.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Negation_Type_Matching.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Normalized_Matches.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Optimizing.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Packet_Set.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Packet_Set_Impl.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Primitive_Normalization.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Semantics_Ternary.thy
The file was addedthys/Iptables_Semantics/Semantics_Ternary/Unknown_Match_Tacs.thy
The file was addedthys/Iptables_Semantics/Simple_Firewall/SimpleFw_Compliance.thy
The file was addedthys/Iptables_Semantics/document/description.html
The file was addedthys/Iptables_Semantics/document/mathpartir.sty
The file was addedthys/Iptables_Semantics/document/root.bib
The file was addedthys/Iptables_Semantics/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7086:229e29d90b40 by nipkow:
New entry Stone_Algebras
The file was addedthys/Stone_Algebras/Filters.thy
The file was addedthys/Stone_Algebras/Lattice_Basics.thy
The file was addedthys/Stone_Algebras/P_Algebras.thy
The file was addedthys/Stone_Algebras/ROOT
The file was addedthys/Stone_Algebras/Stone_Construction.thy
The file was addedthys/Stone_Algebras/document/root.bib
The file was addedthys/Stone_Algebras/document/root.tex
The file was addedweb/entries/Stone_Algebras.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7085:1d6b02762ecc by nipkow:
New entry SuperCalc
The file was addedthys/SuperCalc/ROOT
The file was addedthys/SuperCalc/document/root.bib
The file was addedthys/SuperCalc/document/root.tex
The file was addedthys/SuperCalc/equational_clausal_logic.thy
The file was addedthys/SuperCalc/multisets_continued.thy
The file was addedthys/SuperCalc/superposition.thy
The file was addedthys/SuperCalc/terms.thy
The file was addedthys/SuperCalc/well_founded_continued.thy
The file was addedweb/entries/SuperCalc.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)