Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. update comment syntax
  2. update comment syntax
  3. merged from afp-2017; website regen
  4. New entry: Architectural_Design_Patterns
  5. website for Hoare Time
  6. new entry Hoare Time by Haslbeck and Nipkow
  7. Merged in larsrh/afp-2017 (pull request #4) sitegen: some bash improvements
Changeset 8967:d49e0e5878a3 by lars hupel _lars.hupel@mytum.de_:
update comment syntax
The file was modified thys/Hoare_Time/Big_Step.thy (diff)
The file was modified thys/Hoare_Time/Big_StepT.thy (diff)
The file was modified thys/Hoare_Time/Nielson_Hoare.thy (diff)
The file was modified thys/Hoare_Time/Nielson_Sqrt.thy (diff)
The file was modified thys/Hoare_Time/Nielson_VCG.thy (diff)
The file was modified thys/Hoare_Time/QuantK_Sqrt.thy (diff)
The file was modified thys/Hoare_Time/Quant_Hoare.thy (diff)
The file was modified thys/Hoare_Time/SepLog_Hoare.thy (diff)
Changeset 8966:4789fe3aff02 by lars hupel _lars.hupel@mytum.de_:
update comment syntax
The file was modified thys/Architectural_Design_Patterns/Blackboard.thy (diff)
The file was modified thys/Architectural_Design_Patterns/Blockchain.thy (diff)
Changeset 8965:738b5cd37390 by lars hupel _lars.hupel@mytum.de_:
merged from afp-2017; website regen
Changeset 8964:83351e26d3d5 by nipkow:
New entry: Architectural_Design_Patterns
The file was addedthys/Architectural_Design_Patterns/Blackboard.thy
The file was addedthys/Architectural_Design_Patterns/Blockchain.thy
The file was addedthys/Architectural_Design_Patterns/Publisher_Subscriber.thy
The file was addedthys/Architectural_Design_Patterns/ROOT
The file was addedthys/Architectural_Design_Patterns/Singleton.thy
The file was addedthys/Architectural_Design_Patterns/document/root.bib
The file was addedthys/Architectural_Design_Patterns/document/root.tex
The file was addedweb/entries/Architectural_Design_Patterns.html
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/DynamicArchitectures.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8963:95380aa14c6d by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Hoare Time
The file was addedweb/entries/Hoare_Time.html
The file was modified metadata/metadata (diff)
The file was modified web/entries/Separation_Algebra.html (diff)
The file was modified web/index.html (diff)
The file was modified web/rss.xml (diff)
The file was modified web/statistics.html (diff)
The file was modified web/topics.html (diff)
Changeset 8962:78d475f3d8e6 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry Hoare Time by Haslbeck and Nipkow
The file was addedthys/Hoare_Time/AExp.thy
The file was addedthys/Hoare_Time/BExp.thy
The file was addedthys/Hoare_Time/Big_Step.thy
The file was addedthys/Hoare_Time/Big_StepT.thy
The file was addedthys/Hoare_Time/Big_StepT_Partial.thy
The file was addedthys/Hoare_Time/Com.thy
The file was addedthys/Hoare_Time/Discussion.thy
The file was addedthys/Hoare_Time/DiscussionO.thy
The file was addedthys/Hoare_Time/Hoare_Time.thy
The file was addedthys/Hoare_Time/Nielson_Examples.thy
The file was addedthys/Hoare_Time/Nielson_Hoare.thy
The file was addedthys/Hoare_Time/Nielson_Sqrt.thy
The file was addedthys/Hoare_Time/Nielson_VCG.thy
The file was addedthys/Hoare_Time/Nielson_VCGi.thy
The file was addedthys/Hoare_Time/Nielson_VCGi_complete.thy
The file was addedthys/Hoare_Time/Partial_Evaluation.thy
The file was addedthys/Hoare_Time/QuantK_Examples.thy
The file was addedthys/Hoare_Time/QuantK_Hoare.thy
The file was addedthys/Hoare_Time/QuantK_Sqrt.thy
The file was addedthys/Hoare_Time/QuantK_VCG.thy
The file was addedthys/Hoare_Time/Quant_Examples.thy
The file was addedthys/Hoare_Time/Quant_Hoare.thy
The file was addedthys/Hoare_Time/Quant_VCG.thy
The file was addedthys/Hoare_Time/ROOT
The file was addedthys/Hoare_Time/SepLogAdd/Product_Separation_Algebra.thy
The file was addedthys/Hoare_Time/SepLogAdd/Sep_Algebra_Add.thy
The file was addedthys/Hoare_Time/SepLogK_Hoare.thy
The file was addedthys/Hoare_Time/SepLogK_VCG.thy
The file was addedthys/Hoare_Time/SepLog_Examples.thy
The file was addedthys/Hoare_Time/SepLog_Hoare.thy
The file was addedthys/Hoare_Time/Vars.thy
The file was addedthys/Hoare_Time/document/root.bib
The file was addedthys/Hoare_Time/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 8961:f6d9e6ac32fa by gerwin klein _gerwin@doclsf.de_:
Merged in larsrh/afp-2017 (pull request #4)<br><br>sitegen: some bash improvements
The file was modified admin/common (diff)
The file was modified admin/sitegen (diff)
The file was modified admin/sitegen-devel (diff)