chriseth
|
c123fa26f3
|
Merge pull request #3406 from leonardoalt/smt_checker
SMTChecker: A little refactoring on SSA vars (preparation for Bool)
|
2018-03-01 12:24:11 +01:00 |
|
chriseth
|
cf6720eab5
|
Merge pull request #3587 from OTTTO/develop
Multiline output parameters and return statements
|
2018-03-01 12:07:09 +01:00 |
|
Alex Beregszaszi
|
b6dfd9ef54
|
Ensure that library addresses supplied are of correct length and hex prefixed in JSONIO
|
2018-03-01 12:03:56 +01:00 |
|
Leonardo Alt
|
8b1b4b78c0
|
Fix PR comments
|
2018-02-28 18:31:11 +01:00 |
|
Leonardo Alt
|
cff0836c03
|
Fix PR comments
|
2018-02-28 18:05:20 +01:00 |
|
Leonardo Alt
|
21c6b80fc9
|
Supported types listed in SSAVariable
|
2018-02-28 18:05:20 +01:00 |
|
Leonardo Alt
|
3b2851ee41
|
Integer min and max values placed under SymbolicIntVar instead of SMTChecker
|
2018-02-28 18:05:20 +01:00 |
|
Leonardo Alt
|
f41591b3dd
|
[SMTChecker] A little refactoring on SSA vars
|
2018-02-28 18:05:20 +01:00 |
|
chriseth
|
9e3da89a7a
|
Merge pull request #3607 from izgzhen/complain-unknown-params
stop allow_guessing for command line option parser
|
2018-02-28 17:42:14 +01:00 |
|
chriseth
|
7938339572
|
Merge pull request #3617 from ethereum/jsonio-libraries
Add more comprehensive tests and checks for libraries in JSONIO
|
2018-02-28 17:40:29 +01:00 |
|
chriseth
|
fb8c4bd7c2
|
Merge pull request #3615 from ethereum/test-framework
Simplify contract compilation in the test framework
|
2018-02-28 16:35:22 +01:00 |
|
chriseth
|
22d26e059c
|
Merge pull request #3613 from ethereum/require-visibility
Issue error if no visibility is specified (on 0.5.0)
|
2018-02-28 16:33:39 +01:00 |
|
Alex Beregszaszi
|
7897301b71
|
Properly validate invalid hex characters in JSONIO libraries
|
2018-02-28 10:44:48 +01:00 |
|
Alex Beregszaszi
|
83fec0232d
|
Add more comprehensive tests and checks for libraries in JSONIO
|
2018-02-28 10:36:07 +01:00 |
|
chriseth
|
ac5485a254
|
Merge pull request #3616 from jbaylina/patch-1
I think this example misses a 1.
|
2018-02-28 10:33:50 +01:00 |
|
Jordi Baylina
|
4f34d092ca
|
Update miscellaneous.rst
|
2018-02-28 09:35:07 +01:00 |
|
Zhen Zhang
|
5fd9ea4b2a
|
Stop allow_guessing for command line option parser
|
2018-02-28 09:31:24 +08:00 |
|
Alex Beregszaszi
|
0346f72342
|
Use compileContract in contract tests
|
2018-02-27 20:08:24 +01:00 |
|
Alex Beregszaszi
|
029e19983c
|
Split compileContract off compileAndRunWithoutCheck in SolidityExecutionFramework
|
2018-02-27 20:08:24 +01:00 |
|
chriseth
|
908b46e9a7
|
Merge pull request #3476 from ethereum/scoping
C99/C++ scoping rules
|
2018-02-27 17:06:10 +01:00 |
|
chriseth
|
8899812ff2
|
Disable tests for travis on non-release and non-tag branches.
|
2018-02-27 16:39:03 +01:00 |
|
Alex Beregszaszi
|
a566825589
|
Issue error if no visibility is specified (on 0.5.0)
|
2018-02-27 16:31:53 +01:00 |
|
chriseth
|
6d8dee586c
|
Merge pull request #3612 from ethereum/debian-lsb
Fix install_deps.sh for Debian without lsb_release
|
2018-02-27 16:14:14 +01:00 |
|
Alex Beregszaszi
|
2abc5be7e6
|
Merge pull request #2541 from ethereum/asm-bitshift
Add bit shifting opcodes (EIP145)
|
2018-02-27 14:47:07 +01:00 |
|
Paweł Bylica
|
9a8b0d5726
|
Fix install_deps.sh for Debian without lsb_release
|
2018-02-27 14:34:57 +01:00 |
|
Alex Beregszaszi
|
6512bfbcea
|
Merge pull request #3601 from ethereum/circleParallel
Parallelize tests on circle.
|
2018-02-27 13:54:45 +01:00 |
|
Alex Beregszaszi
|
73c5d99bfa
|
Add basic test for shift opcodes
|
2018-02-27 13:43:04 +01:00 |
|
Alex Beregszaszi
|
317e017849
|
Shift operands were swapped in accepted EIP145
|
2018-02-27 13:43:02 +01:00 |
|
Alex Beregszaszi
|
afa4a48e37
|
Remove ROL/ROR as they are not part of EIP145 anymore
|
2018-02-27 13:42:41 +01:00 |
|
Alex Beregszaszi
|
468d0f6199
|
Warn on using shift instructions
|
2018-02-27 13:42:31 +01:00 |
|
Alex Beregszaszi
|
9e0446a22c
|
Document bitwise shift operators in assembly
|
2018-02-27 13:42:28 +01:00 |
|
chriseth
|
d64aa0eaad
|
Some more scoping tests.
|
2018-02-27 12:41:32 +01:00 |
|
chriseth
|
6391a36a6c
|
Documentation about new scoping rules.
|
2018-02-27 12:41:32 +01:00 |
|
chriseth
|
88a5c66f4a
|
Only active variables at the point of their declaration.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
6b9dda06f3
|
Enable C99-scoping with the 0.5.0-experimental pragma.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
e227bdbfa7
|
Changelog entry.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
0005990382
|
Tests for new scoping behaviour.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
69f5f2eb65
|
Adjust tests.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
e6d48bb72a
|
Blocks and for loops can be scopes.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
5f20129e65
|
Scopes do not have to be declarations.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
53289e15a2
|
Make all lookups recursive by default.
|
2018-02-27 12:17:25 +01:00 |
|
chriseth
|
6a83beaab5
|
Run tests in parallel on circle.
|
2018-02-27 12:08:27 +01:00 |
|
Alex Beregszaszi
|
59e6ea601b
|
Add bitwise shift operators to libevmasm (EIP145)
|
2018-02-27 12:03:18 +01:00 |
|
chriseth
|
9c31a0d8f5
|
Merge pull request #3604 from ethereum/docs-update
Introduce VM version ('hard fork') column for assembly opcodes
|
2018-02-27 11:58:32 +01:00 |
|
Alex Beregszaszi
|
aeb75172d5
|
Fix builtin function formatting in julia
|
2018-02-27 11:16:12 +01:00 |
|
Alex Beregszaszi
|
8cebfb168b
|
Introduce VM version ('hard fork') column for assembly opcodes
|
2018-02-27 11:16:12 +01:00 |
|
Alex Beregszaszi
|
e424bd1007
|
Fix some keyword highlighting in docs
|
2018-02-27 11:12:10 +01:00 |
|
chriseth
|
bffed2c7e4
|
Merge pull request #3603 from ethereum/docs-solcjs
Fix links and clarify the solc-js section
|
2018-02-27 10:32:48 +01:00 |
|
chriseth
|
415ac2ae87
|
Merge pull request #3605 from ethereum/deprecate-throw
Turn throw into a syntax error for 0.5.0
|
2018-02-27 10:22:17 +01:00 |
|
Dax Bondye
|
e34d367593
|
Multiline output parameters and return statements
|
2018-02-26 19:32:55 -08:00 |
|