Release v1.43.1

dot-1 release for v1.43 platform tools

Release v1.53

Update to version 1.53 of platform tools

Release v1.51

Certora vendor variant of v1.51 platform tools

Release v1.48

First release to supports Rust v1.84.1

Release v1.46

Updating to version 1.46 of platform tools. Rust is still at 1.79, but sbf backend in llvm has been significantly improved.

Release v1.43

Full Changelog: v1.41-certora...v1.43-certora

Release v1.41-certora

What's Changed

• Add CI Support by @ozcodes in #1
• Mention first installation from binaries by @aehyvari in #2
• fix: sign all executables by @1arie1 in #4
• Disable binaries signing by @ozcodes in #5
• [skip ci] fix release by @ozcodes in #6
• Fix release by @ozcodes in #7
• Fix release by @ozcodes in #8

New Contributors

• @ozcodes made their first contribution in #1
• @aehyvari made their first contribution in #2
• @1arie1 made their first contribution in #4

Full Changelog: linux-x86_64-ubuntu-20.04-10-22-2024...v1.41-certora

Executable for Linux x86_64 Ubuntu 24.04

linux-x86_64-ubuntu-24.04

Update README.md

Executable for Linux x86_64 Ubuntu 20.04

linux-x86_64-ubuntu-20.04-10-22-2024

Update README.md

Executable for Mac M1 Pro

Disabled more merging of loads and stores