Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. add missing timeout
  2. adapted LOFT to Isabelle devel
  3. merged
  4. webpage for Deep_Learning
  5. Deep_Learning new
  6. tuned
  7. New article Modal_Logics_for_NTS
  8. tuned
  9. new entry Stable_Matching
  10. new entry LOFT
Changeset 7375:9fcd8e69562c by lars hupel _lars.hupel@mytum.de_:
add missing timeout
The file was modified thys/Berlekamp_Zassenhaus/ROOT (diff)
Changeset 7374:ba398f92788b by lars hupel _lars.hupel@mytum.de_:
adapted LOFT to Isabelle devel
The file was modified thys/LOFT/LinuxRouter_OpenFlow_Translation.thy (diff)
The file was modified thys/LOFT/OpenFlow_Documentation.thy (diff)
Changeset 7373:5f5d09a5000e by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 7372:fbf483106927 by paulson _lp15@cam.ac.uk_:
webpage for Deep_Learning
The file was addedweb/entries/Deep_Learning.shtml
The file was modified metadata/metadata (diff)
The file was modified web/entries/Jordan_Normal_Form.shtml (diff)
The file was modified web/entries/Polynomial_Interpolation.shtml (diff)
The file was modified web/entries/VectorSpace.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7371:b0ffda979778 by paulson _lp15@cam.ac.uk_:
Deep_Learning new
The file was addedthys/Deep_Learning/DL_Concrete_Matrices.thy
The file was addedthys/Deep_Learning/DL_Deep_Model.thy
The file was addedthys/Deep_Learning/DL_Deep_Model_Poly.thy
The file was addedthys/Deep_Learning/DL_Flatten_Matrix.thy
The file was addedthys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy
The file was addedthys/Deep_Learning/DL_Missing_Complete_Measure.thy
The file was addedthys/Deep_Learning/DL_Missing_Finite_Set.thy
The file was addedthys/Deep_Learning/DL_Missing_List.thy
The file was addedthys/Deep_Learning/DL_Missing_Matrix.thy
The file was addedthys/Deep_Learning/DL_Missing_Sublist.thy
The file was addedthys/Deep_Learning/DL_Missing_VS_Connect.thy
The file was addedthys/Deep_Learning/DL_Missing_Vector_Space.thy
The file was addedthys/Deep_Learning/DL_Network.thy
The file was addedthys/Deep_Learning/DL_Rank.thy
The file was addedthys/Deep_Learning/DL_Rank_CP_Rank.thy
The file was addedthys/Deep_Learning/DL_Rank_Submatrix.thy
The file was addedthys/Deep_Learning/DL_Shallow_Model.thy
The file was addedthys/Deep_Learning/DL_Submatrix.thy
The file was addedthys/Deep_Learning/Lebesgue_Functional.thy
The file was addedthys/Deep_Learning/Lebesgue_Zero_Set.thy
The file was addedthys/Deep_Learning/PP_Auxiliary.thy
The file was addedthys/Deep_Learning/PP_MPoly.thy
The file was addedthys/Deep_Learning/PP_More_List2.thy
The file was addedthys/Deep_Learning/PP_More_MPoly.thy
The file was addedthys/Deep_Learning/PP_Poly_Mapping.thy
The file was addedthys/Deep_Learning/PP_Univariate.thy
The file was addedthys/Deep_Learning/ROOT
The file was addedthys/Deep_Learning/Tensor.thy
The file was addedthys/Deep_Learning/Tensor_Matricization.thy
The file was addedthys/Deep_Learning/Tensor_Plus.thy
The file was addedthys/Deep_Learning/Tensor_Product.thy
The file was addedthys/Deep_Learning/Tensor_Rank.thy
The file was addedthys/Deep_Learning/Tensor_Scalar_Mult.thy
The file was addedthys/Deep_Learning/Tensor_Subtensor.thy
The file was addedthys/Deep_Learning/Tensor_Unit_Vec.thy
The file was addedthys/Deep_Learning/document/root.bib
The file was addedthys/Deep_Learning/document/root.tex
The file was modified thys/ROOTS (diff)
Changeset 7370:e22c3f3c4e8d by nipkow:
tuned
The file was modified metadata/metadata (diff)
The file was modified web/entries/Modal_Logics_for_NTS.shtml (diff)
The file was modified web/index.shtml (diff)
Changeset 7369:abccc3262daa by nipkow:
New article Modal_Logics_for_NTS
The file was addedthys/Modal_Logics_for_NTS/Bisimilarity_Implies_Equivalence.thy
The file was addedthys/Modal_Logics_for_NTS/Equivalence_Implies_Bisimilarity.thy
The file was addedthys/Modal_Logics_for_NTS/FL_Bisimilarity_Implies_Equivalence.thy
The file was addedthys/Modal_Logics_for_NTS/FL_Equivalence_Implies_Bisimilarity.thy
The file was addedthys/Modal_Logics_for_NTS/FL_Formula.thy
The file was addedthys/Modal_Logics_for_NTS/FL_Logical_Equivalence.thy
The file was addedthys/Modal_Logics_for_NTS/FL_Transition_System.thy
The file was addedthys/Modal_Logics_for_NTS/FL_Validity.thy
The file was addedthys/Modal_Logics_for_NTS/FS_Set.thy
The file was addedthys/Modal_Logics_for_NTS/Formula.thy
The file was addedthys/Modal_Logics_for_NTS/L_Transform.thy
The file was addedthys/Modal_Logics_for_NTS/Logical_Equivalence.thy
The file was addedthys/Modal_Logics_for_NTS/Nominal_Bounded_Set.thy
The file was addedthys/Modal_Logics_for_NTS/Nominal_Wellfounded.thy
The file was addedthys/Modal_Logics_for_NTS/ROOT
The file was addedthys/Modal_Logics_for_NTS/Residual.thy
The file was addedthys/Modal_Logics_for_NTS/Transition_System.thy
The file was addedthys/Modal_Logics_for_NTS/Validity.thy
The file was addedthys/Modal_Logics_for_NTS/document/root.bib
The file was addedthys/Modal_Logics_for_NTS/document/root.tex
The file was addedweb/entries/Modal_Logics_for_NTS.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (diff)
The file was modified web/entries/Nominal2.shtml (diff)
The file was modified web/index.shtml (diff)
The file was modified web/topics.shtml (diff)
Changeset 7368:03391ac12b1f by nipkow:
tuned
The file was modified thys/Stable_Matching/ROOT (diff)
Changeset 7367:04dc45b882ba by nipkow:
new entry Stable_Matching
The file was addedthys/Stable_Matching/BW_Extra.thy
The file was addedthys/Stable_Matching/Basis.thy
The file was addedthys/Stable_Matching/Bossiness.thy
The file was addedthys/Stable_Matching/COP.thy
The file was addedthys/Stable_Matching/Choice_Functions.thy
The file was addedthys/Stable_Matching/Contracts.thy
The file was addedthys/Stable_Matching/Dual_Lattice.thy
The file was addedthys/Stable_Matching/Nitpick.thy
The file was addedthys/Stable_Matching/ROOT
The file was addedthys/Stable_Matching/Sotomayor.thy
The file was addedthys/Stable_Matching/Strategic.thy
The file was addedthys/Stable_Matching/document/mathpartir.sty
The file was addedthys/Stable_Matching/document/root.bib
The file was addedthys/Stable_Matching/document/root.tex
The file was addedweb/entries/Stable_Matching.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 7366:55081db99238 by gerwin.klein@nicta.com.au:
new entry LOFT
The file was addedthys/LOFT/Examples/OF_conv_test/3chn.py
The file was addedthys/LOFT/Examples/OF_conv_test/OF_conv_test.thy
The file was addedthys/LOFT/Examples/OF_conv_test/ip-route
The file was addedthys/LOFT/Examples/OF_conv_test/iptables-save
The file was addedthys/LOFT/Examples/RFC2544/RFC2544.thy
The file was addedthys/LOFT/Examples/RFC2544/ip-route
The file was addedthys/LOFT/Examples/RFC2544/iptables-save
The file was addedthys/LOFT/Featherweight_OpenFlow_Comparison.thy
The file was addedthys/LOFT/LinuxRouter_OpenFlow_Translation.thy
The file was addedthys/LOFT/List_Group.thy
The file was addedthys/LOFT/OpenFlow_Action.thy
The file was addedthys/LOFT/OpenFlow_Documentation.thy
The file was addedthys/LOFT/OpenFlow_Helpers.thy
The file was addedthys/LOFT/OpenFlow_Matches.thy
The file was addedthys/LOFT/OpenFlow_Serialize.thy
The file was addedthys/LOFT/ROOT
The file was addedthys/LOFT/Semantics_OpenFlow.thy
The file was addedthys/LOFT/Sort_Descending.thy
The file was addedthys/LOFT/document/bench.csv
The file was addedthys/LOFT/document/chap3.tex
The file was addedthys/LOFT/document/moeptikz.sty
The file was addedthys/LOFT/document/root.bib
The file was addedthys/LOFT/document/root.tex
The file was addedweb/entries/LOFT.shtml
The file was modified metadata/metadata (diff)
The file was modified thys/ROOTS (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/Iptables_Semantics.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/index.shtml (diff)
The file was modified web/topics.shtml (diff)