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

Executable for Mac M1 Pro

osx-aarch64

Update README.md

Executable for Linux x86_64 Ubuntu 20.04

linux-x86_64-ubuntu-20.04

Update README.md