Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merge from afp-2021-1
  2. tuned error messages;
  3. mention error location when metadata loading fails;
  4. merged
  5. even more IsaNet;
  6. afp metadata/releases: change format to re-add releases swallowed by key-set, remove extra releases;
  7. more IsaNet
  8. New entry IsaNet
  9. re-introduce accidentally reverted changes
Changeset 12725:574ddb031262 by fabian huch _huch@in.tum.de_:
merge from afp-2021-1
Changeset 12724:783e3f87f4bf by fabian huch _huch@in.tum.de_:
tuned error messages;
The file was modified tools/afp_structure.scala
Changeset 12723:1b27be8d233d by fabian huch _huch@in.tum.de_:
mention error location when metadata loading fails;
The file was modified tools/afp_structure.scala
Changeset 12722:1628f8d65fb8 by fabian huch _huch@in.tum.de_:
merged
Changeset 12721:624c418332ad by fabian huch _huch@in.tum.de_:
even more IsaNet;
The file was addedmetadata/entries/IsaNet.toml
Changeset 12720:a1dda98865eb by fabian huch _huch@in.tum.de_:
afp metadata/releases: change format to re-add releases swallowed by key-set, remove extra releases;
The file was modified metadata/releases.toml
The file was modified tools/afp_structure.scala
The file was modified tools/metadata.scala
The file was modified tools/migration/afp_migrate_metadata.scala
Changeset 12719:4655b5e78889 by nipkow:
more IsaNet
The file was addedweb/authors/klenze/index.html
The file was addedweb/authors/klenze/index.xml
The file was addedweb/theories/isanet/index.html
Changeset 12718:6295fee8d6b5 by nipkow:
New entry IsaNet
The file was addedthys/IsaNet/All_Protocols.thy
The file was addedthys/IsaNet/DIFFERENCES-PAPER-ISABELLE
The file was addedthys/IsaNet/LICENSE
The file was addedthys/IsaNet/Network_Assumptions.thy
The file was addedthys/IsaNet/Network_Model.thy
The file was addedthys/IsaNet/Parametrized_Dataplane_0.thy
The file was addedthys/IsaNet/Parametrized_Dataplane_1.thy
The file was addedthys/IsaNet/Parametrized_Dataplane_2.thy
The file was addedthys/IsaNet/Parametrized_Dataplane_3_directed.thy
The file was addedthys/IsaNet/Parametrized_Dataplane_3_undirected.thy
The file was addedthys/IsaNet/README
The file was addedthys/IsaNet/ROOT
The file was addedthys/IsaNet/document/root.tex
The file was addedthys/IsaNet/document/session_graph.tex
The file was addedthys/IsaNet/infrastructure/Abstract_XOR.thy
The file was addedthys/IsaNet/infrastructure/Agents.thy
The file was addedthys/IsaNet/infrastructure/Event_Systems.thy
The file was addedthys/IsaNet/infrastructure/Keys.thy
The file was addedthys/IsaNet/infrastructure/Message.thy
The file was addedthys/IsaNet/infrastructure/Take_While.thy
The file was addedthys/IsaNet/infrastructure/Take_While_Update.thy
The file was addedthys/IsaNet/infrastructure/Tools.thy
The file was addedthys/IsaNet/instances/Anapaya_SCION.thy
The file was addedthys/IsaNet/instances/EPIC_L1_BA.thy
The file was addedthys/IsaNet/instances/EPIC_L1_SA.thy
The file was addedthys/IsaNet/instances/EPIC_L1_SA_Example.thy
The file was addedthys/IsaNet/instances/EPIC_L2_SA.thy
The file was addedthys/IsaNet/instances/ICING.thy
The file was addedthys/IsaNet/instances/ICING_variant.thy
The file was addedthys/IsaNet/instances/ICING_variant2.thy
The file was addedthys/IsaNet/instances/SCION.thy
The file was addedthys/IsaNet/instances/SCION_variant.thy
The file was addedweb/entries/IsaNet.html
The file was modified metadata/authors.toml
The file was modified metadata/releases.toml
The file was modified thys/ROOTS
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/authors/sprenger/index.html
The file was modified web/authors/sprenger/index.xml
The file was modified web/data/keywords.json
The file was modified web/entries/index.html
The file was modified web/entries/index.xml
The file was modified web/index.html
The file was modified web/index.json
The file was modified web/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/theories/index.xml
The file was modified web/topics/computer-science/networks/index.html
The file was modified web/topics/computer-science/networks/index.xml
The file was modified web/topics/computer-science/security/index.html
The file was modified web/topics/computer-science/security/index.xml
The file was modified web/topics/index.html
Changeset 12717:3dae4e3a4915 by Gerwin Klein _gerwin.klein@proofcraft.systems_:
re-introduce accidentally reverted changes
The file was modified admin/site/content/about.md
The file was modified admin/site/content/help.md
The file was modified web/about/index.html
The file was modified web/help/index.html
The file was modified web/index.xml