Removed -f switch from readlink

for compatibility with OSX

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Start with the closure of the empty set when computing the canonical base

found by Johannes Wollbold

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Adding some tests for computing the canonical base with background knowledge

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add Johannes as contributor

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Updating org file

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Readding -f switch for readlink

does not work otherwise

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Enhance error output if exploration counterexample is invalid

In the case the counterexample provided by the expert does
invalidated some already confirmed implications, these implications
are printed as error output.  Please note that this (again) only works
for reasonably small explorations — for larger ones, you may need to
use another handler.

This feature was suggested by Johannes Wollbold

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Use unicode symbol for implicational arrow

Experimental: symbol might be too small (note that this is actually LONG
RIGHTWARDS ARROW).

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update list of things to do

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Rename tag in org-mode file

from 0_0_7 to 7 (just looks better)

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Disabled GUI-repl

again

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Includes updates for wiki

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Updating org-mode file

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add testing data from Johannes

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
'Enhance' a docstring

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Extend repl code to allow for incomplete counterexamples

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Experimental: adding exploration with incomplete counterexamples

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Specify size of GUI window explicitly

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Update org-mode file

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Reimplement function interface of incomplete exploration

to avoid defnk

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>