Changelog 1.1.0 (2023-08-16) Features ci: rework release action (1430316) update scanner from upstream (bf1810d) Bug Fixes temporarily use HEAD for Python (646b8fb) 1.0.0 (2023-06-20) Features add Swift bindings (ad6db9c) export PREC as well (2e94347) improve parsing of assert statements (9f160d7) rewrite the scanner in C (f398c7b) v0.0.1 (12d06b8) v0.0.2 (8295dcd) v0.0.3 (8ad93a7)