Unclaimed project

Are you a maintainer of halmos? Claim this project to take control of your public changelog and roadmap.

Changelog

halmos

A symbolic testing tool for EVM smart contracts

New

Related Projects

Mapbox Navigation SDK for Android

一个利用摸鱼时间背单词的软件。

C# Barcode Image Generation Library

:lock: ASP.NET Core 3.1 Open Source SSO. Built within IdentityServer4 :key:

v0.2.6 - halmos Release Notes | AnnounceHQ