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
  2. rerun sitegen after merge from AFP 2023
  3. merge from AFP 2023
  4. metadata and sitegen for MFOTL_Checker
  5. new entry: MFOTL_Checker
  6. New entry: ConcurrentHOL
  7. Uncertainty_Principle sitegen
  8. New entry /Users/lp15/.isabelle/Isabelle2023/browser_info/AFP/Uncertainty_Principle
  9. sitegen for Broadcast_Psi
  10. new entry Broadcast_Psi
Changeset 14304:3f3f3b9278b9 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14303:25dbc1e991c8 by rene thiemann _rene.thiemann@uibk.ac.at_:
rerun sitegen after merge from AFP 2023
The file was modified web/authors/herasimau/index.html
The file was modified web/authors/index.xml
The file was modified web/authors/ito/index.html
The file was modified web/authors/ito/index.xml
The file was modified web/authors/lima/index.html
The file was modified web/authors/raabjerg/index.html
The file was modified web/authors/sternagel/index.html
The file was modified web/authors/thiemann/index.html
The file was modified web/authors/treml/index.html
The file was modified web/authors/yamada/index.html
The file was modified web/authors/yamada/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/certification_monads/index.html
The file was modified web/dependencies/index.json
The file was modified web/dependencies/index.xml
The file was modified web/dependencies/polynomial_factorization/index.html
The file was modified web/dependencies/polynomial_factorization/index.xml
The file was modified web/dependencies/psi_calculi/index.html
The file was modified web/dependencies/show/index.html
The file was modified web/dependencies/show/index.xml
The file was modified web/entries/Actuarial_Mathematics.html
The file was modified web/entries/Berlekamp_Zassenhaus.html
The file was modified web/entries/Broadcast_Psi.html
The file was modified web/entries/Catalan_Numbers.html
The file was modified web/entries/Commuting_Hermitian.html
The file was modified web/entries/ConcurrentHOL.html
The file was modified web/entries/Doob_Convergence.html
The file was modified web/entries/Eval_FO.html
The file was modified web/entries/First_Order_Terms.html
The file was modified web/entries/HyperHoareLogic.html
The file was modified web/entries/Implicational_Logic.html
The file was modified web/entries/Jordan_Normal_Form.html
The file was modified web/entries/MFODL_Monitor_Optimized.html
The file was modified web/entries/MFOTL_Checker.html
The file was modified web/entries/MFOTL_Monitor.html
The file was modified web/entries/Polynomial_Factorization.html
The file was modified web/entries/ROBDD.html
The file was modified web/entries/Relational_Cardinality.html
The file was modified web/entries/Root_Balanced_Tree.html
The file was modified web/entries/Show.html
The file was modified web/entries/Uncertainty_Principle.html
The file was modified web/entries/XML.html
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/sessions/berlekamp_zassenhaus/index.html
The file was modified web/sessions/broadcast_psi/index.html
The file was modified web/sessions/concurrenthol/index.html
The file was modified web/sessions/doob_convergence/index.html
The file was modified web/sessions/eval_fo/index.html
The file was modified web/sessions/first_order_terms/index.html
The file was modified web/sessions/hyperhoarelogic/index.html
The file was modified web/sessions/implicational_logic/index.html
The file was modified web/sessions/jordan_normal_form/index.html
The file was modified web/sessions/mfotl_checker/index.html
The file was modified web/sessions/show/index.html
The file was modified web/sessions/uncertainty_principle/index.html
The file was modified web/sessions/xml/index.html
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/algorithms/index.xml
The file was modified web/topics/computer-science/concurrency/index.xml
The file was modified web/topics/computer-science/concurrency/process-calculi/index.xml
The file was modified web/topics/computer-science/data-management-systems/index.xml
The file was modified web/topics/computer-science/data-structures/index.html
The file was modified web/topics/computer-science/functional-programming/index.html
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/index.xml
The file was modified web/topics/logic/general-logic/index.xml
The file was modified web/topics/logic/general-logic/temporal-logic/index.xml
The file was modified web/topics/logic/index.xml
The file was modified web/topics/mathematics/games-and-economics/index.html
The file was modified web/topics/mathematics/games-and-economics/index.xml
The file was modified web/topics/mathematics/index.xml
The file was modified web/topics/mathematics/physics/index.xml
The file was modified web/topics/mathematics/physics/quantum-information/index.xml
Changeset 14302:2548b08bc3c4 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2023
Changeset 14301:00fb7d6558e5 by rene thiemann _rene.thiemann@uibk.ac.at_:
metadata and sitegen for MFOTL_Checker
The file was addedmetadata/entries/MFOTL_Checker.toml
The file was addedweb/authors/herasimau/index.html
The file was addedweb/authors/herasimau/index.xml
The file was addedweb/authors/lima/index.html
The file was addedweb/authors/lima/index.xml
The file was addedweb/entries/MFOTL_Checker.html
The file was addedweb/sessions/mfotl_checker/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/authors/munive/index.html
The file was modified web/authors/munive/index.xml
The file was modified web/authors/raszyk/index.html
The file was modified web/authors/raszyk/index.xml
The file was modified web/authors/traytel/index.html
The file was modified web/authors/traytel/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/mfotl_monitor/index.html
The file was modified web/dependencies/mfotl_monitor/index.xml
The file was modified web/entries/Approximation_Algorithms.html
The file was modified web/entries/Catoids.html
The file was modified web/entries/Combinatorics_Words.html
The file was modified web/entries/CubicalCategories.html
The file was modified web/entries/Efficient_Weighted_Path_Order.html
The file was modified web/entries/Frequency_Moments.html
The file was modified web/entries/HoareForDivergence.html
The file was modified web/entries/HyperHoareLogic.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/List_Update.html
The file was modified web/entries/MFODL_Monitor_Optimized.html
The file was modified web/entries/MFOTL_Monitor.html
The file was modified web/entries/OmegaCatoidsQuantales.html
The file was modified web/entries/Polygonal_Number_Theorem.html
The file was modified web/entries/Prim_Dijkstra_Simple.html
The file was modified web/entries/Propositional_Proof_Systems.html
The file was modified web/entries/Quantales_Converse.html
The file was modified web/entries/ROBDD.html
The file was modified web/entries/Relational_Cardinality.html
The file was modified web/entries/S_Finite_Measure_Monad.html
The file was modified web/entries/Standard_Borel_Spaces.html
The file was modified web/entries/Transport.html
The file was modified web/entries/Wieferich_Kempner.html
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/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/algorithms/index.html
The file was modified web/topics/computer-science/algorithms/index.xml
The file was modified web/topics/computer-science/data-management-systems/index.html
The file was modified web/topics/computer-science/data-management-systems/index.xml
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/index.html
The file was modified web/topics/logic/general-logic/index.xml
The file was modified web/topics/logic/general-logic/temporal-logic/index.html
The file was modified web/topics/logic/general-logic/temporal-logic/index.xml
The file was modified web/topics/logic/index.xml
Changeset 14300:cda88c9fcbf9 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: MFOTL_Checker
The file was addedthys/MFOTL_Checker/Checker.thy
The file was addedthys/MFOTL_Checker/Checker_Code.thy
The file was addedthys/MFOTL_Checker/Event_Data.thy
The file was addedthys/MFOTL_Checker/Examples.thy
The file was addedthys/MFOTL_Checker/Formula.thy
The file was addedthys/MFOTL_Checker/Monitor.thy
The file was addedthys/MFOTL_Checker/Partition.thy
The file was addedthys/MFOTL_Checker/Prelim.thy
The file was addedthys/MFOTL_Checker/Proof_Object.thy
The file was addedthys/MFOTL_Checker/Proof_System.thy
The file was addedthys/MFOTL_Checker/ROOT
The file was addedthys/MFOTL_Checker/Trace.thy
The file was addedthys/MFOTL_Checker/document/root.bib
The file was addedthys/MFOTL_Checker/document/root.tex
The file was modified thys/ROOTS
Changeset 14299:dbe1aa3fe16e by nipkow:
New entry: ConcurrentHOL
The file was addedmetadata/entries/ConcurrentHOL.toml
The file was addedthys/ConcurrentHOL/Aczel_Sequences.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/CImperativeHOL.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/Heap.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/Ix.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/TSO.sml
The file was addedthys/ConcurrentHOL/CImperativeHOL/TSO.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/TSO_Code_Gen.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/ex/Floyd_Warshall.thy
The file was addedthys/ConcurrentHOL/CImperativeHOL/ex/TSO_litmus.thy
The file was addedthys/ConcurrentHOL/Closures.thy
The file was addedthys/ConcurrentHOL/Combinators.thy
The file was addedthys/ConcurrentHOL/ConcurrentHOL.thy
The file was addedthys/ConcurrentHOL/Constructions.thy
The file was addedthys/ConcurrentHOL/Galois.thy
The file was addedthys/ConcurrentHOL/HOL_Basis.thy
The file was addedthys/ConcurrentHOL/Heyting.thy
The file was addedthys/ConcurrentHOL/Lifted_Predicates.thy
The file was addedthys/ConcurrentHOL/Local_State.thy
The file was addedthys/ConcurrentHOL/More_Lattices.thy
The file was addedthys/ConcurrentHOL/Next_Imp.thy
The file was addedthys/ConcurrentHOL/Programs.thy
The file was addedthys/ConcurrentHOL/ROOT
The file was addedthys/ConcurrentHOL/Refinement.thy
The file was addedthys/ConcurrentHOL/Safety_Logic.thy
The file was addedthys/ConcurrentHOL/Stability.thy
The file was addedthys/ConcurrentHOL/TLS.thy
The file was addedthys/ConcurrentHOL/document/root.bib
The file was addedthys/ConcurrentHOL/document/root.tex
The file was addedthys/ConcurrentHOL/ex/Assume_Guarantee.thy
The file was addedthys/ConcurrentHOL/ex/Atomic.thy
The file was addedthys/ConcurrentHOL/ex/BFS.thy
The file was addedthys/ConcurrentHOL/ex/Exceptions.thy
The file was addedthys/ConcurrentHOL/ex/FindP.thy
The file was addedthys/ConcurrentHOL/ex/Inhabitation.thy
The file was addedthys/ConcurrentHOL/ex/Safety_Closure.thy
The file was addedthys/ConcurrentHOL/ex/WickersonDoddsParkinson.thy
The file was addedthys/ConcurrentHOL/tools/Strengthen.thy
The file was addedweb/entries/ConcurrentHOL.html
The file was addedweb/sessions/concurrenthol/index.html
The file was modified thys/ROOTS
The file was modified web/authors/gammie/index.html
The file was modified web/authors/gammie/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/coinductive/index.html
The file was modified web/dependencies/coinductive/index.xml
The file was modified web/dependencies/index.html
The file was modified web/dependencies/optics/index.html
The file was modified web/dependencies/optics/index.xml
The file was modified web/entries/Approximation_Algorithms.html
The file was modified web/entries/Catoids.html
The file was modified web/entries/Coinductive.html
The file was modified web/entries/Combinatorics_Words.html
The file was modified web/entries/CubicalCategories.html
The file was modified web/entries/Efficient_Weighted_Path_Order.html
The file was modified web/entries/Frequency_Moments.html
The file was modified web/entries/HoareForDivergence.html
The file was modified web/entries/HyperHoareLogic.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/List_Update.html
The file was modified web/entries/OmegaCatoidsQuantales.html
The file was modified web/entries/Optics.html
The file was modified web/entries/Polygonal_Number_Theorem.html
The file was modified web/entries/Prim_Dijkstra_Simple.html
The file was modified web/entries/Propositional_Proof_Systems.html
The file was modified web/entries/Quantales_Converse.html
The file was modified web/entries/Relational_Cardinality.html
The file was modified web/entries/S_Finite_Measure_Monad.html
The file was modified web/entries/Standard_Borel_Spaces.html
The file was modified web/entries/Transport.html
The file was modified web/entries/Wieferich_Kempner.html
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/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/concurrency/index.html
The file was modified web/topics/computer-science/concurrency/index.xml
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/index.html
Changeset 14298:5492883fb017 by paulson _lp15@cam.ac.uk_:
Uncertainty_Principle sitegen
The file was addedmetadata/entries/Uncertainty_Principle.toml
The file was addedweb/authors/treml/index.html
The file was addedweb/authors/treml/index.xml
The file was addedweb/entries/Uncertainty_Principle.html
The file was addedweb/sessions/uncertainty_principle/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/qhlprover/index.html
The file was modified web/dependencies/qhlprover/index.xml
The file was modified web/entries/Catoids.html
The file was modified web/entries/Combinatorics_Words.html
The file was modified web/entries/Commuting_Hermitian.html
The file was modified web/entries/Efficient_Weighted_Path_Order.html
The file was modified web/entries/Frequency_Moments.html
The file was modified web/entries/HoareForDivergence.html
The file was modified web/entries/HyperHoareLogic.html
The file was modified web/entries/List_Update.html
The file was modified web/entries/OmegaCatoidsQuantales.html
The file was modified web/entries/Polygonal_Number_Theorem.html
The file was modified web/entries/Prim_Dijkstra_Simple.html
The file was modified web/entries/Propositional_Proof_Systems.html
The file was modified web/entries/QHLProver.html
The file was modified web/entries/Quantales_Converse.html
The file was modified web/entries/Relational_Cardinality.html
The file was modified web/entries/S_Finite_Measure_Monad.html
The file was modified web/entries/Standard_Borel_Spaces.html
The file was modified web/entries/Transport.html
The file was modified web/entries/Wieferich_Kempner.html
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/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/index.html
The file was modified web/topics/mathematics/index.xml
The file was modified web/topics/mathematics/physics/index.xml
The file was modified web/topics/mathematics/physics/quantum-information/index.html
The file was modified web/topics/mathematics/physics/quantum-information/index.xml
The file was removedmetadata/authors.toml.orig
Changeset 14297:4ecda9e9f43b by paulson _lp15@cam.ac.uk_:
New entry /Users/lp15/.isabelle/Isabelle2023/browser_info/AFP/Uncertainty_Principle
The file was addedthys/Uncertainty_Principle/ROOT
The file was addedthys/Uncertainty_Principle/Uncertainty_Principle.thy
The file was addedthys/Uncertainty_Principle/document/root.bib
The file was addedthys/Uncertainty_Principle/document/root.tex
The file was modified thys/Example-Submission/ROOT
The file was modified thys/ROOTS
Changeset 14296:51fb7da70175 by traytel:
sitegen for Broadcast_Psi
The file was addedmetadata/entries/Broadcast_Psi.toml
The file was addedweb/authors/raabjerg/index.html
The file was addedweb/authors/raabjerg/index.xml
The file was addedweb/dependencies/psi_calculi/index.html
The file was addedweb/dependencies/psi_calculi/index.xml
The file was addedweb/entries/Broadcast_Psi.html
The file was addedweb/sessions/broadcast_psi/index.html
The file was modified metadata/authors.toml
The file was modified metadata/authors.toml.orig
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/authors/pohjola/index.html
The file was modified web/authors/pohjola/index.xml
The file was modified web/authors/weber/index.html
The file was modified web/authors/weber/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.json
The file was modified web/entries/Polygonal_Number_Theorem.html
The file was modified web/entries/Psi_Calculi.html
The file was modified web/entries/Transport.html
The file was modified web/entries/Wieferich_Kempner.html
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/sessions/index.xml
The file was modified web/sitemap.xml
The file was modified web/statistics/index.html
The file was modified web/topics/computer-science/concurrency/index.xml
The file was modified web/topics/computer-science/concurrency/process-calculi/index.html
The file was modified web/topics/computer-science/concurrency/process-calculi/index.xml
The file was modified web/topics/computer-science/index.xml
The file was modified web/topics/index.html
Changeset 14295:31ea85757858 by traytel:
new entry Broadcast_Psi
The file was addedthys/Broadcast_Psi/Bisim_Pres.thy
The file was addedthys/Broadcast_Psi/Bisim_Struct_Cong.thy
The file was addedthys/Broadcast_Psi/Bisim_Subst.thy
The file was addedthys/Broadcast_Psi/Bisimulation.thy
The file was addedthys/Broadcast_Psi/Broadcast_Chain.thy
The file was addedthys/Broadcast_Psi/Broadcast_Frame.thy
The file was addedthys/Broadcast_Psi/Broadcast_Thms.thy
The file was addedthys/Broadcast_Psi/ROOT
The file was addedthys/Broadcast_Psi/Semantics.thy
The file was addedthys/Broadcast_Psi/Sim_Pres.thy
The file was addedthys/Broadcast_Psi/Sim_Struct_Cong.thy
The file was addedthys/Broadcast_Psi/Simulation.thy
The file was addedthys/Broadcast_Psi/document/root.bib
The file was addedthys/Broadcast_Psi/document/root.tex
The file was modified thys/ROOTS