Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. adapted to Isabelle 80d7f004089d
  2. adapted to Isabelle 80d7f004089d
  3. merge from afp-2020
  4. Heptapod acknowledgements
  5. website for Safe_Distance
  6. new entry: Safe_Distance
  7. added missing HTML file
  8. sitegen for Nash_Williams
  9. new entry Nash_Williams
  10. metadata and sitegen for Smith-Normal-Form
  11. new entry: Smith normal form
  12. changed import to prepare for Smith-Normal-Form submission
  13. new entries Automated_Stateful_Protocol_Verification and Stateful_Protocol_Composition_and_Typing
Changeset 11150:7904a23154fd by kleing:
adapted to Isabelle 80d7f004089d
The file was modified thys/Smith_Normal_Form/Cauchy_Binet.thy
The file was modified thys/Smith_Normal_Form/Cauchy_Binet_HOL_Analysis.thy
The file was modified thys/Smith_Normal_Form/Rings2_Extended.thy
The file was modified thys/Smith_Normal_Form/SNF_Missing_Lemmas.thy
The file was modified thys/Smith_Normal_Form/SNF_Uniqueness.thy
The file was modified thys/Smith_Normal_Form/Smith_Certified.thy
Changeset 11149:32c1aff4de5d by kleing:
adapted to Isabelle 80d7f004089d
The file was modified thys/Stateful_Protocol_Composition_and_Typing/Stateful_Compositionality.thy
The file was modified thys/Stateful_Protocol_Composition_and_Typing/Typing_Result.thy
Changeset 11148:50490f5bdc82 by kleing:
merge from afp-2020
Changeset 11147:0426e5a56075 by gerwin klein _gerwin.klein@data61.csiro.au_:
Heptapod acknowledgements
The file was addedweb/images/octobus+clever.png
The file was modified metadata/templates/download.tpl
The file was modified web/download.html
The file was modified web/front.css
Changeset 11146:eb25b0b685f2 by rene thiemann _rene.thiemann@uibk.ac.at_:
website for Safe_Distance
The file was addedweb/entries/Safe_Distance.html
The file was modified metadata/metadata
The file was modified web/entries/Sturm_Sequences.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 11145:7e8e1e8ffc90 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Safe_Distance
The file was addedthys/Safe_Distance/Evaluation.thy
The file was addedthys/Safe_Distance/ROOT
The file was addedthys/Safe_Distance/Safe_Distance.thy
The file was addedthys/Safe_Distance/Safe_Distance_Reaction.thy
The file was addedthys/Safe_Distance/data/README
The file was addedthys/Safe_Distance/data/data01.csv
The file was addedthys/Safe_Distance/data/data02.csv
The file was addedthys/Safe_Distance/data/data03.csv
The file was addedthys/Safe_Distance/document/root.bib
The file was addedthys/Safe_Distance/document/root.tex
The file was modified thys/ROOTS
Changeset 11144:95f6b086f304 by manuel eberl _eberlm@in.tum.de_:
added missing HTML file
The file was addedweb/entries/Nash_Williams.html
Changeset 11143:d52fe24a2f10 by manuel eberl _eberlm@in.tum.de_:
sitegen for Nash_Williams
The file was modified metadata/metadata
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 11142:cd2ad55be677 by manuel eberl _eberlm@in.tum.de_:
new entry Nash_Williams
The file was addedthys/Nash_Williams/Nash_Extras.thy
The file was addedthys/Nash_Williams/Nash_Williams.thy
The file was addedthys/Nash_Williams/ROOT
The file was addedthys/Nash_Williams/document/root.bib
The file was addedthys/Nash_Williams/document/root.tex
The file was modified thys/ROOTS
Changeset 11141:db9ba55af74d by rene thiemann _rene.thiemann@uibk.ac.at_:
metadata and sitegen for Smith-Normal-Form
The file was addedweb/entries/Smith_Normal_Form.html
The file was modified metadata/metadata
The file was modified web/entries/Berlekamp_Zassenhaus.html
The file was modified web/entries/Echelon_Form.html
The file was modified web/entries/Gauss_Jordan.html
The file was modified web/entries/Hermite.html
The file was modified web/entries/LLL_Basis_Reduction.html
The file was modified web/entries/LLL_Factorization.html
The file was modified web/entries/List-Index.html
The file was modified web/entries/Perron_Frobenius.html
The file was modified web/entries/QR_Decomposition.html
The file was modified web/entries/Rank_Nullity_Theorem.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html
Changeset 11140:588a85942e31 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Smith normal form
The file was addedthys/Smith_Normal_Form/Admits_SNF_From_Diagonal_Iff_Bezout_Ring.thy
The file was addedthys/Smith_Normal_Form/Cauchy_Binet.thy
The file was addedthys/Smith_Normal_Form/Cauchy_Binet_HOL_Analysis.thy
The file was addedthys/Smith_Normal_Form/Diagonal_To_Smith.thy
The file was addedthys/Smith_Normal_Form/Diagonal_To_Smith_JNF.thy
The file was addedthys/Smith_Normal_Form/Diagonalize.thy
The file was addedthys/Smith_Normal_Form/Elementary_Divisor_Rings.thy
The file was addedthys/Smith_Normal_Form/Finite_Field_Mod_Type_Connection.thy
The file was addedthys/Smith_Normal_Form/Mod_Type_Connect.thy
The file was addedthys/Smith_Normal_Form/ROOT
The file was addedthys/Smith_Normal_Form/Rings2_Extended.thy
The file was addedthys/Smith_Normal_Form/SNF_Algorithm.thy
The file was addedthys/Smith_Normal_Form/SNF_Algorithm_Euclidean_Domain.thy
The file was addedthys/Smith_Normal_Form/SNF_Algorithm_HOL_Analysis.thy
The file was addedthys/Smith_Normal_Form/SNF_Algorithm_Two_Steps.thy
The file was addedthys/Smith_Normal_Form/SNF_Algorithm_Two_Steps_JNF.thy
The file was addedthys/Smith_Normal_Form/SNF_Missing_Lemmas.thy
The file was addedthys/Smith_Normal_Form/SNF_Uniqueness.thy
The file was addedthys/Smith_Normal_Form/Smith_Certified.thy
The file was addedthys/Smith_Normal_Form/Smith_Normal_Form.thy
The file was addedthys/Smith_Normal_Form/Smith_Normal_Form_JNF.thy
The file was addedthys/Smith_Normal_Form/document/root.tex
The file was modified thys/ROOTS
Changeset 11139:e90b3aeb001d by rene thiemann _rene.thiemann@uibk.ac.at_:
changed import to prepare for Smith-Normal-Form submission
The file was modified thys/Berlekamp_Zassenhaus/Finite_Field.thy
Changeset 11138:c3ce5c83ccb4 by gerwin klein _gerwin.klein@data61.csiro.au_:
new entries<br><br>Automated_Stateful_Protocol_Verification and Stateful_Protocol_Composition_and_Typing
The file was addedthys/Automated_Stateful_Protocol_Verification/Eisbach_Protocol_Verification.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/Examples.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/PSPSP.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/ROOT
The file was addedthys/Automated_Stateful_Protocol_Verification/Stateful_Protocol_Model.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/Stateful_Protocol_Verification.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/Term_Abstraction.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/Term_Implication.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/Term_Variants.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/Transactions.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/document/root.bib
The file was addedthys/Automated_Stateful_Protocol_Verification/document/root.tex
The file was addedthys/Automated_Stateful_Protocol_Verification/examples/Keyserver.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/examples/Keyserver2.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/examples/Keyserver_Composition.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/examples/PKCS/PKCS_Model03.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/examples/PKCS/PKCS_Model07.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/examples/PKCS/PKCS_Model09.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/Makefile
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/README.md
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/bin/ml-lex-isa
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/bin/ml-yacc-isa
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/base.sig
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/copyright
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/join.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/lrtable.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/parser2.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/root.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml-yacc-lib/stream.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/ml_yacc_lib.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_fp_parser.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_fp.grm
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_fp.grm.sig
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_fp.grm.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_fp.lex
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_fp.lex.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_protocol.grm
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_protocol.grm.sig
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_protocol.grm.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_protocol.lex
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_parser/trac_protocol.lex.sml
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_protocol_parser.thy
The file was addedthys/Automated_Stateful_Protocol_Verification/trac/trac_term.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Examples.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Intruder_Deduction.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Labeled_Stateful_Strands.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Labeled_Strands.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Lazy_Intruder.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Messages.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Miscellaneous.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/More_Unification.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Parallel_Compositionality.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/ROOT
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Stateful_Compositionality.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Stateful_Strands.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Stateful_Typing.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Strands_and_Constraints.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Typed_Model.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/Typing_Result.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/document/root.bib
The file was addedthys/Stateful_Protocol_Composition_and_Typing/document/root.tex
The file was addedthys/Stateful_Protocol_Composition_and_Typing/examples/Example_Keyserver.thy
The file was addedthys/Stateful_Protocol_Composition_and_Typing/examples/Example_TLS.thy
The file was addedweb/entries/Automated_Stateful_Protocol_Verification.html
The file was addedweb/entries/Stateful_Protocol_Composition_and_Typing.html
The file was modified metadata/metadata
The file was modified thys/ROOTS
The file was modified web/entries/First_Order_Terms.html
The file was modified web/index.html
The file was modified web/rss.xml
The file was modified web/statistics.html
The file was modified web/topics.html