Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

P

ProB 2 Jupyter Kernel
- Activity
- Members
- Labels
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

051afe49

Commit 051afe49 authored 2 years ago by dgelessus

Downloads
- Patches
- Plain Diff

Re-run all the notebooks

parent b41e6a92

No related branches found

No related tags found

Loading

Pipeline #111966 passed 2 years ago

Stage: test

Changes 18
Pipelines 1

Expand all Show whitespace changes

Inline Side-by-side

Showing

notebooks/experiments/SMT_Translation_Experiments.ipynb 40 additions, 20 deletions

notebooks/experiments/SMT_Translation_Experiments.ipynb
notebooks/manual/ExternalFunctions.ipynb 63 additions, 64 deletions

notebooks/manual/ExternalFunctions.ipynb
notebooks/manual/FloatsReals.ipynb 46 additions, 46 deletions

notebooks/manual/FloatsReals.ipynb
notebooks/models/Jars_DieHard_Puzzle.ipynb 15 additions, 15 deletions

notebooks/models/Jars_DieHard_Puzzle.ipynb
notebooks/models/NFA_to_DFA.ipynb 100 additions, 100 deletions

notebooks/models/NFA_to_DFA.ipynb
notebooks/models/NQueens_Puzzle.ipynb 1 addition, 1 deletion

notebooks/models/NQueens_Puzzle.ipynb
notebooks/tests/animate.ipynb 6 additions, 14 deletions

notebooks/tests/animate.ipynb
notebooks/tests/assert.ipynb 2 additions, 2 deletions

notebooks/tests/assert.ipynb
notebooks/tests/chr_tests.ipynb 7 additions, 11 deletions

notebooks/tests/chr_tests.ipynb
notebooks/tests/dot.ipynb 102 additions, 100 deletions

notebooks/tests/dot.ipynb
notebooks/tests/external_functions.ipynb 16 additions, 18 deletions

notebooks/tests/external_functions.ipynb
notebooks/tests/load_cell.ipynb 7 additions, 7 deletions

notebooks/tests/load_cell.ipynb
notebooks/tests/modelcheck.ipynb 3 additions, 3 deletions

notebooks/tests/modelcheck.ipynb
notebooks/tests/pref.ipynb 12 additions, 4 deletions

notebooks/tests/pref.ipynb
notebooks/tests/solve.ipynb 42 additions, 19 deletions

notebooks/tests/solve.ipynb
notebooks/tests/time.ipynb 4 additions, 4 deletions

notebooks/tests/time.ipynb
notebooks/tests/type.ipynb 2 additions, 2 deletions

notebooks/tests/type.ipynb
notebooks/tests/version.ipynb 6 additions, 6 deletions

notebooks/tests/version.ipynb

with 474 additions and 436 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment