Skip to content
Snippets Groups Projects
Select Git revision
  • 6ff8cc191479c5cdd2f22922d7eee4ae29247a35
  • develop default protected
  • master protected
  • rodin2
  • rodin3
  • feature/theory_plugin
  • feature/multiview
  • csp
  • feature/newcore
  • feature/csp
  • 3.0.11
  • 3.0.8
  • 3.0.5
  • 2.4.1
  • 2.3.3
  • 2.3.2
  • 2.3.1
  • 2.3.0_fix1
  • 2.3.0
19 results

settings.gradle

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    README.md 3.73 KiB

    ProB logo

    The ProB Model Checker and Animator - plugin for Rodin

    License

    The ProB source code is distributed under the EPL 1.0 license. (C) 2000-2024 Michael Leuschel and many others.

    For updates please visit the ProB website: https://prob.hhu.de/w/

    ProB comes with ABSOLUTELY NO WARRANTY OF ANY KIND! This software is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY. The author(s) do not accept responsibility to anyone for the consequences of using it or for whether it serves any particular purpose or works at all. No warranty is made about the software or its performance.

    The ProB binary and source distributions contain the nauty library, which imply further restrictions: the ProB model checker with nauty symmetry reduction cannot be used for applications with nontrivial military significance.

    For availability of commercial support, please contact Michael Leuschel.

    Bugs

    Please report bugs and feature requests on the ProB issue tracker.

    Prolog Source Code

    The latest source code of the Prolog binary can be downloaded from https://stups.hhu-hosting.de/downloads/prob/source/. To build the Prolog binaries you require a SICStus 4 licence.

    Setting up the development environment

    Requirements

    • Java 11 or later
    • Maven 3 or later (Maven 3.9 recommended)
    • Gradle (will be downloaded automatically by the Gradle wrapper)

    Building without Eclipse

    After cloning the repository, run these commands in the repository root:

    $ ./gradlew prepareMaven
$ mvn -f de.prob.parent/pom.xml install

    Adding the -U flag to force re-loading dependencies does not (seem to) work. Run ./gradlew prepareMaven before running the mvn command to update.

    This will build the plugin into a local Eclipse plugin repository. To test your build of the plugin, you need to configure this repository in Rodin: