keep set of predecessor nodes and write out edges coming from each node
fixed xml output
_
oil parsing bug fixes
cluster for each process in graph, do not add edges where id is still bottom
full paths for cfg graph id
refixing treatment of interruptpriority tag
optimized dead code display
url for cil repo changed
osek: analyze StartupHook
scripts for building goblint from source under Cygwin
making ocp-build fails if script is piped into bash?!
abort script on errors
g2html for Cygwin works (use cygpath -wa for converting paths)
use return instead of exit for source setup-cygwin-dev.sh
add g2html as a submodule
add `make npm` for webapp, `make jar` for g2html
ssh fix for winupload.sh
osek header fix: also check for ISR when printing resource declarations
check for build files in submodules since empty folders exist in any case
first Promela models for arinc
osek: new test for ActivateTask