Skip to content

Releases: runtimeverification/evm-semantics

KEVM VM version 1.0.0 beta 3

24 Jul 15:44
ec213d8
Compare
Choose a tag to compare
Pre-release
cmake flags to libff (#409)

* cmake flags to libff

* add empty variable declaration

KEVM Release 1.0.0 - 9ae34f5

23 Jul 00:31
9ae34f5
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 build dependencies you're missing, 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 VM version 1.0.0 beta 2

23 Jul 23:35
6aaeae7
Compare
Choose a tag to compare
Pre-release
don't run git if submodules are already initialized (#408)

* don't run git if submodules are already initialized

* don't run git on libff either if it already exists

KEVM version 1.0.0 beta 1

23 Jul 20:54
1c4d9d8
Compare
Choose a tag to compare
Pre-release
v1.0.0b1

Jenkinsfile: avoid creating agenst when not needed (#405)

KEVM Release 1.0.0 - c01d92f

19 Jul 20:48
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 build dependencies you're missing, 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.