Kex Intrinsics

Library of intrinsics to guide Kex tool

Build

mvn clean package

Usage

The latest release is available through Vorpal GitHub Packages repository. To have access to the repository, you should be authenticated to GitHub Packages with following configuration:

<server>
  <id>github-vorpal-research-kotlin-maven</id>
  <username>USERNAME</username>
  <password>TOKEN</password>
</server>

Add the link to the repository to your pom.xml:

<repository>
    <id>github-vorpal-research-kotlin-maven</id>
    <url>https://maven.pkg.github.com/vorpal-research/kotlin-maven</url>
</repository>

Include:

<dependency>
	<groupId>org.vorpal.research</groupId>
	<artifactId>kex-intrinsics</artifactId>
	<version>${kex-intrinsics.version}</version>
	<type>pom</type>
</dependency>