Fixes caching by using the filename as program ID instead of generating a new one for each parse operation. This effectively disables caching as the cache's lookup depends on the program ID.
Additionally, the CI is adapted to use the current release candidate when running the CI in release configuration.
Note that this PR reenables caching for Viper-IDE but the error messages do not (yet) indicate that a verification error comes from the cache. Silver PR #533 fixes the error message
Fixes caching by using the filename as program ID instead of generating a new one for each parse operation. This effectively disables caching as the cache's lookup depends on the program ID. Additionally, the CI is adapted to use the current release candidate when running the CI in
releaseconfiguration.Note that this PR reenables caching for Viper-IDE but the error messages do not (yet) indicate that a verification error comes from the cache. Silver PR #533 fixes the error message