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
22,147 Commits 348 Branches 121 Tags
fullSMT
Commit Graph
5 Commits
Author SHA1 Message Date
Daniel Kirchner 10618188dd Update tests. 2021-11-09 14:34:05 +01:00
a3d4 3b9e926559 Moved "step" from settings to expectations. 2020-03-19 13:59:05 +01:00
chriseth 0532a8cef2 Format short blocks and loops on a single line. 2019-05-08 13:28:00 +02:00
chriseth e3d7a34c2c Make yul a setting. 2019-04-03 14:58:20 +02:00
chriseth 5ea514213a Test case that shows that break/unbreak are more or less inverse. 2018-11-09 15:36:52 +01:00