Skip to main content
Ethereum
Leonardo Alt's user avatar
Leonardo Alt's user avatar
Leonardo Alt's user avatar
Leonardo Alt
  • Member for 8 years, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
366
reputation
3k
reached
8
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
5
bronze badges
Top tags
View all tags
10
Score
2
Posts
25
Posts %
9
Score
5
Posts
62
Posts %
8
Score
4
Posts
50
Posts %
5
Score
1
Posts
12
Posts %
5
Score
1
Posts
12
Posts %
4
Score
1
Posts
12
Posts %
Top posts
answer
5
Difference between SMTChecker and Manticore?
Jan 26, 2021
answer
5
What's the difference between SMT solvers and formal verification?
Feb 22, 2023
answer
4
Is it possible to compile to YUL?
Sep 16, 2022
answer
2
What are some of the most widely used fuzzers for solidity?
Feb 2, 2022
answer
2
How do I know when the Solidity SMTChecker did not find any unproven targets?
Feb 9, 2023
answer
1
SMT Checker : Unexpected " BMC: Insufficient funds happens here"
May 25, 2021
answer
0
SMTChecker error with CHC
Mar 23, 2022
answer
0
Why Yul doesn't have the else block?
Sep 16, 2022
Top network posts
View all network posts
11
How to execute a process with CAP_SYS_RESOURCE
5
How to do a VHDL "typedef"