update readme, bump version

Walnoot · Apr 24, 2020 · 4589ab4 · 4589ab4
1 parent 00270c2
commit 4589ab4
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -68,7 +68,7 @@ Any variables marked const in the model can be overwritten before model checking
 
 Limit the model to be unable to take time transitions after a specified amount of time. Useful if the model has no upper limit on time, and symbolic checking is used.
 
-#### Known issues
+### Known issues
 
 When loading a trace in the editor, Uppaal will show a prompt asking to asking to upload the new model. If this happens, press no (otherwise the original, unchanged model is loaded and the trace cannot be shown).
 

diff --git a/build.gradle b/build.gradle
@@ -112,5 +112,5 @@ githubPublish {
 githubPublish.dependsOn preTagCommit
 github {
     token deployToken
-    repositoryName "utwente-fmt/UrPal"
+    repositoryName "Walnoot/SMC-Check"
 }
diff --git a/gradle.properties b/gradle.properties
@@ -1,2 +1,2 @@
-version=0.2.2-SNAPSHOT
+version=0.3.0
 file=/home/michiel/Downloads/uppaal_test.xml