Repository navigation

Release v2.1.17

prabhu released this 25 Apr 23:39

· 134 commits to main since this release

56c75ff

What's Changed

Changed workflow to matrix by @malice00 in #193
python reachables tweaks by @prabhu in #195
Update chen to reduce file misses for c/c++ by @prabhu in #196
Improved deterministic slices by making some queries default by @prabhu in #197

New Contributors

@malice00 made their first contribution in #193

Full Changelog: v2.1.16...v2.1.17

Contributors

prabhu and malice00

Assets 13