Releases: runtimeverification/evm-semantics
KEVM Release v1.0.0-12d9018
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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
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
inJenkinsfile
,pkgver
inpackage/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.