typechecker

Part of the ProB Parser library

License	License Eclipse Public License, Version 1.0
GroupId	GroupId de.hhu.stups
ArtifactId	ArtifactId typechecker
Last Version	Last Version 2.9.32
Release Date	Release Date 28-Dec-2021
Type	Type pom.sha512
Description	Description typechecker Part of the ProB Parser library
Project URL	Project URL https://github.com/bendisposto/probparsers
Source Code Management	Source Code Management https://gitlab.cs.uni-duesseldorf.de/stups/prob/probparsers

Download typechecker

Filename	Size
typechecker-2.9.32.pom
typechecker-2.9.32-sources.jar	30 KB
typechecker-2.9.32-javadoc.jar	140 KB
Browse

Dependencies

compile (3)

Group / Artifact	Type	Version
de.hhu.stups : prologlib	jar	2.9.32
de.hhu.stups : bparser	jar	2.9.32
de.hhu.stups : ltlparser	jar	2.9.32

Project Modules

There are no modules declared in this project.

Versions

Version
2.9.32 28-Dec-2021
2.9.31 03-Dec-2021
2.9.30 09-Nov-2021
2.9.29 04-Oct-2021
2.9.28 13-Aug-2021
2.9.27 25-Nov-2020
2.9.26 21-Aug-2020
2.9.25 05-May-2020
2.9.24 05-May-2020
2.9.23 07-Nov-2019
2.9.22 10-Jul-2019
2.9.21 26-Apr-2019
2.9.20 06-Mar-2019
2.9.18 05-Mar-2019
2.9.17 16-Jan-2019
2.9.14 05-Nov-2018
2.9.13 27-Sep-2018
2.9.12 18-Jul-2018
2.9.11 15-Mar-2018
2.9.10 05-Mar-2018
2.9.9 06-Oct-2017
2.9.8 25-Sep-2017
2.9.7 28-Aug-2017
2.9.6 10-Jul-2017
2.9.5 06-Jul-2017
2.9.4 11-May-2017
2.9.3 25-Apr-2017
2.9.2 10-Apr-2017
2.9.1 22-Mar-2017
2.9.0 07-Mar-2017