Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
P
ProB 2 Jupyter Kernel
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Requirements
Code
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
ProB 2 Jupyter Kernel
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
2fe2472667811dfbdbae73311f63e272e20f6fa5
Select Git revision
Selected
2fe2472667811dfbdbae73311f63e272e20f6fa5
Branches
3
master
default
protected
exec_auto_adjust_trace
let_variables
Tags
6
v1.4.1
v1.4.0
v1.3.0
v1.2.0
v1.1.0
v1.0.0
10 results
Begin with the selected commit
Created with Raphaël 2.2.0
3
May
25
Apr
24
17
24
Feb
2
1
19
Dec
13
12
5
9
Nov
17
Oct
3
30
Sep
29
26
Jul
6
Jun
23
May
4
28
Feb
6
Jan
24
Nov
8
14
Sep
8
Jun
7
4
3
23
Mar
12
Feb
11
21
Dec
8
4
3
6
Nov
5
17
Sep
9
1
31
Aug
22
Jul
2
19
Jun
16
11
3
27
May
18
14
4
30
Apr
22
16
5
Mar
3
27
Feb
25
20
18
17
13
12
5
4
3
13
Jan
9
6
19
Dec
4
2
18
Nov
16
Oct
14
10
9
4
10
May
9
7
6
1
Mar
28
Feb
12
23
Jan
10
30
Nov
19
Oct
18
17
16
15
2
27
Sep
29
Aug
27
13
9
7
23
Jul
20
19
17
16
12
6
5
2
28
Jun
26
25
22
21
20
18
14
7
6
4
3
2
1
30
May
29
28
26
25
24
23
16
14
13
12
11
10
7
Remove explicit wrapper version from build.gradle
Update Gradle wrapper to version 8.1.1
Update ProB Java API to version 4.12.1
Bump version number to 1.4.1-SNAPSHOT
Release version 1.4.0
v1.4.0
v1.4.0
Fix release upload condition
Prepare automatic upload of release builds
Re-run all the notebooks
Fix weird argument issue in installKernelSpec task
Update other dependencies
Update to ProB Java API version 4.12.0
add info about random float generation
Replace use of deprecated getNextTransitions overload
Update www3 URLs to stups.hhu-hosting.de
Update ProB website/wiki links
fix let expression created for Event-B
Update dependencies
Downgrade to Logback 1.3 for Java 8 compatibility
Update Gradle wrapper to version 7.6
Update Logback for slf4j 2.0 compatibility
fix tabs in Makefil
Use \def instead of \newcommand to define custom LaTeX commands
add target do deinstall in Makefile
Restore old end user installation instructions until next release
add another notebook
Try to recover from syntax highlighting errors
Rewrite installation process to be fully Python-based
add first text about Event-B
add more operator descriptions
add float/reals manual
add presentation
add target in Makefile to install kernel for VSCode
Make :exec/:init automatically set up constants/initialize if needed
Remove no longer needed handling of null ProBError.getErrors
Use new ProB 2 Language class instead of custom FormulaLanguage
Fix missing source code for evaluation errors
Improve display of evaluation errors using new position information
Update Gradle wrapper to version 7.4.2
Use new getters for properties/invariant/assertions in :check
Disable use of LaTeX in :check tables as well
Loading