- 09 Jun, 2017 5 commits
-
-
chriseth authored
Move highlighting tab logic to settings tab
-
chriseth authored
Static Analysis: modules inlineAssembly, blockhash, blocktimestamp, s…
-
soad003 authored
-
chriseth authored
little spelling error
-
Matthew Zipkin authored
-
- 08 Jun, 2017 2 commits
-
-
ninabreznik authored
-
ninabreznik authored
-
- 07 Jun, 2017 4 commits
- 06 Jun, 2017 3 commits
- 04 Jun, 2017 1 commit
-
-
ninabreznik authored
-
- 01 Jun, 2017 1 commit
-
-
soad003 authored
Static Analysis: improvements of messages, similar var names ignore prefixed with underscore as suggested by chriseth
-
- 31 May, 2017 6 commits
- 30 May, 2017 4 commits
- 29 May, 2017 5 commits
-
-
ninabreznik authored
-
ninabreznik authored
-
ninabreznik authored
-
yann300 authored
-
yann300 authored
-
- 26 May, 2017 1 commit
-
-
ninabreznik authored
-
- 25 May, 2017 1 commit
-
-
ninabreznik authored
-
- 24 May, 2017 5 commits
-
-
soad003 authored
Static Analysis: modules inlineAssembly, blockhash, blocktimestamp, similar variable names, low level calls
-
chriseth authored
Static Analysis: Assembly, Checks Effetct Interaction, Constant Functions without modifiers.
-
soad003 authored
-
chriseth authored
Remove formal verification
-
yann300 authored
-
- 23 May, 2017 2 commits