Skip to main content
  • Home
  • Development
  • Documentation
  • Donate
  • Operational login
  • Browse the archive

swh logo
SoftwareHeritage
Software
Heritage
Archive
Features
  • Search

  • Downloads

  • Save code now

  • Add forge now

  • Help

swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
  • Code
  • Branches (7)
  • Releases (0)
    • Branches
    • Releases
    • HEAD
    • refs/heads/co-params
    • refs/heads/congruence-closure-1
    • refs/heads/dropPoly
    • refs/heads/ecoop21
    • refs/heads/error-messages
    • refs/heads/master
    • refs/heads/todo-tests
    No releases to show
  • 22086fd
  • /
  • mochi-tests
  • /
History
Cook and download a directory from the Software Heritage Vault

You have requested the cooking of the directory with identifier swh:1:dir:4f7030862e804fb674e63df9a580cd1fe30f6ff4 into a standard tar.gz archive.

Are you sure you want to continue ?

Download a directory from the Software Heritage Vault

You have requested the download of the directory with identifier swh:1:dir:4f7030862e804fb674e63df9a580cd1fe30f6ff4 as a standard tar.gz archive.

Are you sure you want to continue ?

Cook and download a revision from the Software Heritage Vault

You have requested the cooking of the history heading to revision with identifier swh:1:rev:cda4560576f3b975008fe892fe4fcaaaa71019fe into a bare git archive.

Are you sure you want to continue ?

Download a revision from the Software Heritage Vault

You have requested the download of the history heading to revision with identifier swh:1:rev:cda4560576f3b975008fe892fe4fcaaaa71019fe as a bare git archive.

Are you sure you want to continue ?

Invalid Email !

The provided email is not well-formed.

Download link has expired

The requested archive is no longer available for download from the Software Heritage Vault.

Do you want to cook it again ?

Permalinks

To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.

  • directory
  • revision
  • snapshot
directory badge Iframe embedding
swh:1:dir:4f7030862e804fb674e63df9a580cd1fe30f6ff4
revision badge
swh:1:rev:cda4560576f3b975008fe892fe4fcaaaa71019fe
snapshot badge
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Citations

This interface enables to generate software citations, provided that the root directory of browsed objects contains a citation.cff or codemeta.json file.
Select below a type of object currently browsed in order to generate citations for them.

  • directory
  • revision
  • snapshot
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Tip revision: cda4560576f3b975008fe892fe4fcaaaa71019fe authored by Anish Tondwalkar on 16 March 2020, 20:43:43 UTC
fix tests
Tip revision: cda4560
FileModeSize
acl.hors -rw-r--r--2.5 KB
acl.horsat_out -rw-r--r--374 bytes
acl.json -rw-r--r--230 bytes
acl.ml -rw-r--r--831 bytes
acl.smt2 -rw-r--r--2.2 KB
acl.sol -rw-r--r--58 bytes
acl.status -rw-r--r--51 bytes
d2.hors -rw-r--r--519 bytes
d2.horsat_out -rw-r--r--358 bytes
d2.json -rw-r--r--243 bytes
d2.ml -rw-r--r--145 bytes
d2.smt2 -rw-r--r--548 bytes
d2.sol -rw-r--r--58 bytes
d2.status -rw-r--r--51 bytes
eval-repeat.ml -rw-r--r--0 bytes
forSigma.annot -rw-r--r--0 bytes
forSigma.hors -rw-r--r--19.2 KB
forSigma.horsat_out -rw-r--r--442 bytes
forSigma.json -rw-r--r--208 bytes
forSigma.ml -rw-r--r--517 bytes
forSigma.smt2 -rw-r--r--15.4 KB
forSigma.sol -rw-r--r--1.9 KB
forSigma.status -rw-r--r--36 bytes
incr00.annot -rw-r--r--0 bytes
incr00.hors -rw-r--r--730 bytes
incr00.horsat_out -rw-r--r--363 bytes
incr00.json -rw-r--r--218 bytes
incr00.ml -rw-r--r--121 bytes
incr00.smt2 -rw-r--r--906 bytes
incr00.sol -rw-r--r--235 bytes
incr00.status -rw-r--r--36 bytes
incrState.annot -rw-r--r--0 bytes
incrState.hors -rw-r--r--199 bytes
incrState.horsat_out -rw-r--r--299 bytes
incrState.json -rw-r--r--201 bytes
incrState.ml -rw-r--r--243 bytes
incrState.status -rw-r--r--16 bytes
pointersMap_noalias.hors -rw-r--r--181.9 KB
pointersMap_noalias.horsat_out -rw-r--r--246 bytes
pointersMap_noalias.json -rw-r--r--243 bytes
pointersMap_noalias.ml -rw-r--r--838 bytes
pointersMap_noalias.smt2 -rw-r--r--22.5 KB
pointersMap_noalias.sol -rw-r--r--59 bytes
pointersMap_noalias.status -rw-r--r--42 bytes
pointersRefs_noalias.hors -rw-r--r--454 bytes
pointersRefs_noalias.horsat_out -rw-r--r--364 bytes
pointersRefs_noalias.json -rw-r--r--288 bytes
pointersRefs_noalias.ml -rw-r--r--236 bytes
pointersRefs_noalias.status -rw-r--r--65 bytes
repeat.ml -rw-r--r--172 bytes
sum.annot -rw-r--r--0 bytes
sum.hors -rw-r--r--2.0 KB
sum.horsat_out -rw-r--r--374 bytes
sum.json -rw-r--r--219 bytes
sum.ml -rw-r--r--152 bytes
sum.smt2 -rw-r--r--1.2 KB
sum.sol -rw-r--r--271 bytes
sum.status -rw-r--r--36 bytes

back to top

Software Heritage — Copyright (C) 2015–2025, The Software Heritage developers. License: GNU AGPLv3+.
The source code of Software Heritage itself is available on our development forge.
The source code files archived by Software Heritage are available under their own copyright and licenses.
Terms of use: Archive access, API— Contact— JavaScript license information— Web API