Lefteris Karapetsas
40cfcd40d7
Fix the build - library is not a module
...
The Module::Object rule is something only eth_use() and friends can
understand. target_link_libraries() on the other hand needs only the
actual library object to link to.
2015-12-04 10:11:09 +01:00
Bob Summerwill
2a49857ff9
Alternative case-consistency fix for libsolidity. Just using fully-qualified scoped name in eh_use instead.
2015-12-03 10:15:27 -08:00
Bob Summerwill
d15e9a172d
Corrected case for Solidity library entry in CMake file.
2015-12-03 00:17:35 -08:00
chriseth
c806b9bcdb
Merge pull request #246 from chriseth/refactor
...
Refactoring - more flexible contracts.
2015-11-26 17:40:40 +01:00
chriseth
4aaa150674
Convert filter to template function.
2015-11-26 17:28:44 +01:00
chriseth
cc2df5f9f2
Invalidate cached members if scope changes.
2015-11-26 15:37:55 +01:00
chriseth
2e4f4e3363
Fix smart pointer lifetime issue in tests.
2015-11-26 15:37:55 +01:00
chriseth
b47d593252
Do not store elements of a contract by AST node type.
2015-11-26 15:37:55 +01:00
chriseth
86495dfc57
Make members context-sensitive.
2015-11-26 15:37:55 +01:00
chriseth
c498dcce22
Merge pull request #222 from chriseth/newArrays
...
Dynamically create memory arrays.
2015-11-26 15:28:28 +01:00
chriseth
e06768e8b5
Fix MSVC errors and warnings.
2015-11-26 14:47:28 +01:00
chriseth
6a2a946200
Make some functions const.
2015-11-26 13:44:09 +01:00
chriseth
879844dd0a
Code generation for creating arrays.
2015-11-26 13:10:12 +01:00
chriseth
bf55aa6ae2
Type checking for creating new arrays.
2015-11-26 13:10:12 +01:00
chriseth
30b325fdc1
Allow "new expressions" also for general type names.
...
Breaking change: If you want to send value with a contract creation, you
have to use parentheses now:
`(new ContractName).value(2 ether)(arg1, arg2)`
2015-11-26 13:10:12 +01:00
chriseth
cd94aa978a
Merge pull request #249 from chriseth/fixemscripten
...
Fix solidity dependencies.
2015-11-26 13:09:44 +01:00
chriseth
f86451cd68
Fix solidity dependencies.
2015-11-26 12:40:15 +01:00
chriseth
b49b268600
Merge pull request #239 from chriseth/why3Fix
...
Again some why3 fixes with regards to separators in blocks.
2015-11-26 11:52:57 +01:00
chriseth
20542d1623
Style.
2015-11-25 14:24:00 +01:00
chriseth
36ba7d11ca
Again some why3 fixes with regards to separators in blocks.
2015-11-25 14:24:00 +01:00
chriseth
ce1e73a734
Merge pull request #245 from chriseth/buildfixes
...
Build dependency fixes.
2015-11-25 14:03:29 +01:00
Gav Wood
8d16c6e9e8
Merge pull request #248 from ethereum/hot_gav
...
Fixups for new API.
2015-11-24 20:15:59 +01:00
chriseth
aa8e9e66ed
Merge pull request #244 from chriseth/fix_stringAlloc
...
Fix for memory allocation bug.
2015-11-24 16:18:41 +01:00
chriseth
46bc70e709
Build dependency fixes.
2015-11-24 16:12:42 +01:00
chriseth
68f1da1e3a
Fixed string inside struct allocation bug.
2015-11-24 14:54:37 +01:00
chriseth
588e4232eb
Test for allocation bug.
2015-11-24 14:54:18 +01:00
chriseth
e59b9b445a
Merge pull request #241 from chriseth/why3VariablesInConditions
...
Why3 variables in conditions
2015-11-24 11:33:35 +01:00
chriseth
10fe0a2434
Style.
2015-11-23 16:30:51 +01:00
Gav Wood
4a1b22f043
Merge remote-tracking branch 'orig/develop' into hot_gav
2015-11-23 12:44:41 +01:00
Gav Wood
2554d6104a
Merge pull request #236 from ethereum/hot_gav
...
Fix up for new API from EIP-1.1.
2015-11-23 12:42:28 +01:00
chriseth
806507d5c0
addmod and mulmod for why3.
2015-11-23 00:58:17 +01:00
chriseth
82a6ab486d
Why3: Direct references to variables using #.
2015-11-23 00:58:17 +01:00
Gav Wood
bff172cf65
Fix up for new API from EIP-1.1.
2015-11-21 14:34:21 +01:00
Gav Wood
58110b27c1
Merge remote-tracking branch 'origin/hot_gav' into develop
2015-11-20 00:06:58 +01:00
Gav Wood
9997aac163
Fix solidity tests.
2015-11-20 00:06:02 +01:00
chriseth
284d8f8b13
Merge pull request #229 from chriseth/fv_storage_types
...
Formal Verification: State variables.
2015-11-19 13:16:23 +01:00
chriseth
8dfc964e7d
Merge pull request #227 from chriseth/addmod
...
Addmod and mulmod.
2015-11-19 13:16:13 +01:00
Gav Wood
3be0ae6e2c
Merge pull request #204 from ethereum/hot_gav
...
The Big Refactor
2015-11-19 12:20:46 +01:00
Gav Wood
938b6793f1
Minor API change - must provide SealEngine to Executive now.
2015-11-19 10:19:53 +01:00
chriseth
12f19fa46b
Formal Verification: State variables.
2015-11-19 02:04:33 +01:00
chriseth
0cf8d022ae
Addmod and mulmod.
2015-11-18 17:12:39 +01:00
chriseth
b4e666ccf4
Merge pull request #221 from chriseth/version
...
Increment version to 0.1.7
2015-11-17 16:09:29 +01:00
chriseth
b00e916776
Increment version to 0.1.7
2015-11-17 15:16:30 +01:00
chriseth
f4de369bad
Merge pull request #218 from chriseth/fix_overwriteMemory
...
Fix memory overwrite problem for arrays.
2015-11-17 14:46:19 +01:00
chriseth
28c3f1839b
Merge pull request #216 from chriseth/dynamic_indexed_event_args
...
Fix dynamic indexed event arguments - applies sha3.
2015-11-17 14:46:00 +01:00
chriseth
6411bf0026
Merge pull request #214 from chriseth/fix_optimizerTest
...
Test fix: Do not increment iterator past end.
2015-11-17 10:57:18 +01:00
chriseth
f63eca46fa
Merge pull request #213 from chriseth/fix_testLeak
...
Fix segfault during test.
2015-11-17 10:57:07 +01:00
Gav Wood
ad249e5787
Fix tests for new API.
2015-11-16 21:00:05 +01:00
chriseth
0c900f9b8a
Fix memory overwrite problem for arrays.
2015-11-16 18:32:21 +01:00
chriseth
a35f91816b
Fix dynamic indexed event arguments - applies sha3.
2015-11-16 17:09:09 +01:00
