Commits · 45b5c76f52da7549f2f948d10115c6df7f6c847f · general / stups / ProB 2 Jupyter Kernel · GitLab

Snippets Groups Projects

Feb 05, 2020
- Update Gradle shadow plugin to version 5.2.0 · 45b5c76f
  dgelessus authored Feb 5, 2020
  
  45b5c76f
Feb 04, 2020
- Remove outdated note from :type command help · 1c8f4ecb
  dgelessus authored Feb 4, 2020
  1c8f4ecb
- Add support :let variables to more commands · bbc147f3
  dgelessus authored Feb 4, 2020
  bbc147f3
- Add own dependency on Guava instead of using that from ProB 2 · 0f33ea07
  dgelessus authored Feb 4, 2020
  
  0f33ea07
Feb 03, 2020
- Update dependencies to latest versions · e51972b1
  dgelessus authored Feb 3, 2020
  
  e51972b1
- Declare dependencies as implementation instead of compile · 4b1893ab
  dgelessus authored Feb 3, 2020
  4b1893ab
- Remove mavenLocal() repo from build.gradle · 5f8f5080
  dgelessus authored Feb 3, 2020
  5f8f5080
- Remove Sonatype releases repo from build.gradle · 5fa2ede3
  dgelessus authored Feb 3, 2020
  5fa2ede3
- Remove manual changing: true setting from build.gradle · e7d39515
  dgelessus authored Feb 3, 2020
  e7d39515
- Update Gradle wrapper to version 6.1.1 · 00b5866a
  dgelessus authored Feb 3, 2020
  
  00b5866a
Jan 13, 2020
- Allow loading machines without an explicit ::load command · 9db68c3a
  dgelessus authored Jan 13, 2020
  9db68c3a
Jan 09, 2020
- Remove ES6 Unicode regexp features from kernel.js · 5f870031
  dgelessus authored Jan 9, 2020
  5f870031
- Add nbgrader metadata to DeliveryExercise.ipynb · a69564f0
  dgelessus authored Jan 9, 2020
  
  a69564f0
- Fix typo in REPL syntax highlighting language name · c7fbd3c8
  dgelessus authored Jan 9, 2020
  
  c7fbd3c8
- add new external functions · a6b4a72a
  Michael Leuschel authored Jan 9, 2020
  
  a6b4a72a
Jan 06, 2020
- Fix a few typos and LaTeX issues in NFA_to_DFA.ipynb · e54da55c
  dgelessus authored Jan 6, 2020
  
  e54da55c
- Add :bsymb command to allow reliably using bsymb definitions in LaTeX · d65d6c2e
  dgelessus authored Jan 6, 2020
  
  d65d6c2e
Dec 19, 2019
- Add NFA_to_DFA.ipynb · 0b8446e1
  dgelessus authored Dec 19, 2019
  
  0b8446e1
Dec 04, 2019
- Add test notebook and models for :modelcheck · 2947b54c
  dgelessus authored Dec 4, 2019
  
  2947b54c
- Display status information while :modelcheck is running · 1101b4fa
  dgelessus authored Dec 4, 2019
  
  1101b4fa
- Add :modelcheck command (#14 ) · d3aacd9f
  dgelessus authored Dec 4, 2019
  
  d3aacd9f
Dec 02, 2019
- Use Guava Stopwatch instead of System.nanoTime in TimeCommand · 53c45239
  dgelessus authored Dec 2, 2019
  
  53c45239
Nov 18, 2019
- Fix incorrect example in comment in CheckCommand · 482cc975
  dgelessus authored Nov 18, 2019
  
  482cc975
- Change :check command to not use GetMachineStructureCommand · 18a22870
  dgelessus authored Nov 18, 2019
  18a22870
Oct 16, 2019
- Use file extension mappings from ProB 2 instead of a custom map · ea258a8e
  dgelessus authored Oct 16, 2019
  
  ea258a8e
Oct 14, 2019
- Fix loading of .eventb files · ee8a3ec1
  dgelessus authored Oct 14, 2019
  
  ee8a3ec1
Oct 10, 2019
- add licence for images of chess pieces · 09b3d04b
  Michael Leuschel authored Oct 10, 2019
  
  09b3d04b
Oct 09, 2019
- add version of N-Queens with visualization · d11cb81e
  Michael Leuschel authored Oct 9, 2019
  
  d11cb81e
- Add another model reference example · 4c968736
  Michael Leuschel authored Oct 9, 2019
  
  4c968736
Oct 04, 2019
- Add fix for a problem with installKernelSpec and virtualenvs to README · 7e9ff58e
  dgelessus authored Oct 4, 2019
  
  7e9ff58e
- Update ProB 2 version to 4.0.0-SNAPSHOT · 79ae809d
  dgelessus authored Oct 4, 2019
  
  79ae809d
- Update Gradle wrapper to version 5.6.2 · 8b13e37e
  dgelessus authored Oct 4, 2019
  
  8b13e37e
May 10, 2019
- add comment on how to lock · 50fef812
  Michael Leuschel authored May 10, 2019
  
  50fef812
- add exercise experiment · 063b72e1
  Michael Leuschel authored May 10, 2019
  
  063b72e1
- Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:dgelessus/prob2-jupyter-kernel · 36d0e4a8
  Michael Leuschel authored May 10, 2019
  
  36d0e4a8
- update slides · 460c643e
  Michael Leuschel authored May 10, 2019
  
  460c643e
May 09, 2019
- Support subscripts and primes in identifier syntax highlighting · 4f461daa
  dgelessus authored May 9, 2019
  
  4f461daa
May 07, 2019
- Fix the variable highlighting regex · 42f69ce1
  dgelessus authored May 7, 2019
  
  42f69ce1
- Support Unicode letters in identifier syntax highlighting · dbd019e7
  dgelessus authored May 7, 2019
  
  dbd019e7
- use greek Sigma in presentation · 47a8a8ef
  Michael Leuschel authored May 7, 2019
  
  47a8a8ef