v1.2.0

Latest

Latest

buger released this 29 Apr 05:50

c172c16

What's Changed

Fix 2 bugs, remove 7 dead code blocks, add formal verification using ReqProof by @buger in #281
Add support for tinygo by @buger in #269

Full Changelog: v1.1.2...v1.2.0

Contributors

buger

Assets 2