cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
8,403 Commits 348 Branches 121 Tags 100 MiB
78c2dcacec
Commit Graph

8403 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
78c2dcacec Merge pull request #2790 from elopio/snap-z3 
Add libz3-dev to the snap build-packages
 2017-08-24 10:41:11 +02:00
chriseth
77f8d6f1e9 Merge pull request #2791 from ethereum/cmake-z3 
CMake: Fix FindZ3
 2017-08-24 10:40:40 +02:00
Paweł Bylica
5831b048c0
CMake: Fix FindZ3 2017-08-24 08:31:51 +02:00
Leo Arias
940ec4b353 Add libz3-dev to the snap build-packages 2017-08-24 06:20:35 +00:00
Alex Beregszaszi
957f23a9f4 Merge pull request #2538 from ethereum/z3Conditions 
z3 conditions
 2017-08-24 00:27:09 +01:00
Alex Beregszaszi
ee8fa886cc Merge pull request #2782 from ethereum/externalTests 
Add external tests.
 2017-08-23 23:57:04 +01:00
Alex Beregszaszi
a0d515c1a7 Keep REPO_ROOT as absolute path 2017-08-23 23:07:18 +01:00
chriseth
e8d1658b58 Add external tests. 2017-08-23 21:11:03 +01:00
Alex Beregszaszi
e7832eccf4 Merge pull request #2783 from ethereum/cmake-dead-code 
CMake: Remove unused scripts
 2017-08-23 21:10:21 +01:00
Paweł Bylica
b0c78eaee8 Merge pull request #2784 from ethereum/cmake-3.0 
Fix CMake 3.0 compatibility
 2017-08-23 22:09:07 +02:00
Paweł Bylica
d57e3d7f72
CMake: Explicitly ask for Boost.System library 2017-08-23 17:59:48 +02:00
Paweł Bylica
ee09a06647
CMake: Add back compatibility with CMake 3.0 2017-08-23 17:54:53 +02:00
chriseth
cf5e1d6120 Review changes. 2017-08-23 17:37:35 +02:00
chriseth
8853183d06 Changelog entry. 2017-08-23 17:37:35 +02:00
chriseth
c93f0434cd Use experimental feature pragma for SMT checker. 2017-08-23 17:37:35 +02:00
chriseth
75f09f2a84 Partial support for if statements. 2017-08-23 17:37:35 +02:00
chriseth
5bfd5d98c1 Format numbers more nicely. 2017-08-23 17:37:35 +02:00
chriseth
1e05ebe50e Refactor Z3 read callback. 2017-08-23 17:37:35 +02:00
chriseth
9ac2ac14c1 Rename read file callback. 2017-08-23 17:37:35 +02:00
chriseth
ab5e3a8f6d Introduce native Z3 support. 2017-08-23 17:37:35 +02:00
chriseth
4cea3d4aa4 Insert abstraction layer. 2017-08-23 17:37:35 +02:00
chriseth
c9cf24458b Prepare build system for Z3. 2017-08-23 17:37:35 +02:00
Paweł Bylica
b9015f0fb6
CMake: Remove unused scripts 2017-08-23 17:25:29 +02:00
chriseth
b3f8ed457a Cleanup. 2017-08-23 14:24:30 +02:00
chriseth
39fc798999 Use file to communicate with z3. 2017-08-23 14:24:05 +02:00
chriseth
df848859da Rewrite using SMTLIB2 interface. 2017-08-23 14:24:05 +02:00
chriseth
1ece7bf443 z3 conditions 2017-08-23 14:24:04 +02:00
Alex Beregszaszi
3b07c4d38e Merge pull request #2757 from ethereum/cmake 
Static linking
 2017-08-23 12:36:24 +01:00
chriseth
c5f11d938f Merge pull request #2656 from ethereum/performance1 
Avoid some Json copy operations.
 2017-08-23 13:26:43 +02:00
Paweł Bylica
09628dee8c
docs: Add a note about CMake options 2017-08-22 22:50:25 +02:00
Paweł Bylica
388fc983fa
CMake: Cleanup "local" include path 2017-08-22 22:50:25 +02:00
Paweł Bylica
4974ff3962
CMake: Add option to static link solc 2017-08-22 22:50:25 +02:00
Alex Beregszaszi
0ffc5db82b Merge pull request #2762 from ethereum/statemutability-view 
Introduce view state-mutability (keep constant as alias)
 2017-08-22 19:09:35 +01:00
Alex Beregszaszi
b1cdf81506 Document view functions 2017-08-22 18:25:46 +01:00
Alex Beregszaszi
70bb1e7478 Update tests for view 2017-08-22 18:24:22 +01:00
Alex Beregszaszi
9e8d2a561f Update grammar with view 2017-08-22 18:24:22 +01:00
Alex Beregszaszi
efe4d68a7b Introduce view (and keep constant as an alias) 2017-08-22 18:24:22 +01:00
Paweł Bylica
15fd43f035
CMake: Fix linking with pthread 2017-08-22 16:45:57 +02:00
chriseth
210b4870a8 Merge pull request #2775 from ethereum/coverity 
Fix some issues found by Coverity
 2017-08-22 15:39:50 +02:00
Alex Beregszaszi
badb269502 Merge pull request #2776 from ethereum/removeVisitsToAbstractASTNode 
Remove visits to abstract AST class TypeName.
 2017-08-22 14:34:55 +01:00
chriseth
9b6caa3fc4 Remove visits to abstract AST class TypeName. 2017-08-22 15:12:38 +02:00
Alex Beregszaszi
f2d6226718 Some smaller issues found by Covertiy Scan 2017-08-22 13:55:28 +01:00
Alex Beregszaszi
f38429fef8 Switch stream properties back after temporary modification 2017-08-22 13:55:01 +01:00
Alex Beregszaszi
97169e58ae Merge pull request #2734 from ethereum/reject-create-interface 
Reject the creation of interface with the new statement
 2017-08-22 12:11:37 +01:00
chriseth
f874fc28d1 Merge pull request #2772 from ethereum/cppcheck 
Improvements found by Cppcheck (const/static functions and explicit constructors)
 2017-08-22 12:43:19 +02:00
chriseth
7b0046a9aa Check inheritance specifier arguments for interfaces. 2017-08-22 11:39:50 +01:00
Alex Beregszaszi
9897c56b2c Mark a lot of functions static (where possible) 2017-08-22 10:51:46 +01:00
Alex Beregszaszi
2a5772cff7 Mark appropriate constructors explicit 2017-08-22 10:51:46 +01:00
Alex Beregszaszi
3cf2426e1a Make vector+vector template more readable 2017-08-22 10:51:46 +01:00
Alex Beregszaszi
e2cfc9ee92 Mark a lot of functions const (where possible) 2017-08-22 10:51:46 +01:00