{"id":19608658,"url":"https://github.com/sel4/verification-manifest","last_synced_at":"2026-03-01T20:31:34.727Z","repository":{"id":18768879,"uuid":"21981738","full_name":"seL4/verification-manifest","owner":"seL4","description":"Manifests for the collection of verification repositories ","archived":false,"fork":false,"pushed_at":"2026-02-25T11:51:10.000Z","size":934,"stargazers_count":16,"open_issues_count":0,"forks_count":17,"subscribers_count":23,"default_branch":"master","last_synced_at":"2026-02-25T15:45:37.275Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/seL4.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":".github/CONTRIBUTING.md","funding":null,"license":"LICENSES/BSD-2-Clause.txt","code_of_conduct":".github/CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2014-07-18T13:47:46.000Z","updated_at":"2026-02-25T11:51:13.000Z","dependencies_parsed_at":"2025-11-27T10:09:19.304Z","dependency_job_id":null,"html_url":"https://github.com/seL4/verification-manifest","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/seL4/verification-manifest","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fverification-manifest","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fverification-manifest/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fverification-manifest/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fverification-manifest/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/verification-manifest/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fverification-manifest/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29983144,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-01T16:35:47.903Z","status":"ssl_error","status_checked_at":"2026-03-01T16:35:44.899Z","response_time":124,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-11T10:16:18.269Z","updated_at":"2026-03-01T20:31:29.711Z","avatar_url":"https://github.com/seL4.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2018, Data61, CSIRO\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# Manifest repository\n\nThis repository contains google [repo] manifest files for the verification\nrepository collection. It manages the collection of repositories that are needed\nfor the verification of the seL4 microkernel. In particular, these repositories\ninclude the proofs, the kernel sources, the theorem prover Isabelle/HOL, the\ntheorem prover HOL4, and the binary verification tool chain.\n\n[repo]: https://gerrit.googlesource.com/git-repo/+/HEAD/README.md\n\n## Contents\n\nThe manifest files stored here come in three categories:\n\n- `default.xml`: this manifest stores the latest tested-as-working combination\n  of the seL4 code and proof repositories. It is updated automatically by CI jobs.\n  It points to specific revision hashes, and should generally not be modified manually.\n\n- `mcs.xml`: this manifest stores the latest tested-as-working combination of\n  the seL4 code and proof repositories for the MCS proofs (the `rt` branch in\n  the `l4v` repository). It is updated automatically by CI jobs. It points to\n  specific revision hashes, and should generally not be modified manually.\n\n- development manifests such as `devel.xml` and `mcs-devel.xml`: these are for\n  proof development and typically point to branch names of the verification\n  repositories in combination with a fixed revision hash of the seL4 code\n  repository. The seL4 revision in `devel.xml` and `mcs-devel.xml` is updated\n  automatically by CI jobs for code changes in seL4 that are not visible to the\n  proofs. It should be updated manually or using the [version bump][] script\n  whenever proofs are updated in sync with the code. This will then trigger a CI\n  run and, if successful, a corresponding update in `default.xml` or `mcs.xml`.\n\n- release version manifests such as `12.0.0.xml`: these store the repository\n  version configuration for official releases of seL4. Use these to check proofs\n  for release versions.\n\n[version bump]: https://github.com/seL4/l4v/tree/master/misc/bump\n\n## Use\n\nTo build the seL4 proofs, please follow the [setup] instructions in the [l4v]\nrepository.\n\nFor build instructions for the binary verification, see the [graph-refine]\nrepository.\n\n[setup]: https://github.com/seL4/l4v/blob/master/docs/setup.md\n[l4v]: https://github.com/seL4/l4v/\n[graph-refine]: (https://github.com/seL4/graph-refine/)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fverification-manifest","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fverification-manifest","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fverification-manifest/lists"}