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
terminationInOptimizer
solidity/test/libsolidity/semanticTests/externalContracts
History
chriseth ca29136348 Take termination into account for data flow analyzer.
2022-03-09 09:55:44 +01:00
..
_base64 Add Base64 test cases with and without inline assembly 2022-03-05 19:51:46 -05:00
_prbmath Import prb-math for testing 2021-04-27 20:08:33 +01:00
_stringutils Fix some issues regarding checked arithmethics in stringutils 2021-04-27 17:05:40 +01:00
base64.sol Add Base64 test cases with and without inline assembly 2022-03-05 19:51:46 -05:00
deposit_contract.sol Update tests. 2022-02-21 14:32:52 +01:00
FixedFeeRegistrar.sol Update tests. 2022-02-21 14:32:52 +01:00
prbmath_signed.sol Update tests. 2022-02-21 14:32:52 +01:00
prbmath_unsigned.sol Tests. 2022-03-02 16:42:28 +01:00
ramanujan_pi.sol Update tests. 2022-02-21 14:32:52 +01:00
snark.sol Update tests. 2021-11-03 12:39:55 +01:00
strings.sol Take termination into account for data flow analyzer. 2022-03-09 09:55:44 +01:00