chriseth
|
3ca6738114
|
Add assert about source location.
|
2018-05-16 03:52:24 +02:00 |
|
chriseth
|
6c8f78fb8f
|
Update documentation for multi variable declaration statement.
|
2018-05-16 03:52:24 +02:00 |
|
chriseth
|
c781baf733
|
Add tests for multi variable declaration statement.
|
2018-05-16 03:52:24 +02:00 |
|
chriseth
|
67d208d144
|
Parse multi variable declaration statement.
|
2018-05-16 03:22:45 +02:00 |
|
chriseth
|
2ba0002998
|
Merge pull request #4139 from ethereum/abiEncodeIsPure
ABI encoding functions are pure and should be usable in constants.
|
2018-05-15 16:59:48 +02:00 |
|
chriseth
|
007ecc849c
|
Merge pull request #4142 from aarlt/osx-clang-stack
cmake/EthCompilerSettings.cmake: increase stacksize for apple clang
|
2018-05-15 16:57:03 +02:00 |
|
chriseth
|
1dca54244b
|
Merge pull request #4143 from aarlt/jsoncpp-system-header
Mark jsoncpp-headers as system headers
|
2018-05-15 16:34:26 +02:00 |
|
Alexander Arlt
|
89f790c3ab
|
Mark jsoncpp-headers as system headers
|
2018-05-15 15:14:59 +02:00 |
|
Alexander Arlt
|
4aed41d9b6
|
cmake/EthCompilerSettings.cmake: increase stacksize for apple clang
- normally 16MB is enough to run all tests, but it will exceed the stack, if -DSANITIZE=address is used.
|
2018-05-15 15:11:38 +02:00 |
|
chriseth
|
63861aac4a
|
Merge pull request #3947 from ethereum/smt_storage
[SMTChecker] Support to integer and Bool storage vars
|
2018-05-15 14:54:41 +02:00 |
|
chriseth
|
dac0029d16
|
ABI encoding functions are pure and should be usable in constants.
|
2018-05-15 14:45:54 +02:00 |
|
chriseth
|
dce6224052
|
Merge pull request #4062 from ethereum/revert-variable
Fix revert with reason coming from a string variable
|
2018-05-15 14:44:39 +02:00 |
|
chriseth
|
b8b460994f
|
Merge pull request #3953 from ethereum/noemscriptentestsontravis
Do not run emscripten tests on travis.
|
2018-05-15 14:41:14 +02:00 |
|
Leonardo Alt
|
a0b42105e4
|
Testing state vars that are declared after functions that use them
|
2018-05-15 14:28:08 +02:00 |
|
Leonardo Alt
|
4117e859eb
|
[SMTChecker] Declaring all state vars before any function is visited
|
2018-05-15 14:28:08 +02:00 |
|
Leonardo Alt
|
2dbb35d4a8
|
[SMTChecker] Support to integer and Bool storage vars
|
2018-05-15 14:22:50 +02:00 |
|
chriseth
|
267b605fcd
|
Merge pull request #4133 from ethereum/addRequirements
Add requirements.txt for readthedocs.
|
2018-05-14 22:18:14 +02:00 |
|
chriseth
|
20d67c0fce
|
Add requirements.txt for readthedocs.
|
2018-05-14 22:17:27 +02:00 |
|
chriseth
|
8c261e73a5
|
Merge pull request #4132 from ethereum/useAbsPathInLexerImport
Do not depend on where build is run.
|
2018-05-14 22:01:45 +02:00 |
|
chriseth
|
2f4faef606
|
Do not depend on where build is run.
|
2018-05-14 21:59:35 +02:00 |
|
chriseth
|
7f97995e11
|
Merge pull request #4057 from ethereum/cfg
Control flow graph for uninitialized storage return detection.
|
2018-05-14 21:05:50 +02:00 |
|
chriseth
|
8f17f7219a
|
Merge pull request #3238 from ethereum/julia-specs
Add logic builtins to Julia and update type conversion prototypes
|
2018-05-14 20:43:16 +02:00 |
|
Daniel Kirchner
|
d7d71a14df
|
Add Changelog entry.
|
2018-05-14 20:23:40 +02:00 |
|
Daniel Kirchner
|
56238ab1ec
|
Add test for default location.
|
2018-05-14 20:23:40 +02:00 |
|
Daniel Kirchner
|
16e966dea0
|
Add control flow analyzer and test for uninitialized storage returns.
|
2018-05-14 20:23:40 +02:00 |
|
Daniel Kirchner
|
995623f0fa
|
Add control flow graph.
|
2018-05-14 20:23:40 +02:00 |
|
chriseth
|
ab63ab1cbb
|
Merge pull request #4093 from ethereum/prepareDropConstantKeyword
Prepare drop constant keyword.
|
2018-05-14 12:47:07 +02:00 |
|
chriseth
|
b5354f1e87
|
Merge pull request #4127 from sifmelcara/fix/boost-get-check
Fix wrong template parameter passed to boost::get
|
2018-05-14 12:13:45 +02:00 |
|
chriseth
|
7a669b39ed
|
Merge pull request #4120 from sifmelcara/fix/shared-boost
Fix link error when linking to boost shared library
|
2018-05-14 11:19:55 +02:00 |
|
mingchuan
|
c4ac825324
|
Fix wrong template parameter passed to boost::get
|
2018-05-14 11:30:18 +08:00 |
|
chriseth
|
43803b1a51
|
Merge pull request #4095 from arun1595/macos-terminal-color
Use xterm instead of dumb terminal
|
2018-05-11 13:00:17 +02:00 |
|
Daniel Kirchner
|
9b7ded2f78
|
Remove "view"'s in end-to-end tests that will result in errors in 0.5.0.
|
2018-05-11 11:01:06 +02:00 |
|
mingchuan
|
dbd0a7ed60
|
Fix link error when using boost shared library
|
2018-05-11 11:20:19 +08:00 |
|
chriseth
|
85d417a8c2
|
Merge pull request #4114 from ethereum/asm-assert
Assert that mandatory fields in the AST are present in AsmAnalysis
|
2018-05-10 22:12:08 +02:00 |
|
Arun Kumar
|
0f3096b6ef
|
Add TERM environment variable for all jobs
|
2018-05-10 07:43:08 -05:00 |
|
Alex Beregszaszi
|
e96bbe70d4
|
Assert that mandatory fields in the AST are present in AsmAnalysis
|
2018-05-10 10:48:48 +02:00 |
|
Alex Beregszaszi
|
bfb6b0b464
|
Merge pull request #4110 from ethereum/fewerlesscorrection
Less-fewer-correction.
|
2018-05-09 17:45:56 +01:00 |
|
chriseth
|
6191bef76a
|
Less-fewer-correction.
|
2018-05-09 18:04:57 +02:00 |
|
Alex Beregszaszi
|
c03a29dea8
|
Fix revert with reason coming from a string variable
|
2018-05-09 17:53:17 +02:00 |
|
Alex Beregszaszi
|
f753dda337
|
Describe rule for type conversion functions in Julia
|
2018-05-09 17:04:11 +02:00 |
|
Alex Beregszaszi
|
af0d73f77d
|
Remove stop() as it is the same as return(0,0) in Julia sepcs
|
2018-05-09 17:04:11 +02:00 |
|
Alex Beregszaszi
|
63c81bc0d4
|
Add logic builtins to Julia and fix some typos
|
2018-05-09 17:04:11 +02:00 |
|
Alex Beregszaszi
|
868d449c38
|
Merge pull request #4047 from ethereum/refactorToMulti
Refactor to allow implementing multi variable declarations.
|
2018-05-09 15:37:19 +01:00 |
|
Daniel Kirchner
|
bc47265b3f
|
Replace constant with view in the tests.
|
2018-05-09 15:07:47 +02:00 |
|
Daniel Kirchner
|
5cbe3e1a50
|
Replace constant with view in std/ contracts.
|
2018-05-09 15:06:47 +02:00 |
|
Daniel Kirchner
|
1a014f83cc
|
Prefer view over constant in the documentation.
|
2018-05-09 15:06:47 +02:00 |
|
Alex Beregszaszi
|
2c3f57bec6
|
Merge pull request #4104 from ethereum/parserErrorSourceLocations
Proper source locations for parser errors.
|
2018-05-09 14:06:30 +01:00 |
|
chriseth
|
fe8f38a7a4
|
Assert integrity of empty IndexAccessPath structure.
|
2018-05-09 14:55:36 +02:00 |
|
Alex Beregszaszi
|
6b0b676c32
|
Merge pull request #4102 from ethereum/signedRightShiftTests
Add more tests for right shifts.
|
2018-05-09 13:44:52 +01:00 |
|
Alex Beregszaszi
|
c80c422bfe
|
Merge pull request #4100 from ethereum/julia-exceptions
Avoid using solAssert in libjulia
|
2018-05-09 13:43:09 +01:00 |
|