modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
modified the definition seq.k in samples/prog-equiv/stream and added several examples in samples/prog-equiv/stream/programs.
fixed copyright notice.
removed a comment from the program prog-equiv/streams/programs/morse.seq
fixed debugger symbolic backend issue by getting the KRun object from main class
- added KRun as parameter to gui controller
- get KRun from main class when continuing execution from a state
send KRun object as constructor argument when loading a configuration
Merge pull request #432 from daniel-ionut-vicol/master

Fixed : Unable to run graphical debugger using symbolic backend #431
ensure that the IOServer thread terminates
fixed the time-period for the copy-right.
add copyright script
fix Andrei S's comments
Merge pull request #441 from dwightguth/copyright

add copyright script
fix tiny bug in copyright script
Merge branch 'copyright'
Merge pull request #440 from dwightguth/ioserver

ensure that the IOServer thread terminates
change kompile to use unique temp files
Merge pull request #444 from dwightguth/dotk

change kompile to use unique temp files
fix ktest log string escaping
make error message better for case when user specifies too many files for kompile
Merge pull request #446 from dwightguth/kompile-options

make error message better for case when user specifies too many files fo...