This branch is a temporary branch until relevant changes are integrated on the master. But this branch also contains the additional feature -isp-print-file. A nice feature that we also want to integrate to master
Things got a bit messy around this PR. We wanted a more elaborate fix of #6 while we also wanted to provide a working version for the paper sent to ASE in 2024. The fix for #6 was done by commit d0d8ac1. However, that fix deprecated the changes regarding emitting annotations for structs in this PR. Therefore those parts have been removed.
This branch is a temporary branch until relevant changes are integrated on the master. But this branch also contains the additional feature
-isp-print-file
. A nice feature that we also want to integrate to masterThings got a bit messy around this PR. We wanted a more elaborate fix of #6 while we also wanted to provide a working version for the paper sent to ASE in 2024. The fix for #6 was done by commit d0d8ac1. However, that fix deprecated the changes regarding emitting annotations for structs in this PR. Therefore those parts have been removed.
Eventually, what we merge from this branch is:
-isp-print-file
option