com.47deg.karat:karat-common:0.1.3-alpha.1

karat-common:0.1.3-alpha.1

Latest release0.1.3-alpha.1 (almost 3 years ago)

Kotlin version1.8.21

DeveloperXebia Functional

Build tool versionGradle 8.0.2

JVM

1.8

Kotlin/Native

Linux

linux_x64

macOS

macos_x64

implementation("com.47deg.karat:karat-common:0.1.3-alpha.1")

Defines systems using linear temporal logic, enabling model verification and implementation checks through integrations with Kotest and Alloy.

Version	Release	Platforms and targets
0.1.3-alpha.1	Release: 12 May 2023	JVMKotlin/NativeJS LinuxmacOS
0.1.2	Release: 12 May 2023	JVMKotlin/NativeJS LinuxmacOS
0.1.2-alpha.2	Release: 12 May 2023	JVMKotlin/NativeJS LinuxmacOS
0.1.2-alpha.1	Release: 12 May 2023	JVMKotlin/NativeJS LinuxmacOS
0.1.0-alpha.1	Release: 21 Apr 2023	JVMKotlin/NativeJS LinuxmacOS

*Only more recent versions are displayed

JVM