Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
15cc8d29
Commit
15cc8d29
authored
Jan 19, 2018
by
Sarah Grebing
Browse files
Button fix
parent
4507a767
Pipeline
#17056
passed with stages
in 12 minutes and 13 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/no
n
split-prop.html
→
rt-key/src/main/resources/edu/kit/iti/formal/psdbg/macros/nosplit-prop.html
View file @
15cc8d29
...
@@ -2,12 +2,12 @@
...
@@ -2,12 +2,12 @@
<html
lang=
"en"
>
<html
lang=
"en"
>
<head>
<head>
<meta
charset=
"UTF-8"
>
<meta
charset=
"UTF-8"
>
<title>
no
n
split-prop
</title>
<title>
nosplit-prop
</title>
</head>
</head>
<body>
<body>
<h2
id=
"symbex"
>
no
n
split-prop
</h2>
<h2
id=
"symbex"
>
nosplit-prop
</h2>
<blockquote>
<blockquote>
<p>
Synopsis:
<code>
no
n
split-prop;
</code></p>
<p>
Synopsis:
<code>
nosplit-prop;
</code></p>
</blockquote>
</blockquote>
<p><strong></strong>
Description:
</strong></strong></p>
<p><strong></strong>
Description:
</strong></strong></p>
This macros applies rules to decompose propositional toplevel formulas without applying splitting rules.
This macros applies rules to decompose propositional toplevel formulas without applying splitting rules.
...
...
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
View file @
15cc8d29
...
@@ -503,7 +503,7 @@ public class DebuggerMain implements Initializable {
...
@@ -503,7 +503,7 @@ public class DebuggerMain implements Initializable {
statusBar
.
publishSuccessMessage
(
"Interpreter finished."
);
statusBar
.
publishSuccessMessage
(
"Interpreter finished."
);
btnInteractiveMode
.
setDisable
(
false
);
btnInteractiveMode
.
setDisable
(
false
);
assert
model
.
getDebuggerFramework
()
!=
null
;
assert
model
.
getDebuggerFramework
()
!=
null
;
btnInteractiveMode
.
setSelected
(
tru
e
);
btnInteractiveMode
.
setSelected
(
fals
e
);
PTreeNode
<
KeyData
>
statePointer
=
model
.
getDebuggerFramework
().
getStatePointer
();
PTreeNode
<
KeyData
>
statePointer
=
model
.
getDebuggerFramework
().
getStatePointer
();
assert
statePointer
!=
null
;
assert
statePointer
!=
null
;
State
<
KeyData
>
lastState
=
statePointer
.
getStateAfterStmt
();
State
<
KeyData
>
lastState
=
statePointer
.
getStateAfterStmt
();
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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