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.
5f53b4536f228b81b301d9ca582f38b2cadf770d
Select Git revision
Selected
5f53b4536f228b81b301d9ca582f38b2cadf770d
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
16
Jun
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
Fix a fencepost error in CommandUtils.matchBIdentifierAt
Add PositionedString.getEndPosition helper method
Unify command name/argument splitting in ProBKernel
Unify handling of command-less input in ProBKernel
Remove ProBKernel.completeInternal special case for only whitespace
Change ProBKernel.complete internals to use PositionedString
Change ProBKernel.inspect internals to use PositionedString
Change ProBKernel.eval internals to use PositionedString
Change CommandUtils argument parsing methods to accept PositionedString
Fix a bug that made splitting of command bodies always fail
Remove CommandUtils.(inspect|complete)In(BExpression|Preference)
Refactor CommandUtils.inspectInBExpression slightly
Refactor CommandUtils.inspectInPreference slightly
Adjust condition in inspectInPreference to match completeInPreference
Remove splitting from CommandUtils.(inspect|complete)InPreferences
Move Inspector and Completer out of CommandUtils
Add internal documentation for the new command parsing code
Add PositionedString.substring methods
Re-implement command completion feature based on new argument parsing
Re-implement command inspection feature based on new argument parsing
Track position information when splitting arguments
Simplify body splitting logic in CommandUtils.splitArgs
Merge branch 'master' into command_parameter_structure
Add unshortened link to article
Adjust formatting in README
adapt bibtex entry
add link to article and bibtex entry
Bump version number to 1.2.1-SNAPSHOT
Release version 1.2.0
v1.2.0
v1.2.0
Clean up help output of main class (installer)
Fix build.gradle possibly not updating build properties
Remove pip install command from README
Mention requirements more obviously in installation instructions
Expand section on alternative frontends in README
Update and expand Python/Jupyter requirements in README
Implement kernel interrupts properly
Add B parser version to :version output
Change kernelspec JSON generation to use JsonElement APIs
Change ProB 2 version from snapshot to latest release (3.11.0)
Make Parameter an interface and split out its implementation
Loading