chriseth
|
70896deb67
|
Update version and changelog.
|
2019-01-22 16:46:25 +01:00 |
|
chriseth
|
43fb38a84e
|
Update changelog for release.
|
2019-01-22 09:04:18 +01:00 |
|
Leonardo Alt
|
7f8ceaadab
|
[SMTChecker] Clear state knowledge after external function calls
|
2019-01-21 12:58:40 +01:00 |
|
chriseth
|
f8e9aed839
|
Merge pull request #5717 from ethereum/smt_typecast
[SMTChecker] Support basic typecast without truncation
|
2019-01-21 12:35:07 +01:00 |
|
Daniel Kirchner
|
610ef9f199
|
Disallow calldata structs.
|
2019-01-21 10:30:57 +01:00 |
|
Daniel Kirchner
|
870b656eda
|
Split up rule list generation further to prevent issues in browsers with the emscripten build.
|
2019-01-18 17:02:47 +01:00 |
|
chriseth
|
2ec997e697
|
Merge pull request #5775 from ethereum/codeAccess
Provide access to code of contract types.
|
2019-01-18 00:16:06 +01:00 |
|
chriseth
|
0b14d7a2d6
|
Merge pull request #5807 from ethereum/fixed_point_encoding
Return TypeError is fixed point encoding is attempted.
|
2019-01-17 23:47:07 +01:00 |
|
chriseth
|
2a92403690
|
Changelog entry.
|
2019-01-17 20:37:34 +01:00 |
|
Daniel Kirchner
|
5baac8470b
|
Use emscripten 1.38.8 on both travis and circle.
|
2019-01-17 18:31:34 +01:00 |
|
Leonardo Alt
|
c96b760c47
|
Return TypeError is fixed point encoding is attempted.
|
2019-01-17 13:36:53 +01:00 |
|
Daniel Kirchner
|
1f06a94b5d
|
Add missing Changelog entries for Yul switch changes.
|
2019-01-17 13:02:01 +01:00 |
|
Leonardo Alt
|
a10db051de
|
[SMTChecker] Support basic typecast
|
2019-01-16 13:00:54 +01:00 |
|
Daniel Kirchner
|
0dfd4a726e
|
Warn about unreachable code.
|
2019-01-10 10:36:50 +01:00 |
|
chriseth
|
937fc8538e
|
Changelog entry.
|
2019-01-07 17:23:38 +01:00 |
|
chriseth
|
ef8a67919f
|
Set version to 0.5.3
|
2018-12-20 07:25:52 +01:00 |
|
chriseth
|
9eeace3e37
|
Update changelog for release.
|
2018-12-19 17:02:58 +01:00 |
|
chriseth
|
900d100700
|
Changelog entry.
|
2018-12-19 14:59:29 +01:00 |
|
Mathias Baumann
|
c43d96f2bf
|
Json: Provide better error messages for wrong types
|
2018-12-18 18:36:50 +01:00 |
|
chriseth
|
4e475cdbe9
|
Merge pull request #5625 from ethereum/single-check
Do check for callvalue only once if no payable functions
|
2018-12-18 11:36:58 +01:00 |
|
Mathias Baumann
|
1b8570f829
|
Only generate sort/search code when interface functions exist
|
2018-12-17 21:24:37 +01:00 |
|
chriseth
|
7b1a6798e6
|
Remove support for Visual Studio 2015.
|
2018-12-17 18:56:23 +01:00 |
|
chriseth
|
6e205cc4e3
|
Merge pull request #5624 from ethereum/standard_json_unknown_keys
Disallow unknown JSON keys in standard-json
|
2018-12-13 09:58:34 +01:00 |
|
chriseth
|
e85c3428b4
|
Merge pull request #5634 from ethereum/staticPPA
Replace trusty PPA build by static PPA build.
|
2018-12-12 18:43:08 +01:00 |
|
Daniel Kirchner
|
e00dfd8ae2
|
Update changelog and release checklist.
|
2018-12-12 17:53:31 +01:00 |
|
Leonardo Alt
|
8cd2ac8462
|
Disallow unknown JSON keys in standard-json
|
2018-12-12 17:32:42 +01:00 |
|
chriseth
|
87237281bf
|
Merge pull request #5630 from ethereum/warn_functions_empty_body
Supress unused var and state mut warnings for functions with empty body
|
2018-12-12 17:00:50 +01:00 |
|
Leonardo Alt
|
8c49d86e6b
|
Changelog entry
|
2018-12-12 14:43:44 +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 |
|
chriseth
|
fb3a0ac1c7
|
Codegen for object access.
|
2018-12-11 19:24:44 +01:00 |
|
chriseth
|
9f86ede32d
|
Merge pull request #5454 from ethereum/smt_math_functions
[SMTChecker] Abstract math functions
|
2018-12-11 18:35:10 +01:00 |
|
Leonardo Alt
|
08737e43dc
|
[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions
|
2018-12-11 11:28:25 +01:00 |
|
chriseth
|
ead13b1d21
|
Changelog entry.
|
2018-12-10 17:11:48 +01:00 |
|
Erik Kundt
|
b2afb8cdda
|
Adds an additional message to failing type conversions.
|
2018-12-07 11:55:53 +01:00 |
|
chriseth
|
fb805ccca6
|
Changelog entry.
|
2018-12-06 14:51:25 +01:00 |
|
chriseth
|
d829794737
|
Improve yul error messages around number of arguments and variables.
|
2018-12-04 11:37:03 +01:00 |
|
chriseth
|
e7a0edbd97
|
Set version to 0.5.2.
|
2018-12-03 16:38:26 +01:00 |
|
chriseth
|
8d623dcca1
|
Massage changelog for 0.5.1
|
2018-12-03 14:16:34 +01:00 |
|
chriseth
|
eed353a367
|
Merge pull request #5558 from anurag-git/issue_5130
Fix internal compiler error for unimplemented base contract function.
|
2018-12-03 12:41:25 +01:00 |
|
chriseth
|
1502449b85
|
Add solc-js changes.
|
2018-12-03 12:30:08 +01:00 |
|
Anurag Dashputre
|
82f5763e7a
|
Fix internal compiler error for unimplemented base contract function.
|
2018-12-03 12:25:31 +01:00 |
|
chriseth
|
4b98946e5a
|
Merge pull request #5341 from ethereum/optimizeAssemblyCommandline
Apply the optimize commandline parameter to assembly mode.
|
2018-12-03 11:52:48 +01:00 |
|
chriseth
|
0668a9ecfb
|
Public state variables are implementing external functions.
|
2018-12-03 10:46:03 +01:00 |
|
chriseth
|
6c44c5f0c9
|
Apply the optimize commandline parameter to assembly mode.
|
2018-11-30 23:39:05 +01:00 |
|
chriseth
|
17a703f71a
|
Changelog entry.
|
2018-11-30 16:30:31 +01:00 |
|
chriseth
|
d6d41b2bc7
|
Merge pull request #5548 from ethereum/fixMemberAccess
Fix bug related to state variables of function type accessed via base contract.
|
2018-11-30 09:26:08 +01:00 |
|
chriseth
|
c445e7dfa4
|
Disallow inline arrays of mapping type.
|
2018-11-29 19:45:06 +01:00 |
|
chriseth
|
73a64da041
|
Fix bug related to state variables of function type accessed via base contract.
|
2018-11-29 19:30:27 +01:00 |
|
Leonardo Alt
|
67bbcefe6c
|
Report deprecation error on functions sha3 and suicide also without call.
|
2018-11-29 14:29:13 +01:00 |
|
Leonardo Alt
|
1d47919c0c
|
Fix ICE when function type struct parameter has field of non-existent type
|
2018-11-29 10:38:47 +01:00 |
|