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
15,858 Commits 348 Branches 121 Tags
v0.6.3
Commit Graph
12 Commits
Author SHA1 Message Date
Christian Parpart 6b23412fae C++ namespace cleanup (except tests). 2020-01-07 15:51:50 +01:00
chriseth 1ebcc757e1 Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-27 19:14:08 +01:00
chriseth 0bb88dabb7 Restrict usage of plain "new". 2019-11-27 17:55:11 +01:00
Daniel Kirchner 8148619d5b Merge branch 'develop' into develop_060 2019-11-12 10:32:41 +01:00
Mathias Baumann e35a23bbcc Add `switch (..) to style checker 2019-11-11 17:44:21 +01:00
chriseth 8e736a9f49 Type Checker for try/catch. 2019-09-23 17:22:56 +02:00
chriseth b5bc52f2a7 Control flow for try statements. 2019-09-23 17:22:56 +02:00
Christian Parpart bf43eebea9 libsolidity: Introducing TypeProvider API, for clear type system ownership. 2019-04-16 18:26:45 +02:00
Daniel Kirchner 0dfd4a726e Warn about unreachable code. 2019-01-10 10:36:50 +01:00
Daniel Kirchner 788612d2ef Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses. 2018-12-12 04:20:53 +01:00
Daniel Kirchner 1cbc037a45 Update control flow graph. 2018-05-16 18:32:48 +02:00
Daniel Kirchner 995623f0fa Add control flow graph. 2018-05-14 20:23:40 +02:00