
implementation("com.47deg.karat:karat-common:0.1.3-alpha.1")karat-common offers a domain-specific language for specifying systems using linear temporal logic.
| Version | Release | Platforms |
|---|---|---|
| 0.1.3-alpha.1 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.2 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.2-alpha.2 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.2-alpha.1 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.0-alpha.1 | Release: 21 Apr 2023 | JVMJSmacOSLinux |
| Version | Release | Platforms |
|---|---|---|
| 0.1.3-alpha.1 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.2 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.2-alpha.2 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.2-alpha.1 | Release: 12 May 2023 | JVMJSmacOSLinux |
| 0.1.0-alpha.1 | Release: 21 Apr 2023 | JVMJSmacOSLinux |