Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. merge
  2. merge from AFP 2023
  3. merge from afp-2023
  4. add files, amending eaa12586560e
  5. add tests with problematic file names, amending 0c89fe6fc3d9
  6. remove tests with problematic file names
  7. merge from AFP 2024
  8. patch Isabelle DOF from AFP 2023 to AFP 2024
  9. merge
  10. patch some metadata of Isabelle/DOF
  11. patch Isabelle/DOF to work with Isabelle 2024
  12. adjust Schoenhage Strassen from AFP 2023 to AFP 2024
  13. merge from AFP 2023
  14. metadata and sitegen for Isabelle-DOF
  15. new entry: Isabelle DOF
  16. More Schoenhage_Strassen
  17. New entry Schoenhage_Strassen
  18. sitegen for Top_Down_Solver
  19. new entry Top_Down_Solver
  20. tune html abstract for LL1_Parser + sitegen
  21. sitegen for LL1_Parser
  22. new entry LL1_Parser
Changeset 14413:5d3b27559265 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14412:ab5b02955b95 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2023
Changeset 14411:2b13c80e409f by Gerwin Klein _gerwin.klein@proofcraft.systems_:
merge from afp-2023
Changeset 14410:8f05dcf6541e by Norbert Schirmer _nschirmer@apple.com_:
add files, amending eaa12586560e
The file was addedthys/AutoCorres2/tests/c-parser/includes/accentedだいがく.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/accented大学.h
The file was addedthys/AutoCorres2/tests/c-parser/includes/accentéd1.h
The file was addedthys/AutoCorres2/tests/c-parser/jiraver224.c
The file was addedthys/AutoCorres2/tests/c-parser/jiraver224.thy
Changeset 14409:152ccd2fe1f0 by Norbert Schirmer _nschirmer@apple.com_:
add tests with problematic file names, amending 0c89fe6fc3d9
The file was modified thys/AutoCorres2/tests/c-parser/CParserTest.thy
Changeset 14408:c2f0de2d6ad0 by Norbert Schirmer _nschirmer@apple.com_:
remove tests with problematic file names
The file was modified thys/AutoCorres2/tests/c-parser/CParserTest.thy
The file was removedthys/AutoCorres2/tests/c-parser/includes/accentedだいがく.h
The file was removedthys/AutoCorres2/tests/c-parser/includes/accented大学.h
The file was removedthys/AutoCorres2/tests/c-parser/includes/accentéd1.h
The file was removedthys/AutoCorres2/tests/c-parser/jiraver224.c
The file was removedthys/AutoCorres2/tests/c-parser/jiraver224.thy
Changeset 14407:c1c594667554 by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2024
Changeset 14406:a6548756ed07 by rene thiemann _rene.thiemann@uibk.ac.at_:
patch Isabelle DOF from AFP 2023 to AFP 2024
The file was modified thys/Isabelle_DOF/scala/dof.scala
Changeset 14405:0d4e135f26bf by rene thiemann _rene.thiemann@uibk.ac.at_:
merge
Changeset 14404:fbe7a4332097 by rene thiemann _rene.thiemann@uibk.ac.at_:
patch some metadata of Isabelle/DOF
The file was modified thys/Isabelle_DOF/document/preamble.tex
The file was modified thys/Isabelle_DOF/scala/dof.scala
The file was modified thys/Isabelle_DOF/thys/manual/M_01_Introduction.thy
Changeset 14403:7b424c1e4126 by rene thiemann _rene.thiemann@uibk.ac.at_:
patch Isabelle/DOF to work with Isabelle 2024
The file was modified thys/Isabelle_DOF/thys/Isa_DOF.thy
Changeset 14402:c38678a878d1 by rene thiemann _rene.thiemann@uibk.ac.at_:
adjust Schoenhage Strassen from AFP 2023 to AFP 2024
The file was modified thys/Schoenhage_Strassen/Preliminaries/Schoenhage_Strassen_Preliminaries.thy
The file was modified thys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_Fermat.thy
The file was modified thys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_Fermat_TM.thy
The file was modified thys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_power_of_2.thy
Changeset 14401:791d4663ea9d by rene thiemann _rene.thiemann@uibk.ac.at_:
merge from AFP 2023
Changeset 14400:99880f89e7fc by rene thiemann _rene.thiemann@uibk.ac.at_:
metadata and sitegen for Isabelle-DOF
The file was addedmetadata/entries/Isabelle_DOF.toml
The file was addedweb/authors/meric/index.html
The file was addedweb/authors/meric/index.xml
The file was addedweb/dependencies/functional-automata/index.html
The file was addedweb/dependencies/functional-automata/index.xml
The file was addedweb/entries/Isabelle_DOF.html
The file was addedweb/sessions/isabelle_dof/index.html
The file was modified metadata/authors.toml
The file was modified web/authors/brucker/index.html
The file was modified web/authors/brucker/index.xml
The file was modified web/authors/index.html
The file was modified web/authors/index.json
The file was modified web/authors/wolff/index.html
The file was modified web/authors/wolff/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/dependencies/regular-sets/index.html
The file was modified web/dependencies/regular-sets/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/Functional-Automata.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/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/Regular-Sets.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/index.xml
The file was modified web/topics/computer-science/semantics-and-reasoning/index.html
The file was modified web/topics/computer-science/semantics-and-reasoning/index.xml
The file was modified web/topics/index.html
Changeset 14399:13c520d51092 by rene thiemann _rene.thiemann@uibk.ac.at_:
new entry: Isabelle DOF
The file was addedthys/Isabelle_DOF/ROOT
The file was addedthys/Isabelle_DOF/document/dof_session.tex
The file was addedthys/Isabelle_DOF/document/figures/Dogfood-II-bgnd1.png
The file was addedthys/Isabelle_DOF/document/figures/Dogfood-III-bgnd-text_section.png
The file was addedthys/Isabelle_DOF/document/figures/Dogfood-IV-jumpInDocCLass.png
The file was addedthys/Isabelle_DOF/document/figures/Dogfood-V-attribute.png
The file was addedthys/Isabelle_DOF/document/figures/Dogfood-VI-linkappl.png
The file was addedthys/Isabelle_DOF/document/figures/Dogfood-figures.png
The file was addedthys/Isabelle_DOF/document/figures/Isabelle_DOF-logo.pdf
The file was addedthys/Isabelle_DOF/document/figures/MyCommentedIsabelle.png
The file was addedthys/Isabelle_DOF/document/figures/ThisPaperWithPreviewer.png
The file was addedthys/Isabelle_DOF/document/figures/cicm2018-combined.png
The file was addedthys/Isabelle_DOF/document/figures/definition-use-CSP-pdf.png
The file was addedthys/Isabelle_DOF/document/figures/definition-use-CSP.png
The file was addedthys/Isabelle_DOF/document/figures/doc-mod-DOF.pdf
The file was addedthys/Isabelle_DOF/document/figures/doc-mod-generic.pdf
The file was addedthys/Isabelle_DOF/document/figures/doc-mod-isar.pdf
The file was addedthys/Isabelle_DOF/document/figures/doc-mod-onto-docinst.pdf
The file was addedthys/Isabelle_DOF/document/figures/doc-mod-term-aq.pdf
The file was addedthys/Isabelle_DOF/document/figures/document-hierarchy.pdf
The file was addedthys/Isabelle_DOF/document/figures/header_CSP_pdf.png
The file was addedthys/Isabelle_DOF/document/figures/header_CSP_source.png
The file was addedthys/Isabelle_DOF/document/figures/isabelle-architecture.pdf
The file was addedthys/Isabelle_DOF/document/lstisadof-manual.sty
The file was addedthys/Isabelle_DOF/document/preamble.tex
The file was addedthys/Isabelle_DOF/document/root.bib
The file was addedthys/Isabelle_DOF/document/root.mst
The file was addedthys/Isabelle_DOF/etc/build.props
The file was addedthys/Isabelle_DOF/latex/document-templates/root-lncs.tex
The file was addedthys/Isabelle_DOF/latex/document-templates/root-scrartcl.tex
The file was addedthys/Isabelle_DOF/latex/document-templates/root-scrreprt-modern.tex
The file was addedthys/Isabelle_DOF/latex/document-templates/root-scrreprt.tex
The file was addedthys/Isabelle_DOF/latex/styles/DOF-COL.sty
The file was addedthys/Isabelle_DOF/latex/styles/DOF-amssymb.sty
The file was addedthys/Isabelle_DOF/latex/styles/DOF-core.sty
The file was addedthys/Isabelle_DOF/ontologies/ontologies.thy
The file was addedthys/Isabelle_DOF/ontologies/scholarly_paper/DOF-scholarly_paper.sty
The file was addedthys/Isabelle_DOF/ontologies/scholarly_paper/scholarly_paper.thy
The file was addedthys/Isabelle_DOF/ontologies/technical_report/DOF-technical_report.sty
The file was addedthys/Isabelle_DOF/ontologies/technical_report/technical_report.thy
The file was addedthys/Isabelle_DOF/scala/dof.scala
The file was addedthys/Isabelle_DOF/scala/dof_document_build.scala
The file was addedthys/Isabelle_DOF/thys/Isa_COL.thy
The file was addedthys/Isabelle_DOF/thys/Isa_DOF.thy
The file was addedthys/Isabelle_DOF/thys/RegExpInterface.thy
The file was addedthys/Isabelle_DOF/thys/manual/Isabelle_DOF_Manual.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_00_Frontmatter.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_01_Introduction.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_02_Background.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_03_GuidedTour.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_04_Document_Ontology.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_05_Proofs_Ontologies.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_06_RefMan.thy
The file was addedthys/Isabelle_DOF/thys/manual/M_07_Implementation.thy
The file was modified thys/ROOTS
Changeset 14398:8a355889105f by nipkow:
More Schoenhage_Strassen
The file was addedweb/dependencies/karatsuba/index.html
The file was addedweb/dependencies/karatsuba/index.xml
The file was addedweb/entries/Schoenhage_Strassen.html
The file was addedweb/sessions/schoenhage_strassen/index.html
Changeset 14397:ba1c71a95592 by nipkow:
New entry Schoenhage_Strassen
The file was addedmetadata/entries/Schoenhage_Strassen.toml
The file was addedthys/Schoenhage_Strassen/NTT_Rings/FNTT_Rings.thy
The file was addedthys/Schoenhage_Strassen/NTT_Rings/NTT_Rings.thy
The file was addedthys/Schoenhage_Strassen/Preliminaries/Schoenhage_Strassen_Preliminaries.thy
The file was addedthys/Schoenhage_Strassen/Preliminaries/Schoenhage_Strassen_Ring_Lemmas.thy
The file was addedthys/Schoenhage_Strassen/Preliminaries/Schoenhage_Strassen_Runtime_Preliminaries.thy
The file was addedthys/Schoenhage_Strassen/ROOT
The file was addedthys/Schoenhage_Strassen/Schoenhage_Strassen/Schoenhage_Strassen.thy
The file was addedthys/Schoenhage_Strassen/Schoenhage_Strassen/Schoenhage_Strassen_TM.thy
The file was addedthys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_Fermat.thy
The file was addedthys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_Fermat_TM.thy
The file was addedthys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_power_of_2.thy
The file was addedthys/Schoenhage_Strassen/Schoenhage_Strassen/Z_mod_power_of_2_TM.thy
The file was addedthys/Schoenhage_Strassen/document/root.bib
The file was addedthys/Schoenhage_Strassen/document/root.tex
The file was modified thys/ROOTS
The file was modified web/authors/schulz/index.html
The file was modified web/authors/schulz/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/akra_bazzi/index.html
The file was modified web/dependencies/akra_bazzi/index.xml
The file was modified web/dependencies/index.html
The file was modified web/dependencies/index.json
The file was modified web/dependencies/number_theoretic_transform/index.html
The file was modified web/dependencies/number_theoretic_transform/index.xml
The file was modified web/dependencies/root_balanced_tree/index.html
The file was modified web/dependencies/root_balanced_tree/index.xml
The file was modified web/dependencies/universal_hash_families/index.html
The file was modified web/dependencies/universal_hash_families/index.xml
The file was modified web/dependencies/word_lib/index.html
The file was modified web/dependencies/word_lib/index.xml
The file was modified web/entries/Akra_Bazzi.html
The file was modified web/entries/Approximation_Algorithms.html
The file was modified web/entries/CubicalCategories.html
The file was modified web/entries/Hypergraph_Colourings.html
The file was modified web/entries/Karatsuba.html
The file was modified web/entries/Number_Theoretic_Transform.html
The file was modified web/entries/Root_Balanced_Tree.html
The file was modified web/entries/Universal_Hash_Families.html
The file was modified web/entries/Word_Lib.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.xml
The file was modified web/topics/computer-science/algorithms/mathematical/index.html
The file was modified web/topics/computer-science/algorithms/mathematical/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/mathematics/algebra/index.html
The file was modified web/topics/mathematics/algebra/index.xml
The file was modified web/topics/mathematics/index.xml
Changeset 14396:020b4b59071b by traytel:
sitegen for Top_Down_Solver
The file was addedmetadata/entries/Top_Down_Solver.toml
The file was addedweb/authors/seidlh/index.html
The file was addedweb/authors/seidlh/index.xml
The file was addedweb/authors/stade/index.html
The file was addedweb/authors/stade/index.xml
The file was addedweb/entries/Top_Down_Solver.html
The file was addedweb/sessions/top_down_solver/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/tilscher/index.html
The file was modified web/authors/tilscher/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/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/index.xml
The file was modified web/topics/index.html
Changeset 14395:f08487d788b4 by traytel:
new entry Top_Down_Solver
The file was addedthys/Top_Down_Solver/Basics.thy
The file was addedthys/Top_Down_Solver/Example.thy
The file was addedthys/Top_Down_Solver/ROOT
The file was addedthys/Top_Down_Solver/TD_equiv.thy
The file was addedthys/Top_Down_Solver/TD_plain.thy
The file was addedthys/Top_Down_Solver/document/cfg.pdf
The file was addedthys/Top_Down_Solver/document/root.bib
The file was addedthys/Top_Down_Solver/document/root.tex
The file was modified thys/ROOTS
Changeset 14394:a43dc4d5eb61 by traytel:
tune html abstract for LL1_Parser + sitegen
The file was modified metadata/entries/LL1_Parser.toml
The file was modified web/entries/LL1_Parser.html
The file was modified web/index.json
Changeset 14393:0222d99840f6 by traytel:
sitegen for LL1_Parser
The file was addedmetadata/entries/LL1_Parser.toml
The file was addedweb/authors/tilscher/index.html
The file was addedweb/authors/tilscher/index.xml
The file was addedweb/entries/LL1_Parser.html
The file was addedweb/sessions/ll1_parser/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/wimmer/index.html
The file was modified web/authors/wimmer/index.xml
The file was modified web/data/keywords.json
The file was modified web/dependencies/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/Hypergraph_Colourings.html
The file was modified web/entries/Show.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/index.xml
The file was modified web/topics/computer-science/programming-languages/compiling/index.html
The file was modified web/topics/computer-science/programming-languages/compiling/index.xml
The file was modified web/topics/computer-science/programming-languages/index.xml
The file was modified web/topics/index.html
Changeset 14392:28f14d10f4e2 by traytel:
new entry LL1_Parser
The file was addedthys/LL1_Parser/First_Map.thy
The file was addedthys/LL1_Parser/Follow_Map.thy
The file was addedthys/LL1_Parser/Grammar.thy
The file was addedthys/LL1_Parser/Json_Parser.thy
The file was addedthys/LL1_Parser/LL1_Parser.thy
The file was addedthys/LL1_Parser/LL1_Parser_show.thy
The file was addedthys/LL1_Parser/Nullable_Set.thy
The file was addedthys/LL1_Parser/Parse_Table.thy
The file was addedthys/LL1_Parser/Parser_Example.thy
The file was addedthys/LL1_Parser/ROOT
The file was addedthys/LL1_Parser/document/root.bib
The file was addedthys/LL1_Parser/document/root.tex
The file was modified thys/ROOTS