Branches - Isabelle_DOF - LogicalHacking Git Service

Isabelle_DOF/Isabelle_DOF

main

ci/woodpecker/push/build Pipeline is pending

Details

fc3bb91d1a · Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF · Updated 2025-03-31 17:34:46 +00:00

Isabelle_DOF-Zenodo-2025 d9457d4fde · Fixed Isabelle version in heading. · Updated 2025-04-24 08:07:51 +00:00 adbrucker	8 10		ZIP TAR.GZ
Isabelle_DOF-Zenodo-2024 1fcbd813f5 · Initial commit. · Updated 2025-04-24 07:16:38 +00:00 adbrucker	19 16		ZIP TAR.GZ
isabelle_nightly Some checks are pending ci/woodpecker/push/build Pipeline is pending Details 2fb0564254 · Merge branch 'main' into isabelle_nightly · Updated 2025-03-17 04:21:22 +00:00 adbrucker	5 2		ZIP TAR.GZ
Isabelle2025 Some checks are pending ci/woodpecker/push/build Pipeline is pending Details b7ca17ea35 · Updated AFP version for Isabelle 2025. · Updated 2025-03-16 17:40:53 +00:00 adbrucker	8 0	Included	ZIP TAR.GZ
Isabelle2024 3d9fcc99ab · Fixed scala build path. · Updated 2024-05-27 11:22:41 +00:00 adbrucker	30 0	Included	ZIP TAR.GZ
afp_resubmission 6ad8391cc1 · Merge branch 'main' into afp_resubmission · Updated 2024-04-26 06:00:57 +00:00 adbrucker	50 5		ZIP TAR.GZ
sml-latex-generation-for-chapter-section Some checks failed ci/woodpecker/push/build Pipeline failed Details 0ce9e6f2d0 · Implement chapter, section, etc. latex generation in SML · Updated 2023-09-22 06:54:10 +00:00	108 1		ZIP TAR.GZ
common-criteria Some checks failed ci/woodpecker/push/build Pipeline failed Details 244d70896f · Merge branch 'main' into test-rebase2 · Updated 2023-02-20 11:20:07 +00:00	473 16		ZIP TAR.GZ
ARINC661 All checks were successful ci/woodpecker/push/build Pipeline was successful Details c39e06892c · Final Disccsion with idir Nico · Updated 2022-07-29 09:36:13 +00:00	622 8		ZIP TAR.GZ
ICFEM-2022 All checks were successful ci/woodpecker/push/build Pipeline was successful Details 86a70ffbba · exceptional storage of submission version · Updated 2022-06-30 10:45:38 +00:00	702 173		ZIP TAR.GZ
update-cenelec All checks were successful ci/woodpecker/push/build Pipeline was successful Details a82f316997 · Implement CENELEC Table A.1 · Updated 2022-05-27 17:44:04 +00:00	690 1		ZIP TAR.GZ
2021-ITP-PMTI All checks were successful ci/woodpecker/push/build Pipeline was successful Details 7f02cbbde4 · First corrections inrelation to the reviews · Updated 2022-04-05 14:32:46 +00:00	725 102		ZIP TAR.GZ
v1.2.x/Isabelle2021 Some checks failed ci/woodpecker/push/build Pipeline failed Details 97bfdcff58 · Re-added simple Changelog file. · Updated 2022-03-26 17:50:46 +00:00	800 0	Included	ZIP TAR.GZ
v1.1.x/Isabelle2021 e319e4d810 · Preparation of 1.1.0/Isabelle2021 release. · Updated 2021-03-20 23:15:16 +00:00	909 1		ZIP TAR.GZ
v1.1.x/Isabelle2020 922da1aa21 · Preparation of 1.1.0/Isabelle2020 release. · Updated 2021-03-20 22:30:17 +00:00	921 1		ZIP TAR.GZ
v1.0.x/Isabelle2019 All checks were successful Isabelle_DOF/Isabelle_DOF/v1.0.x%2FIsabelle2019 This commit looks good Details d0b183af79 · Improved docker run command. · Updated 2019-08-18 17:02:54 +00:00	1186 0	Included	ZIP TAR.GZ
Unreleased/Isabelle2018 All checks were successful Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good Details 2341879f06 · Merge branch 'master' into Unreleased/Isabelle2018 · Updated 2019-08-14 19:04:49 +00:00	1247 13		ZIP TAR.GZ