Commit 5160b7a6 authored by Alexander Weigl's avatar Alexander Weigl
Browse files

fixes from mattias, new version

parent aefac480
......@@ -49,6 +49,9 @@ script:
## Changelog
* [1.2.0](https://formal.iti.kit.edu/ci-tool/keyext.citool-1.2.0-all.jar): Hot-fix for KeY
- repairing model fields in set statements
* [1.1.0](https://formal.iti.kit.edu/ci-tool/keyext.citool-1.1.0-all.jar): bug fixes and support for proofs in key-files
- Change of console output
- Fix loading of proof files
......
......@@ -4,7 +4,7 @@ plugins {
id 'com.github.johnrengelman.shadow' version "5.0.0"
}
version = "1.1.0"
version = "1.2.0"
dependencies {
implementation "org.jetbrains.kotlin:kotlin-stdlib-jdk8"
......@@ -19,4 +19,4 @@ application {
run {
args = ["--measuring", "/home/weigl/work/verifythis-ltc-2020/simplified/Keyserver.java"]
println(args)
}
\ No newline at end of file
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment