Daniel Kirchner
|
c7a0f44159
|
Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.
|
2018-08-08 19:02:59 +02:00 |
|
Daniel Kirchner
|
9b4546c487
|
Add workarounds for building against CVC4 on ArchLinux.
|
2018-08-08 19:02:59 +02:00 |
|
Alex Beregszaszi
|
551343ae3e
|
Merge pull request #4665 from mattaereal/cmake-patch-solver
cmake option added to make solvers optional
|
2018-08-08 17:58:01 +01:00 |
|
Alex Beregszaszi
|
9d782cc39c
|
Merge pull request #4770 from ethereum/throw-codegen
Remove code generation for Throw statement
|
2018-08-08 17:55:27 +01:00 |
|
Alex Beregszaszi
|
bb071f3075
|
Merge pull request #4769 from ethereum/inlineasm-overloading-resolution
Provide nicer error message when referencing overloaded references
|
2018-08-08 17:55:10 +01:00 |
|
Alex Beregszaszi
|
a9819aa8bc
|
Remove code generation for Throw statement
It is disallowed in the type system.
|
2018-08-08 17:02:25 +01:00 |
|
Matías Aereal Aeón
|
4b20708c49
|
cmake flags to make solvers optional. Implementation of #4651
|
2018-08-08 12:43:57 -03:00 |
|
Alex Beregszaszi
|
9062704054
|
Merge pull request #4753 from mattaereal/boost-to-string-patch
Replace boost:lexical_cast<std::string> for std::to_string.
|
2018-08-08 16:07:25 +01:00 |
|
Alex Beregszaszi
|
3c791d637d
|
Provide nicer error message when referencing overloaded references
|
2018-08-08 15:59:24 +01:00 |
|
Alex Beregszaszi
|
efeffa8083
|
Merge pull request #4761 from ethereum/libsolc-exceptions
Mark libsolc external C functions as noexcept
|
2018-08-08 15:56:12 +01:00 |
|
Matías Aereal Aeón
|
e902ce1aa0
|
Removing std:: from std::to_string and include for boost/lexical_cast
|
2018-08-08 11:26:30 -03:00 |
|
Alex Beregszaszi
|
863778fe36
|
Merge pull request #4763 from ethereum/remove-experimental-050
Remove experimental 0.5.0 pragma
|
2018-08-08 14:57:51 +01:00 |
|
Alex Beregszaszi
|
1bfb841771
|
Remove experimental 0.5.0 pragma
|
2018-08-08 14:05:36 +01:00 |
|
chriseth
|
de8e9114fd
|
Merge pull request #4740 from ethereum/enforceNumberOfReturnValues
Disallow empty return in function with return arguments.
|
2018-08-08 14:59:09 +02:00 |
|
Alex Beregszaszi
|
fbc8443174
|
Merge pull request #4589 from sifmelcara/fix/dynamic-link-boost-test
Fix shared boost test library build by customizing main
|
2018-08-08 13:53:00 +01:00 |
|
Alex Beregszaszi
|
22461ca939
|
Merge pull request #4528 from guidovranken/propagate_CMAKE_CXX_FLAGS_jsoncpp
Propagate original CMAKE_CXX_FLAGS to jsoncpp compilation
|
2018-08-08 13:28:10 +01:00 |
|
Alex Beregszaszi
|
7bf9526f5e
|
Mark libsolc external C functions as noexcept
These are part of the external C API where leaking through exceptions makes no sense.
|
2018-08-08 13:23:27 +01:00 |
|
Alex Beregszaszi
|
5b4ad10b3c
|
Mark StandardCompiler::compile as noexcept
It has a generic catch statement and shouldn't leak out exceptions.
|
2018-08-08 13:22:40 +01:00 |
|
Christian Parpart
|
b9222808f6
|
Cleanup & polish numbers-with-underscores parsing, also improving tests.
|
2018-08-08 13:38:46 +02:00 |
|
Daniel Kirchner
|
fb0e3b25d0
|
Rename JSONCPP_EXTRA_FLAGS to JSONCPP_CXX_FLAGS, add EMSCRIPTEN workaround and remove obsolete MSVC workaround.
|
2018-08-08 13:17:13 +02:00 |
|
chriseth
|
42447a14eb
|
Merge pull request #4747 from ethereum/enum-docs
Update enum with lifting the restriction for interfaces
|
2018-08-08 12:56:07 +02:00 |
|
chriseth
|
154a7706ba
|
Merge pull request #4737 from ethereum/isoltestEarlyExit
Return from main if quit was requested during a sub-testsuite.
|
2018-08-08 12:55:01 +02:00 |
|
chriseth
|
d0863f4994
|
Merge pull request #4748 from ethereum/validate-identifier
Assert that type identifier contains only valid characters
|
2018-08-08 12:50:45 +02:00 |
|
chriseth
|
fd12c718f6
|
Merge pull request #4745 from ethereum/nameResolverNoEarlyExit
Do not stop after the first error in reference resolution.
|
2018-08-08 12:49:46 +02:00 |
|
chriseth
|
3b2bd2c1df
|
Merge pull request #4749 from elopio/test/yul-simplifier-not-applied
tests: add yul simplifier not applied
|
2018-08-08 12:49:14 +02:00 |
|
Daniel Kirchner
|
99d3e8e45a
|
Add back lost test case to a more reasonable location.
|
2018-08-08 12:48:59 +02:00 |
|
Daniel Kirchner
|
576ba91970
|
Adjust return expressions in compilation tests.
|
2018-08-08 12:48:59 +02:00 |
|
Alex Beregszaszi
|
d2ca9c8206
|
Merge pull request #4754 from Rytiss/patch-1
Fix typo in Solidity name/url in the changelog
|
2018-08-08 11:28:04 +01:00 |
|
Alex Beregszaszi
|
64e3c9913f
|
Merge pull request #4736 from ethereum/removeFillRight
Remove remaining instances of ``fillRight``.
|
2018-08-08 11:27:37 +01:00 |
|
Balajiganapathi S
|
09a36cba02
|
Add stricter hex underscore rules
|
2018-08-08 12:05:51 +02:00 |
|
Balajiganapathi S
|
0000bfc604
|
Allow underscores in numbers.
|
2018-08-08 12:05:51 +02:00 |
|
Rytis Slatkevičius
|
7cc9ab7d72
|
Fix typo in Solidity name/url
|
2018-08-08 12:14:39 +03:00 |
|
Matías Aereal Aeón
|
7dae58cbcc
|
Replace boost:lexical_cast<std::string> for std::to_string.
|
2018-08-08 03:55:43 -03:00 |
|
Leo Arias
|
cf3bf57cb2
|
tests: add yul simplifier not applied
|
2018-08-07 21:58:24 +00:00 |
|
Alex Beregszaszi
|
3064bd17bc
|
Assert that type identifier contains only valid characters
|
2018-08-07 22:29:21 +01:00 |
|
Alex Beregszaszi
|
a99347e9f0
|
Yul grammar: allow multiple $ signs (matches Solidity)
|
2018-08-07 22:16:22 +01:00 |
|
Alex Beregszaszi
|
047561f4ec
|
Update enum with lifting the restriction for interfaces
|
2018-08-07 22:04:21 +01:00 |
|
Alex Beregszaszi
|
4dc3335cda
|
Merge pull request #4744 from ethereum/smt-magic-variable
SMT: do not crash on referencing MagicVariableDeclaration
|
2018-08-07 21:30:14 +01:00 |
|
chriseth
|
43d6a9d763
|
Do not stop after the first error in reference resolution.
|
2018-08-07 22:04:59 +02:00 |
|
chriseth
|
8e93b729a4
|
Merge pull request #4703 from ethereum/solc-fix-double-quoting-path-names
solc: Fixes double-quoting path names on stderr.
|
2018-08-07 21:46:00 +02:00 |
|
Alex Beregszaszi
|
f024efb7ab
|
SMT: do not crash on referencing MagicVariableDeclaration
|
2018-08-07 20:43:20 +01:00 |
|
chriseth
|
4f9d72aa83
|
Merge pull request #4742 from elopio/patch-4
Fix typo
|
2018-08-07 21:39:46 +02:00 |
|
Leo Arias
|
c4a3c48aea
|
Fix typo
|
2018-08-07 13:35:15 -06:00 |
|
Daniel Kirchner
|
967bb6d999
|
Initialize `TestTool::m_formatted`.
|
2018-08-07 21:23:01 +02:00 |
|
Daniel Kirchner
|
bb518b59aa
|
Update and extend tests for return expressions.
|
2018-08-07 20:49:52 +02:00 |
|
Daniel Kirchner
|
cc83e69469
|
Disallow empty return expressions in functions with non-empty return parameters.
|
2018-08-07 20:48:07 +02:00 |
|
Daniel Kirchner
|
a6df7b1fb8
|
Always count all test cases in isoltest and exit early on user request.
|
2018-08-07 19:28:21 +02:00 |
|
Daniel Kirchner
|
b11e39e25e
|
Remove remaining instances of `fillRight` left over from tuple wildcards assignments.
|
2018-08-07 18:51:53 +02:00 |
|
chriseth
|
d7756322c0
|
Merge pull request #4731 from ethereum/interface-enum
Allow enums in interfaces
|
2018-08-07 17:20:05 +02:00 |
|
chriseth
|
901550e473
|
Merge pull request #4692 from ethereum/devcore-path
Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore
|
2018-08-07 16:15:49 +02:00 |
|