cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
17,212 Commits 348 Branches 121 Tags
errtype
Commit Graph
11 Commits
Author SHA1 Message Date
Leonardo Alt 46653b2d43 Fix ICE when bitwise operator on fixed bytes 2020-07-15 19:32:15 +02:00
Djordje MijovicandKamil Śliwak 547590b972 Fixing additional signedness errors after adding -Wsign-conversion flag 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2020-07-09 17:22:45 +02:00
Leonardo Alt 27f0529b80 [SMTChecker] Decrease Z3 resource limit 2020-07-06 11:30:24 +02:00
Leonardo b9f2697a3c Merge pull request #9094 from ethereum/conversionWarningsSmtUtil 
Adding fixes for signedness warnings in smtutil
 2020-06-03 01:03:44 +02:00
Djordje Mijovic d2924d83a2 Adding fixes for signedness warnings in smtutil 2020-06-02 18:49:26 +02:00
Leonardo Alt 9e9f0c52e1 [SMTChecker] Support to bitwise 2020-05-27 20:59:00 +02:00
Leonardo Alt 25de3975ce Add SMTLogicException 2020-05-20 12:55:19 +02:00
Leonardo Alt 7a91c9b971 Remove Type from SolverInterface 2020-05-20 12:55:19 +02:00
Leonardo Alt 45eba27424 Rename namespace 2020-05-20 12:55:18 +02:00
Leonardo Alt 802d66244d Do not link unnecessarily 2020-05-20 12:55:18 +02:00
Leonardo Alt 087605ea02 Create libsmtutil 2020-05-20 12:55:18 +02:00