Skip to content

Releases: runtimeverification/evm-semantics

KEVM Release v1.0.0-12d9018

16 Aug 23:19
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-0e5a833

16 Aug 15:27
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-5e4b384

15 Aug 19:57
5e4b384
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-ea55a76

13 Aug 19:13
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-b31f51b

13 Aug 05:34
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-615db59

13 Aug 02:18
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-a2d0dd0

12 Aug 18:36
a2d0dd0
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-ac35fce

08 Aug 17:08
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-bb75ac3

06 Aug 16:46
bb75ac3
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.

KEVM Release v1.0.0-31446e7

04 Aug 19:36
Compare
Choose a tag to compare

Installing Release Builds

These instructions explain how to download, install, and build the KEVM packages.
Current supported systems are:

  • Arch Linux
  • Ubuntu Bionic (18.04)

Downloading Packages

We release our packages on GitHub, visit the Releases page to see available versions.
Releases are generated as often as possible from the master branch of the repository.

Installing Packages

Ubuntu/Debian

Install the package with (X.Y.Z is version number, ID is platform identifier):

sudo apt install ./kevm_X.Y.Z_amd64_ID.deb

Arch

Install the package with (X.Y.Z-V is version number):

sudo pacman -U ./kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz

Building Packages

Make sure to bump the version numbers in the following places:

  • RELEASE_ID in Jenkinsfile,
  • pkgver in package/PKGBUILD, and
  • version number in package/debian/changelog.

If these numbers do not agree, then building the release will not work.

Ubuntu/Debian

Build the package in by running:

cp -r package/debian ./
dpkg-buildpackage --no-sign

This will throw an error for any missing build dependencies, install them with sudo apt install ....
The kevm_X.Y.Z_amd64_ID.deb package will be placed one directory up from the repository root.

Arch

Build the package with:

cd package
makepkg -s

This will put kevm-git-X.Y.Z-V-x86_64.pkg.tar.xz in the current directory.