Project Group: de.hhu.stups

LTL Pattern DSL Parser

de.hhu.stups : ltl-dsl

Parser for a LTL Pattern DSL

Last Version: 0.1.4

Release Date: May 9, 2022

SableCC - Stups fork (runtime library)

de.hhu.stups : sablecc-runtime

This is the runtime support library for the Stups fork of SableCC. It provides common classes and interfaces used by the generated parsers at runtime.

Last Version: 3.4.0

Release Date: Apr 26, 2022

SableCC - Stups fork

de.hhu.stups : sablecc

This version of SableCC enriches the abstract syntax tree with information about tokens.

Last Version: 3.4.0

Release Date: Apr 26, 2022

prologlib

de.hhu.stups : prologlib

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

bparser

de.hhu.stups : bparser

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

parserbase

de.hhu.stups : parserbase

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

ltlparser

de.hhu.stups : ltlparser

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

answerparser

de.hhu.stups : answerparser

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

theorymapping

de.hhu.stups : theorymapping

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

unicode

de.hhu.stups : unicode

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

cliparser

de.hhu.stups : cliparser

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

eventbalg

de.hhu.stups : eventbalg

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

eventbstruct

de.hhu.stups : eventbstruct

Part of the ProB Parser library

Last Version: 2.12.0

Release Date: Apr 5, 2022

de.prob2.kernel

de.hhu.stups : de.prob2.kernel

The ProB 2.0 Kernel library

Last Version: 3.15.0

Release Date: Jan 6, 2022

de.prob2.commandline

de.hhu.stups : de.prob2.commandline

The ProB 2.0 Kernel command-line interface

Last Version: 3.15.0

Release Date: Jan 6, 2022

typechecker

de.hhu.stups : typechecker

Part of the ProB Parser library

Last Version: 2.9.32

Release Date: Dec 28, 2021

prob2-ui-servlets

de.hhu.stups : prob2-ui-servlets

Deprecated Part of the ProB 2 Rodin Plugin. Do not use this!

Last Version: 2.1.0

Release Date: Aug 18, 2021

TLA+ to B-AST

de.hhu.stups : tla2bAST

Translator from TLA+ to ProB's AST representation.

Last Version: 1.1.4

Release Date: Mar 11, 2021

Value Translator

de.hhu.stups : value-translator

Library to translate Classical B values into Java objects.

Last Version: 0.1.2

Release Date: Nov 30, 2020

Alloy Core

de.hhu.stups : alloy-core

The core of the Alloy tools

Last Version: 5.1.0

Release Date: Mar 10, 2020

translator

de.hhu.stups : translator

Part of the ProB Parser library

Last Version: 2.9.23

Release Date: Nov 7, 2019

alloy2b

de.hhu.stups : alloy2b

The Parser for our translation from Alloy to B returning a Prolog Term.

Last Version: 1.08-BETA

Release Date: Feb 10, 2019

propra_ss17.diary

de.hhu.stups : propra_ss17.diary

Propra 1 Projekt 6 Helper Library

Last Version: 0.1.1

Release Date: Jul 3, 2017

virtual-kata-lib

de.hhu.stups : virtual-kata-lib

Virtual Kata Compiler

Last Version: 2.0.0

Release Date: Nov 28, 2016

BMotionWeb Server Common Module

de.hhu.stups : bmotion

Last Version: 0.3.1

Release Date: Nov 7, 2016

BMotionWeb Server ProB Module

de.hhu.stups : bmotion-prob

Last Version: 0.3.1

Release Date: Nov 7, 2016

ProB Kodkod

de.hhu.stups : probkodkod

Wrapper to use Kodkod in ProB.

Last Version: 1.0.6

Release Date: Oct 7, 2016

TLA+ Tools

de.hhu.stups : tlatools

Modified version of the TLA+ tools for usage in ProB

Last Version: 1.0.2

Release Date: Feb 24, 2016

Rodin EventB AST

de.hhu.stups : rodin-eventb-ast

The AST library extracted from the Rodin Platform.

Last Version: 3.2.0

Release Date: Feb 24, 2016

TLC integration into ProB

de.hhu.stups : tlc4b

Use the TLC model checker within ProB.

Last Version: 1.0.0

Release Date: Aug 19, 2015

Infolog Parser

de.hhu.stups : infolog-parser

Tool to extract Prolog-Doc style comments from a .pl file. This library is a part of the Infolog system.

Last Version: 0.1.0

Release Date: Aug 9, 2015

JFMI

de.hhu.stups : ptolemy-jfmi

A Java Wrapper for the Functional Mock-up Interface. This library is part of the Ptolemy project.

Last Version: 1.1.0

Release Date: Aug 3, 2015