What's Changed
- Add empty JavaDoc for Scala sources by @smeyer198 in #143
- Fix for release by @schlichtig in #144
- Update to next SNAPSHOT version by @github-actions in #146
- Bump net.alchim31.maven:scala-maven-plugin from 4.9.2 to 4.9.5 by @dependabot in #147
- Bump wala.version from 1.6.9 to 1.6.10 by @dependabot in #148
- Make *(one|zero) weights singletons by @Hazem-Gamall in #153
- Generalize the scopes to make them more consistent by @smeyer198 in #149
- Add test setup for SootUp by @smeyer198 in #151
- Fix usage of AllocVal in ForwardQueries when propagating their facts by @smeyer198 in #155
- Optimization/weights by @Akshayaquinnox in #129
- Bump de.fraunhofer.iem:pathexpression from 1.0.5 to 1.0.6 by @dependabot in #160
- Small fixes regarding types in OpalVal and TransitionFunctionImpl by @smeyer198 in #159
- Prepare for 4.2.0 by @smeyer198 in #158
- Update SPDS version to 4.2.0 by @github-actions in #163
New Contributors
- @Akshayaquinnox made their first contribution in #129
Full Changelog: 4.1.0...4.2.0
Contributors
schlichtig, dependabot, and 3 other contributors