Chủ đề thịnh hành
#
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.
Karma đang khiêm tốn — cập nhật lớn cho Halmos!
∎ Kiểm tra bất biến trạng thái (rất mạnh mẽ)
∎ Flamegraphs (xem những gì Halmos đang khám phá)
∎ Trình thông dịch nhanh hơn 30 lần (!!!)
∎ Dễ dàng chọn nhiều bộ giải
∎ Báo cáo độ phủ
∎ Hỗ trợ Solx
∎ nhiều mã gian lận hơn
∎ ... và nhiều hơn nữa
07:38 15 thg 7
những điểm nổi bật của phiên bản halmos v0.3.0!
(lời nhắc nhanh: halmos là một công cụ kiểm tra biểu tượng cho mã bytecode EVM, tương tác tốt với các dự án foundry và hỗ trợ nhiều bộ giải SMT)
1. chúng tôi (cuối cùng) đã thêm hỗ trợ cho việc kiểm tra bất biến có trạng thái
9,77K
Hàng đầu
Thứ hạng
Yêu thích