v0.0.169

wsmoses released this 22 Dec 00:13

· 10 commits to main since this release

a03c1d4

What's Changed

Add loose types for extract by @wsmoses in #2193
MLIR: improve num returns error by @wsmoses in #2196
Activity Analysis: strengthen recursive hyp by @wsmoses in #2197
Fix forward rewrite by @wsmoses in #2201

Full Changelog: v0.0.168...v0.0.169

Contributors

wsmoses

Assets 2