|
|
| (6 intermediate revisions by the same user not shown) |
| Line 1: |
Line 1: |
| The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The [https://github.com/hhu-stups/probparsers ProB parser is available on github].
| |
| There is a comprehensive Java API available (also known as ProB 2.0).
| |
|
| |
|
| A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available, superseding the information below.
| |
|
| |
|
|
| |
|
| == ProB Source Code == | | == ProB Source Code == |
| | {{ProBSourceCode}} |
|
| |
|
| The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/stups/downloads/prob/source/]
| |
|
| |
| You may also wish to obtain related Java sources:
| |
| * The source code for the ProB parsers (B, LTL, ...) can be obtained from: [https://https://github.com/hhu-stups/probparsers https://github.com/hhu-stups/probparsers].
| |
| * The ProB2-Java-API (also known as ProB2) source code can be obtained from: [https://github.com/hhu-stups/prob2_kernel https://github.com/hhu-stups/prob2_kernel].
| |
| * The ProB2-Java-FX UI source code can be obtained from: [https://github.com/hhu-stups/prob2_ui https://github.com/hhu-stups/prob2_ui].
| |
| * The B to Java value translator can also be useful and is a separate project: [https://github.com/hhu-stups/value-translator https://github.com/hhu-stups/value-translator].
| |
| * The Plugin for Rodin is also a separate project: [https://github.com/hhu-stups/prob-rodinplugin https://github.com/hhu-stups/prob-rodinplugin].
| |
| * The Alloy to B translator is here: [https://github.com/hhu-stups/alloy2b https://github.com/hhu-stups/alloy2b].
| |
|
| |
|
| | <!--Edit with Template:User_Manual_Index (type "Template: ProBSourceCode" into Go field to the left and type return) --> |
|
| |
|
| == ProB Prolog Source Code == | | == ProB Prolog Source Code == |
| *[[Getting Involved]] (includes details about getting and running the Prolog sources) | | *[[Running ProB from source]] (includes details about getting and running the Prolog sources) |
| *[[ProB Tcl/Tk Architecture]] | | *[[ProB Tcl/Tk Architecture]] |
| *[[Why Prolog?]] | | *[[Why Prolog?]] |
| *[[Prolog Coding Guidelines]] | | *[[Prolog Coding Guidelines]] |
| *[[Running ProB from source]]
| |
| *[[ProB's Prolog Datastructures]] | | *[[ProB's Prolog Datastructures]] |
|
| |
|
| Line 29: |
Line 18: |
|
| |
|
| The documentation for the Java API to ProB can be found [[ProB_Java_API|here]]. | | The documentation for the Java API to ProB can be found [[ProB_Java_API|here]]. |
| | |
| | |
| | * A [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api new ProB Developer Manual] is available. |
| | * [[BSynthesis|How to use ProB2 for Program Synthesis]] |