major improvement of the architecture of function calls/returns lifters
improving the lifting of counterexamples of decision tables marked as "checked"
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixed debugger test
Merge branch 'master' of github.com:mbeddr/mbeddr.core
optimized imports; fixed build
fixed the build
fixed a typesystem issue introduced by Markus recently while fixing the range expression type
dataflow for safe read
small fixes
small improvements
better clear caching strategy for lifting nodes
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixed handling of typedefs for structs and unions
Merge remote-tracking branch 'origin/master'
ignore pointer types in structs and unions when calculating the order of declarations
debugger now works with cygwin
Merge branch 'master' of github.com:mbeddr/mbeddr.core
more fun with typ defs and name mangling
Merge remote-tracking branch 'origin/master'