Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2024

• Improve release script such that empty version numbers are rejected

  Show description for b2927bc
  PhilippWendler

  committed
  b2927bc

  Copy full SHA for b2927bc

Commits on Sep 20, 2024

• Make test suite work during package building

  Show description for ccd0bc4
  PhilippWendler

  committed
  ccd0bc4

  Copy full SHA for ccd0bc4

Commits on Aug 5, 2024

• removed nose from release.sh, replaced it w/ pytest

  schroeding

  committed
  4eb5da3

  Copy full SHA for 4eb5da3

Commits on Jul 30, 2024

• Remove outdated version pins from release.sh

  Show description for 748e1cf
  PhilippWendler

  committed
  748e1cf

  Copy full SHA for 748e1cf

Commits on Jun 21, 2024

• Use Podman instead of Docker in release.sh

  Show description for 1656972
  PhilippWendler

  committed
  1656972

  Copy full SHA for 1656972

Commits on Mar 7, 2023

• nose can sometimes be not in the path

  Saransh-cpp

  committed
  952422e

  Copy full SHA for 952422e

• Use extra_require

  Saransh-cpp

  committed
  d26da88

  Copy full SHA for d26da88

• Install dev deps

  Saransh-cpp

  committed
  6868f95

  Copy full SHA for 6868f95

Commits on Mar 6, 2023

• Use nostests in release.sh

  Saransh-cpp

  committed
  4aa8196

  Copy full SHA for 4aa8196

• Use python -m nose to trigger tests

  Saransh-cpp

  committed
  ec30055

  Copy full SHA for ec30055

• Get rid of python setup.py commands

  Saransh-cpp

  committed
  3efc5d4

  Copy full SHA for 3efc5d4

Commits on Jul 21, 2022

• Make release.sh work on Python 3.10

  PhilippWendler

  committed
  e2e6f02

  Copy full SHA for e2e6f02

Commits on Mar 11, 2022

• Build Debian package with Docker on ubuntu:20.04

  Show description for f085af6
  PhilippWendler

  committed
  f085af6

  Copy full SHA for f085af6

Commits on Sep 28, 2021

• Update all references to the default branch of BenchExec

  Show description for 11dc3ad
  PhilippWendler

  committed
  11dc3ad

  Copy full SHA for 11dc3ad

Commits on Apr 21, 2021

• Install build dependencies in the venv that we use for building

  PhilippWendler

  committed
  16ed655

  Copy full SHA for 16ed655

• Use venv instead of virtualenv in release.sh

  Show description for 6d6662b
  PhilippWendler

  committed
  6d6662b

  Copy full SHA for 6d6662b

Commits on Dec 3, 2020

• Add check for unpulled changes to release script

  PhilippWendler

  committed
  473c0ea

  Copy full SHA for 473c0ea

Commits on Oct 14, 2020

• Declare versions of build dependencies in pyproject.toml in PEP-518 format

  Show description for cec0b73
  PhilippWendler

  committed
  cec0b73

  Copy full SHA for cec0b73

Commits on Oct 12, 2020

• Add documentation for how to create PPA packages for all Ubuntu versions

  PhilippWendler

  committed
  d972c23

  Copy full SHA for d972c23

Commits on Oct 1, 2020

• Explain our Ubuntu PPA in docs for users and developers

  Show description for 7ff9255
  PhilippWendler

  committed
  7ff9255

  Copy full SHA for 7ff9255

Commits on Jun 5, 2020

• Make check in release.sh for changelog more strict

  Show description for 297a393
  PhilippWendler

  committed
  297a393

  Copy full SHA for 297a393

• fix typo

  PhilippWendler

  committed
  b633d89

  Copy full SHA for b633d89

Commits on May 26, 2020

• Do not produce .egg archives anymore.

  Show description for b5da079
  PhilippWendler

  committed
  b5da079

  Copy full SHA for b5da079

• Ensure that licenses are added to bundled files

  Show description for 872da65
  PhilippWendler

  committed
  872da65

  Copy full SHA for 872da65

Commits on May 22, 2020

• Add copyright headers to files where missing

  Show description for f572844
  PhilippWendler

  committed
  f572844

  Copy full SHA for f572844

Commits on May 7, 2020

• Drop support for Python 2 (part of sosy-lab#438)

  Show description for ea3ad48
  PhilippWendler

  committed
  ea3ad48

  Copy full SHA for ea3ad48

Commits on Jun 13, 2019

• Fix string quotes in forgotten part of release.sh

  PhilippWendler

  committed
  8c09267

  Copy full SHA for 8c09267

• avoid build breaks with --system-site-packages and older setuptools on system

  PhilippWendler

  committed
  0a4ada1

  Copy full SHA for 0a4ada1

Commits on Jun 7, 2019

• Switch formatting of __version__field

  Show description for 5cad2ce
  PhilippWendler

  committed
  5cad2ce

  Copy full SHA for 5cad2ce

Commits on May 21, 2019

• Make our wheel builds reproducible

  PhilippWendler

  committed
  f0b199e

  Copy full SHA for f0b199e

• PyPI now supports Markdown, we no longer nead to convert it

  Show description for 2e5e7fa
  PhilippWendler

  committed
  2e5e7fa

  Copy full SHA for 2e5e7fa

Commits on Dec 7, 2015

• Improve release.sh

  PhilippWendler

  committed
  7f5113f

  Copy full SHA for 7f5113f

• Repository moved to https://github.com/sosy-lab/benchexec

  PhilippWendler

  committed
  3714743

  Copy full SHA for 3714743

Commits on Nov 25, 2015

• Add script for mostly automated releasing.

  PhilippWendler

  committed
  28a969d

  Copy full SHA for 28a969d

Loading