-
- Downloads
Merge branch 'master' of gitlab.cs.uni-duesseldorf.de:general/stups/prob2-jupyter-kernel
Signed-off-by: 
Michael Leuschel <leuschel@uni-duesseldorf.de>
# Conflicts:
# notebooks/manual/FloatsReals.ipynb
Showing
- .gitlab-ci.yml 24 additions, 0 deletions.gitlab-ci.yml
- CHANGELOG.md 10 additions, 2 deletionsCHANGELOG.md
- README.md 3 additions, 10 deletionsREADME.md
- build.gradle 5 additions, 9 deletionsbuild.gradle
- gradle/wrapper/gradle-wrapper.jar 0 additions, 0 deletionsgradle/wrapper/gradle-wrapper.jar
- gradle/wrapper/gradle-wrapper.properties 1 addition, 1 deletiongradle/wrapper/gradle-wrapper.properties
- gradlew 6 additions, 5 deletionsgradlew
- notebooks/experiments/SMT_Translation_Experiments.ipynb 40 additions, 20 deletionsnotebooks/experiments/SMT_Translation_Experiments.ipynb
- notebooks/manual/ExternalFunctions.ipynb 63 additions, 64 deletionsnotebooks/manual/ExternalFunctions.ipynb
- notebooks/manual/FloatsReals.ipynb 46 additions, 46 deletionsnotebooks/manual/FloatsReals.ipynb
- notebooks/models/Jars_DieHard_Puzzle.ipynb 15 additions, 15 deletionsnotebooks/models/Jars_DieHard_Puzzle.ipynb
- notebooks/models/NFA_to_DFA.ipynb 100 additions, 100 deletionsnotebooks/models/NFA_to_DFA.ipynb
- notebooks/models/NQueens_Puzzle.ipynb 1 addition, 1 deletionnotebooks/models/NQueens_Puzzle.ipynb
- notebooks/tests/animate.ipynb 6 additions, 14 deletionsnotebooks/tests/animate.ipynb
- notebooks/tests/assert.ipynb 2 additions, 2 deletionsnotebooks/tests/assert.ipynb
- notebooks/tests/chr_tests.ipynb 7 additions, 11 deletionsnotebooks/tests/chr_tests.ipynb
- notebooks/tests/dot.ipynb 102 additions, 100 deletionsnotebooks/tests/dot.ipynb
- notebooks/tests/external_functions.ipynb 16 additions, 18 deletionsnotebooks/tests/external_functions.ipynb
- notebooks/tests/load_cell.ipynb 7 additions, 7 deletionsnotebooks/tests/load_cell.ipynb
- notebooks/tests/modelcheck.ipynb 3 additions, 3 deletionsnotebooks/tests/modelcheck.ipynb
Loading
Please register or sign in to comment