guest0x0-cli

License	License GPL-3.0
Categories	Categories CLI User Interface
GroupId	GroupId org.aya-prover
ArtifactId	ArtifactId guest0x0-cli
Last Version	Last Version 0.13
Release Date	Release Date May 27, 2022
Type	Type pom.sha512
Description	Description guest0x0-cli Guest0x0 programming language
Project URL	Project URL https://www.aya-prover.org
Source Code Management	Source Code Management https://github.com/ice1000/guest0x0

Download guest0x0-cli

Filename	Size
guest0x0-cli-0.13.pom
guest0x0-cli-0.13-sources.jar	22 KB
guest0x0-cli-0.13-javadoc.jar	259 KB
Browse

Dependencies

compile (2)

Group / Artifact	Type	Version
org.antlr : antlr4-runtime	jar	4.9.3
info.picocli : picocli	jar	4.6.3

runtime (2)

Group / Artifact	Type	Version
org.aya-prover : guest0x0-base	jar	0.13
org.aya-prover : tools-repl	jar	0.18

Project Modules

Versions

Version
0.13 May 27, 2022
0.12 May 16, 2022
0.11 May 5, 2022
0.10 May 4, 2022
0.9 Apr 29, 2022
0.8 Apr 15, 2022
0.7 Apr 14, 2022
0.6 Apr 12, 2022
0.5 Apr 11, 2022
0.4 Apr 10, 2022
0.3 Apr 9, 2022
0.2 Apr 8, 2022