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
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
general
stups
ProB 2 Jupyter Kernel
Commits
b925e6be2535c1285549e969260d9150cf9db5ab
Select Git revision
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
9 results
prob2-jupyter-kernel
Author
Search by author
Any Author
authors
dgelessus
dgelessus
Fabian Vu
vu
Jan Gruteser
gruteser
Jannik Dunkelau
dunkelau
Jens Bendisposto
bendisposto
John Witulski
witulski
Joshua Schmidt
schmidt
Kristin Rutenkolk
rutenkolk
Mareike Mutz
mutz
Max Jakub Ried
ried
Michael Leuschel
leuschel
Philipp Körner
koerner
Thomas Spitzlei
spitzlei
13 authors
May 18, 2020
Release version 1.2.0
· b925e6be
dgelessus
authored
5 years ago
View commits for tag v1.2.0
v1.2.0
b925e6be
Clean up help output of main class (installer)
· a38afbfd
dgelessus
authored
5 years ago
a38afbfd
Fix build.gradle possibly not updating build properties
· 145ad1ab
dgelessus
authored
5 years ago
145ad1ab
Remove pip install command from README
· 2182fe58
dgelessus
authored
5 years ago
2182fe58
Mention requirements more obviously in installation instructions
· 562bf732
dgelessus
authored
5 years ago
562bf732
Expand section on alternative frontends in README
· 7082b708
dgelessus
authored
5 years ago
7082b708
Update and expand Python/Jupyter requirements in README
· a16c448b
dgelessus
authored
5 years ago
a16c448b
May 14, 2020
Implement kernel interrupts properly
· a4be7c57
dgelessus
authored
5 years ago
a4be7c57
Add B parser version to :version output
· 943a058d
dgelessus
authored
5 years ago
943a058d
Change kernelspec JSON generation to use JsonElement APIs
· 5632fafe
dgelessus
authored
5 years ago
5632fafe
Change ProB 2 version from snapshot to latest release (3.11.0)
· 391cb29b
dgelessus
authored
5 years ago
391cb29b
Fix multiline machines not being detected in cells without ::load
· e7ea5de7
dgelessus
authored
5 years ago
e7ea5de7
Move non-command classes out of commands package
· 099a52bd
dgelessus
authored
5 years ago
099a52bd
May 04, 2020
Mention Java 14 compatibility in README
· 58bcc2cd
dgelessus
authored
5 years ago
58bcc2cd
Make download links in README more obvious
· 55a6a229
dgelessus
authored
5 years ago
55a6a229
Apr 30, 2020
Fix line comments on last line of expression with let variables defined
· d0b22b41
dgelessus
authored
5 years ago
d0b22b41
Apr 22, 2020
Mention Java 14 compatibility in CHANGELOG.md
· b621e6b4
dgelessus
authored
5 years ago
b621e6b4
Update ProB 2 to version 4.0.0-SNAPSHOT for Java 14 compatibility
· e5188664
dgelessus
authored
5 years ago
e5188664
Update Gradle wrapper to version 6.3 for Java 14 compatibility
· 824f34b1
dgelessus
authored
5 years ago
824f34b1
Apr 16, 2020
Install GraphViz on Binder to allow using Dot visualisations
· 8377a642
dgelessus
authored
5 years ago
8377a642
Mar 05, 2020
Remove no longer needed Git LFS-related commands from Binder postBuild
· e52e0cac
dgelessus
authored
5 years ago
e52e0cac
Update links to new repo location
· df237174
dgelessus
authored
5 years ago
df237174
Mar 03, 2020
Update README
· 23655f27
dgelessus
authored
5 years ago
23655f27
Feb 27, 2020
Bump version number to 1.1.1-SNAPSHOT
· 4e6f7780
dgelessus
authored
5 years ago
4e6f7780
Fix Git not being installed on GitLab CI
· 088e9cc9
dgelessus
authored
5 years ago
View commits for tag v1.1.0
v1.1.0
088e9cc9
Release version 1.1.0
· 5e6df9bf
dgelessus
authored
5 years ago
5e6df9bf
Remove release version 1.0.0 from Git LFS
· 0007a30f
dgelessus
authored
5 years ago
0007a30f
Fix ProB 2 version number in CHANGELOG.md
· 60df754e
dgelessus
authored
5 years ago
60df754e
Remove manually defined cleanKernelSpec task
· 2bfb0e88
dgelessus
authored
5 years ago
2bfb0e88
Don't use cleanKernelSpec task to delete outputs in createKernelSpec
· 281a5df4
dgelessus
authored
5 years ago
281a5df4
Replace use of deprecated shadowJar.archivePath property
· fc71c0c5
dgelessus
authored
5 years ago
fc71c0c5
Remove unnecessary manual setting of createKernelSpec task inputs
· d19a4fa4
dgelessus
authored
5 years ago
d19a4fa4
Improve :version command
· 091ba271
dgelessus
authored
5 years ago
091ba271
Switch to release version of ProB 2 Java API
· 2b75217b
dgelessus
authored
5 years ago
2b75217b
Include Sonatype snapshots repo only for snapshot builds
· 47e6591e
dgelessus
authored
5 years ago
47e6591e
Feb 25, 2020
Update Gradle wrapper to version 6.2.1
· 28d74329
dgelessus
authored
5 years ago
28d74329
Feb 20, 2020
Update Gradle wrapper to version 6.2
· 0eb14cf7
dgelessus
authored
5 years ago
0eb14cf7
Feb 18, 2020
Don't display dot command availability in :help :dot
· cc91cd81
dgelessus
authored
5 years ago
cc91cd81
Fix MACHINE_INFO being recognized as machine instead of an expression
· d0e3a169
dgelessus
authored
5 years ago
d0e3a169
Rerun all the notebooks
· 57a7f3e1
dgelessus
authored
5 years ago
57a7f3e1
Loading