Indexed Artifacts (11.2M)

Popular Categories

Group: Hhu STUPS

Sort: popular | newest

1. Prologlib12 usages

de.hhu.stups » prologlibEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

2. Parserbase7 usages

de.hhu.stups » parserbaseEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

3. LTLParser6 usages

de.hhu.stups » ltlparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

4. Bparser6 usages

de.hhu.stups » bparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

5. Answerparser2 usages

de.hhu.stups » answerparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

6. TLA+ to B AST2 usages

de.hhu.stups » tla2bASTEPL

Translator from TLA+ to ProB's AST representation.
Last Release on Jul 20, 2017

7. Unicode2 usages

de.hhu.stups » unicodeEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

8. TLA+ Tools2 usages

de.hhu.stups » tlatoolsMIT

Modified version of the TLA+ tools for usage in ProB
Last Release on Feb 24, 2016
The AST library extracted from the Rodin Platform.
Last Release on Feb 24, 2016


10. JFMI1 usages

de.hhu.stups » ptolemy-jfmiBSD

A Java Wrapper for the Functional Mock-up Interface. This library is part of the Ptolemy project.
Last Release on Aug 3, 2015

11. Theorymapping1 usages

de.hhu.stups » theorymappingEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

12. CLIParser1 usages

de.hhu.stups » cliparserEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

13. Eventbalg1 usages

de.hhu.stups » eventbalgEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018
Servlets for ProB 2.0. This will be replaced by a new mechanism.
Last Release on Aug 16, 2016
Parser for a LTL Pattern DSL
Last Release on Jun 11, 2018

16. Prob2 Kernel1 usages

de.hhu.stups » de.prob2.kernelEPL

The ProB 2.0 Kernel
Last Release on Aug 10, 2018
BMotionWeb Server Common Module
Last Release on Nov 6, 2016

18. Translator1 usages

de.hhu.stups » translatorEPL

Part of the ProB Parser library
Last Release on Jul 18, 2018

19. ProB Kodkod

de.hhu.stups » probkodkodMIT

Wrapper to use Kodkod in ProB.
Last Release on Oct 7, 2016

20. SableCC Stups Fork

de.hhu.stups » sableccLGPL

This version of SableCC enriches the abstract syntax tree with information about tokens.
Last Release on Mar 10, 2017