Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Commits
f80ca40f
Commit
f80ca40f
authored
Jun 04, 2018
by
Sarah Grebing
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
minor bugfix
parent
da98f424
Pipeline
#22321
passed with stages
in 3 minutes and 34 seconds
Changes
7
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
7 changed files
with
21 additions
and
28 deletions
+21
-28
build.gradle
build.gradle
+1
-1
matcher/build.gradle
matcher/build.gradle
+0
-18
rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/matcher/KeyMatcherFacade.java
...ti/formal/psdbg/interpreter/matcher/KeyMatcherFacade.java
+1
-1
ui/build.gradle
ui/build.gradle
+12
-1
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/ProofScriptDebugger.java
...ava/edu/kit/iti/formal/psdbg/gui/ProofScriptDebugger.java
+1
-1
ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
...u/kit/iti/formal/psdbg/examples/contraposition/script.kps
+2
-2
website/docs/index.md
website/docs/index.md
+4
-4
No files found.
build.gradle
View file @
f80ca40f
...
...
@@ -6,7 +6,7 @@ plugins {
allprojects
{
apply
plugin:
'maven'
group
=
'edu.kit.iti.formal.psdbg'
version
=
'1.
1
-experimental'
version
=
'1.
2
-experimental'
}
subprojects
{
...
...
matcher/build.gradle
deleted
100644 → 0
View file @
da98f424
apply
plugin:
'antlr'
description
=
''
repositories
{
mavenCentral
()
}
generateGrammarSource
{
maxHeapSize
=
"64m"
arguments
+=
[
"-visitor"
,
"-long-messages"
,
"-package"
,
"edu.kit.iti.formal.psdbg.termmatcher"
]
outputDirectory
file
(
"${project.buildDir}/generated-src/antlr/main/"
)
}
dependencies
{
compile
group:
'org.antlr'
,
name:
'antlr4'
,
version:
'4.7'
antlr
group:
'org.antlr'
,
name:
'antlr4'
,
version:
'4.7'
compile
project
(
':keydeps'
)
}
rt-key/src/main/java/edu/kit/iti/formal/psdbg/interpreter/matcher/KeyMatcherFacade.java
View file @
f80ca40f
...
...
@@ -30,7 +30,7 @@ public class KeyMatcherFacade {
}
else
{
ret
=
matchesTerm
(
pattern
);
}
loggerConsole
.
info
(
"Pattern: {} against Sequent: {} matches as {}"
,
pattern
,
this
.
sequent
,
ret
);
//
loggerConsole.info("Pattern: {} against Sequent: {} matches as {}", pattern, this.sequent, ret);
return
ret
;
}
...
...
ui/build.gradle
View file @
f80ca40f
...
...
@@ -54,6 +54,7 @@ task runApp(type: JavaExec) {
task
distJar
(
type:
Jar
)
{
manifest
{
attributes
'Main-Class'
:
mainClassName
}
...
...
@@ -61,4 +62,14 @@ task distJar(type: Jar) {
from
{
configurations
.
compile
.
collect
{
it
.
isDirectory
()
?
it
:
zipTree
(
it
)
}
}
with
jar
}
distJar
.
dependsOn
jar
\ No newline at end of file
distJar
.
dependsOn
jar
task
customFatJar
(
type:
Jar
)
{
manifest
{
attributes
'Main-Class'
:
'edu.kit.iti.formal.psdbg.gui.ProofScriptDebugger'
}
baseName
=
'all-in-one-jar'
from
{
configurations
.
compile
.
collect
{
it
.
isDirectory
()
?
it
:
zipTree
(
it
)
}
}
with
jar
}
customFatJar
.
dependsOn
jar
\ No newline at end of file
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/ProofScriptDebugger.java
View file @
f80ca40f
...
...
@@ -27,7 +27,7 @@ import java.util.Locale;
public
class
ProofScriptDebugger
extends
Application
{
public
static
final
String
NAME
=
"Proof Script Debugger"
;
public
static
final
String
VERSION
=
"
E
xperimental
-1.1
"
;
public
static
final
String
VERSION
=
"
1.2-e
xperimental"
;
public
static
final
String
KEY_VERSION
=
KeYConstants
.
VERSION
;
private
static
Logger
consoleLogger
=
LogManager
.
getLogger
(
"console"
);
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/examples/contraposition/script.kps
View file @
f80ca40f
...
...
@@ -6,8 +6,8 @@ script full(){
case match `!q ==> p`:
notLeft;
notRight;
close;
auto;
close
Antec
;
case match `q==>!p`:
notLeft;
...
...
website/docs/index.md
View file @
f80ca40f
...
...
@@ -209,14 +209,14 @@ interactive rule applications.
Terms in KPS are enquoted using backticks
`
.
Entering these in the editor of PDBG requires a
keyboard layout with the option "no dead keys" enabled.
If this is not possible the terms can be entered by using the shortcut Ctrl+E
which adds a pair of backticks to the cursor position.
<!--
If this is not possible the terms can be entered by using the shortcut Ctrl+E
which adds a pair of backticks to the cursor position.
-->
<h2>
Downloads
</h2>
<ul>
<li>
PSDBG -
<strong>
Experimental Version
</strong>
<a
href=
"../psdbg_releases/psdbg-
E
xperimental
-1.1
.jar"
>
psdbg-
E
xperimental
-1.1
.jar
</a>
<a
href=
"../psdbg_releases/psdbg-
1.2-e
xperimental.jar"
>
psdbg-
1.2-e
xperimental.jar
</a>
<br>
This version is an experimental development version of PSDBG, including examples.
Its enhancements are based on an evaluation of the first version.
...
...
@@ -229,7 +229,7 @@ which adds a pair of backticks to the cursor position.
<a
href=
"https://www.gnu.org/licenses/gpl-3.0.txt"
>
License: GPLv3
</a>
<a
href=
"thirdparty.txt"
>
Third Party Licenses
</a>
<br>
Executable with
<code>
java -jar psdbg-
E
xperimental
-1.1
.jar
</code>
Executable with
<code>
java -jar psdbg-
1.2-e
xperimental.jar
</code>
</li>
<li>
PSDBG -
<strong>
Version 1.0.2c-FM
</strong>
<a
href=
"../psdbg_releases/psdbg-1.0.2c-fm.jar"
>
psdbg-1.0.2c-fm.jar
</a>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment