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

https://github.com/TakehideSoh/SAF
18 January 2026, 11:53:51 UTC
  • Code
  • Branches (4)
  • Releases (0)
  • Visits
    • Branches
    • Releases
    • HEAD
    • refs/heads/dev
    • refs/heads/main
    • refs/tags/v1.0-cmsb2023
    • refs/tags/v1.1-CMSB2023
    No releases to show
  • 83aaea6
  • /
  • bdd_minisat_all-1.0.2
  • /
  • my_def.h
Raw File Download Save again
Take a new snapshot of a software origin

If the archived software origin currently browsed is not synchronized with its upstream version (for instance when new commits have been issued), you can explicitly request Software Heritage to take a new snapshot of it.

Use the form below to proceed. Once a request has been submitted and accepted, it will be processed as soon as possible. You can then check its processing state by visiting this dedicated page.
swh spinner

Processing "take a new snapshot" request ...

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.

  • content
  • directory
  • revision
  • snapshot
origin badgecontent badge
swh:1:cnt:d56675b617e88c3f16516f7f403c173323cc5b02
origin badgedirectory badge
swh:1:dir:e4b48dfb354d10699e262001c0cd6416edb3f793
origin badgerevision badge
swh:1:rev:d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6
origin badgesnapshot badge
swh:1:snp:d3fcf0e446f52630e867f11dee4c2c828bf46951

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.

  • content
  • 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 ...
Generate software citation in BibTex format (requires biblatex-software package)
Generating citation ...
Tip revision: d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6 authored by TakehideSoh on 23 June 2023, 07:02:26 UTC
Merge pull request #2 from TakehideSoh/dev
Tip revision: d26cc9f
my_def.h
/** \file    my_def.h
 *  \brief   Common definitions and utilities
 *  \author  Takahisa Toda
 */
#ifndef MY_DEF_H
#define MY_DEF_H

#include <stdio.h>
#include <stdint.h>
#include <assert.h>

/*---------------------------------------------------------------------------*/
/* Macro declarations                                                        */
/*---------------------------------------------------------------------------*/

#define ST_SUCCESS (0)
#define ST_FAILURE (-1)

#define INFTY  INT32_MAX
typedef int32_t itemval; //!< item value type, which must be able to contain INFTY and negative integers.

#define MAX_RECURSION_DEPTH (8192) //!< Guard against stack overfow.

#ifdef RECDEPTH_GUARD
#define INC_RECDEPTH(v)                                                                                 \
  do {                                                                                                  \
    if (v > MAX_RECURSION_DEPTH)                                                                       \
      {                                                                                                 \
fprintf(stderr, "error:%s:%d:%s: maximum recursion depth exceeded\n", __FILE__, __LINE__, __func__);  \
  exit(EXIT_FAILURE);                                                                                   \
      }                                                                                                 \
    v++;                                                                                                \
  } while(0)

#define DEC_RECDEPTH(v) \
  do {                  \
    assert(v > 0);      \
    v--;                \
  } while(0)
#else
#define INC_RECDEPTH(v)  do{} while(0)
#define DEC_RECDEPTH(v)  do{} while(0)
#endif /*RECDEPTH_GUARD*/


#define ENSURE_TRUE_WARN(v, msg)                                                      \
  do {                                                                                \
    if (!(v))                                                                         \
      {                                                                               \
        fprintf(stderr, "warning:%s:%d:%s:%s\n", __FILE__, __LINE__, __func__, msg);  \
      }                                                                               \
  } while(0)

#define ENSURE_TRUE(v)                                                      \
  do {                                                                      \
    if (!(v))                                                               \
      {                                                                     \
  fprintf(stderr, "error:%s:%d:%s failed\n", __FILE__, __LINE__, __func__); \
  exit(EXIT_FAILURE);                                                       \
      }                                                                     \
  } while(0)

#define ENSURE_TRUE_MSG(v, msg)                                               \
  do {                                                                        \
    if (!(v))                                                                 \
      {                                                                       \
  fprintf(stderr, "error:%s:%d:%s:%s\n", __FILE__, __LINE__, __func__, msg);  \
  exit(EXIT_FAILURE);                                                         \
      }                                                                       \
  } while(0)


#define ENSURE_SUCCESS(v)                                                   \
  do {                                                                      \
    if ((v) != ST_SUCCESS)                                                  \
      {                                                                     \
  fprintf(stderr, "error:%s:%d:%s failed\n", __FILE__, __LINE__, __func__); \
  exit(EXIT_FAILURE);                                                       \
      }                                                                     \
  } while(0)

#define ENSURE_SUCCESS_MSG(v, msg)                                            \
  do {                                                                        \
    if ((v) != ST_SUCCESS)                                                    \
      {                                                                       \
  fprintf(stderr, "error:%s:%d:%s:%s\n", __FILE__, __LINE__, __func__, msg);  \
  exit(EXIT_FAILURE);                                                         \
      }                                                                       \
  } while(0)


#endif /*MY_DEF_H*/

back to top

Software Heritage — Copyright (C) 2015–2026, 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— Content policy— Contact— JavaScript license information— Web API