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.
7d497aa2df40a5d766927cd54d12c78072d2df7c
Select Git revision
Selected
7d497aa2df40a5d766927cd54d12c78072d2df7c
Branches
3
master
default
protected
exec_auto_adjust_trace
let_variables
Tags
7
v1.5.0
v1.4.1
v1.4.0
v1.3.0
v1.2.0
v1.1.0
v1.0.0
11 results
Begin with the selected commit
Created with Raphaël 2.2.0
5
Dec
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
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
Update Gradle wrapper to version 7.4
Bump version number to 1.3.1-SNAPSHOT
Update download link for latest release
Release version 1.3.0
v1.3.0
v1.3.0
Re-execute all notebooks using current kernel
Fix type errors in tests/chr_tests.ipynb
Update all other dependencies to their latest versions
Switch to release version 3.15.0 of ProB 2
Use plain Unicode instead of LaTeX in rich text :table output
Fix source code not being shown in :type errors
Allow spaces around equals sign in :let
Include short version information in banner message
Remove let variables from solution outside of Event-B mode too
Allow equals sign between name and value in :let
Document Java 17 compatibility
Fix local variables in Event-B mode
Fix outdated help text for :let command
Automatically insert local variables when parsing formulas
Use PredicateBuilder to build let variable assignments
Update dependencies
Remove no longer needed workaround for shadow plugin
Update plugins in build.gradle
Update Gradle wrapper to version 7.2 for Java 16 compatibility
Loading