add waffle.io badge
Update README.md
Update README.md
arinc: use record in D, keep callstack there
FIXME: callstacks grow forever
make scripts/regression.py compatible with python2 and python3
flag to disable privatization
oops
run winupload.sh only under cygwin
only support 32bit cygwin for now
64bit cygwin does not execute goblint compiled under 32bit cygwin!
arinc: adjustable callstack length, only keep locations
execution times:
   3:24 for length 0
  10:12 for length 1
  18:48 for length 2
  Out_of_memory after 26min for length 3
make file handle regression tests work with update_suite.rb
variable dependency and important variable analysis
forked the base analysis to do some highly experimental stuff
non-monotonic, demand-driven base analysis
Towards a Transformative Hermeneutics of Quantum Informatics
make writes through pointers important
extract CFG edges for arinc calls
add option ana.arinc.dot (saves result/arinc.dot if enabled), add verbose option for update_suite.rb
arinc: add epsilon transitions between nodes during join
arinc: keep callstack per action instead of per node