-
- Downloads
Initial commit
Very basic kernel, only supports evaluation of Classical B expressions and nothing else.
parents
Branches
Tags
Showing
- .gitignore 3 additions, 0 deletions.gitignore
- build.gradle 49 additions, 0 deletionsbuild.gradle
- gradle/wrapper/gradle-wrapper.jar 0 additions, 0 deletionsgradle/wrapper/gradle-wrapper.jar
- gradle/wrapper/gradle-wrapper.properties 5 additions, 0 deletionsgradle/wrapper/gradle-wrapper.properties
- gradlew 172 additions, 0 deletionsgradlew
- gradlew.bat 84 additions, 0 deletionsgradlew.bat
- settings.gradle 1 addition, 0 deletionssettings.gradle
- src/main/java/de/prob2/jupyter/Main.java 42 additions, 0 deletionssrc/main/java/de/prob2/jupyter/Main.java
- src/main/java/de/prob2/jupyter/ProBKernel.java 46 additions, 0 deletionssrc/main/java/de/prob2/jupyter/ProBKernel.java
- src/main/java/de/prob2/jupyter/ProBKernelModule.java 12 additions, 0 deletionssrc/main/java/de/prob2/jupyter/ProBKernelModule.java
- src/main/resources/logback.xml 11 additions, 0 deletionssrc/main/resources/logback.xml
.gitignore
0 → 100644
build.gradle
0 → 100644
gradle/wrapper/gradle-wrapper.jar
0 → 100644
File added
gradle/wrapper/gradle-wrapper.properties
0 → 100644
gradlew
0 → 100755
gradlew.bat
0 → 100644
settings.gradle
0 → 100644
src/main/java/de/prob2/jupyter/Main.java
0 → 100644
src/main/resources/logback.xml
0 → 100644
Please register or sign in to comment