トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
カルマは控えめです — ハルモスの大規模なアップデートです!
(1) ステートフル不変量テスト(非常に強力)
(2)フレームグラフ(ハルモスが探索しているものを参照)
∎ 30倍高速なインタープリター (!!)
(1)多くのソルバーを簡単に選択
(1)カバレッジレポート
(1)Solx対応
∎ その他のチートコード
∎ ...その他
7月15日 07:38
Halmos v0.3.0 リリースハイライト!
(注意点:HalmosはEVMバイトコード用のシンボリックテストツールで、ファウンドリプロジェクトとうまくインターフェースし、複数のSMTソルバーをサポートします)
1. ステートフル不変式テストのサポートを(ついに)追加しました
9.75K
トップ
ランキング
お気に入り