cerc-io/solidity
10
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
16,343 Commits 348 Branches 121 Tags 100 MiB
solProto
Commit Graph

16343 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bhargava Shastry
537e5b8e6c Generate multiple contract tests per iteration and minor cleanup 2020-04-16 19:06:16 +02:00
Bhargava Shastry
b2c624bf9c Expose base functions for testing even if they hide beneath abstract contract 2020-04-16 13:28:17 +02:00
Bhargava Shastry
7ac8731f47 Merge at least one implemented function in a 2-way merge with an implementation (take 2) 2020-04-16 12:15:03 +02:00
Bhargava Shastry
b38ed7781d Merge at least one implemented function in a 2-way merge with an implementation 2020-04-16 11:25:33 +02:00
Bhargava Shastry
eb3672b522 Bail out when faced with merge involving an implemented contract function with an unimplemented one 2020-04-16 10:46:38 +02:00
Bhargava Shastry
7aa305b487 Retain visibility while merging 2020-04-16 01:59:37 +02:00
Bhargava Shastry
c4b0103dee Call functions only if public/external 2020-04-16 01:44:35 +02:00
Bhargava Shastry
de6095098f Trial contract inheritance test case gen 2020-04-16 01:02:48 +02:00
Bhargava Shastry
4e479518e1 Disable differential fuzzing setup since it is now redundant 2020-04-16 01:02:48 +02:00
Bhargava Shastry
391dbe97d5 WIP 2020-04-16 01:02:48 +02:00
Bhargava Shastry
92590a13f8 WIP 2020-04-16 01:02:48 +02:00
Bhargava Shastry
d07dbdb333 Fix bug in how diamond case is handled 2020-04-16 01:02:48 +02:00
Bhargava Shastry
02b51a133a Second attempt at getting inheritance right 2020-04-16 01:02:48 +02:00
Bhargava Shastry
af64f1de61 Debug info and some fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
efc7198efb Add overridden functions to contract function map 2020-04-16 01:02:48 +02:00
Bhargava Shastry
85b67eba85 Change function numbering 2020-04-16 01:02:48 +02:00
Bhargava Shastry
6b7a279c01 More bug fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
7a12fc9849 More fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
cc3acf39d7 Fixed diamond inheritance bug for interface inheritance case 2020-04-16 01:02:48 +02:00
Bhargava Shastry
01c1adf2a4 Fixed diamond inheritance bug and other minor fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
1b4bdb1996 More clean up and bug fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
89b5ac510b Added prelim support for contract inheritance tests and cleaned up proto converter 2020-04-16 01:02:48 +02:00
Bhargava Shastry
f63552f4ca Added some more contract processing code 2020-04-16 01:02:48 +02:00
Bhargava Shastry
515939670d Made proto spec a bit leaner and started work on contracts 2020-04-16 01:02:48 +02:00
Bhargava Shastry
3ef6e09258 Clean up interface inheritance code 2020-04-16 01:02:48 +02:00
Bhargava Shastry
91786d02b6 CMakeLists adapted 2020-04-16 01:02:48 +02:00
Bhargava Shastry
8973ca3c85 Add adaptor and support library and interface inheritance 2020-04-16 01:02:48 +02:00
Bhargava Shastry
1d533694e5 Add solidity protobuf based inheritance fuzzer 2020-04-16 01:02:48 +02:00
Daniel Kirchner
10879bcae6
Merge pull request #8675 from ethereum/disallowOverrideVirtualConstructor 
Disallow virtual and override for constructors.
 2020-04-15 16:04:24 +02:00
Leonardo
4fbe39b5e6
Merge pull request #8649 from ethereum/tryRight 
Fix error reporting on diff.
 2020-04-15 15:27:35 +02:00
Daniel Kirchner
b86c927505 Disallow virtual and override for constructors. 2020-04-15 13:58:37 +02:00
Daniel Kirchner
95349b3634
Merge pull request #8672 from ethereum/fixYulEmptyTupleAssign 
Fix tuple assignments for empty tuples in Yul IR.
 2020-04-15 12:36:46 +02:00
chriseth
aff1e93caa
Merge pull request #8571 from aarlt/clang-tidy-apply-modernize-pass-by-value 
clang-tidy: Apply modernize-pass-by-value.
 2020-04-15 12:06:25 +02:00
chriseth
703b6efb55
Merge pull request #8515 from imapp-pl/yul-phaser-classic-genetic-algorithm 
[yul-phaser] Classic genetic algorithm
 2020-04-15 12:01:51 +02:00
chriseth
cf2bd41837
Merge pull request #8554 from aarlt/yul_coverage_script 
Add script to determine percentage of tests compilable via Yul.
 2020-04-15 11:58:57 +02:00
Daniel Kirchner
0c5c93f3c2 Fix tuple assignments for empty tuples in Yul IR. 2020-04-15 11:10:52 +02:00
Daniel Kirchner
cbd90f8d12
Merge pull request #8673 from ethereum/fixProofsCI 
Use latest docker image for chk_proofs and t_ems_solcjs CI runs.
 2020-04-15 11:10:23 +02:00
Daniel Kirchner
c6c2d7174d Use latest docker image for chk_proofs and t_ems_solcjs CI runs. 2020-04-15 10:12:35 +02:00
chriseth
d3aa69e8bd
Merge pull request #8652 from esaulpaugh/develop 
clarify description of padding for int<M> types
 2020-04-14 19:13:40 +02:00
chriseth
25b0df3dde
Merge pull request #8246 from ethereum/yul-codegen-trycatch 
Sol-to-Yul codegen for try-catch statement
 2020-04-14 19:08:02 +02:00
Christian Parpart
d00d3c45b1 [Sol2Yul] Implements codegen part for try/catch statements. 2020-04-14 18:42:37 +02:00
Christian Parpart
3b83365b42 [libsolidity] TryStatement: Adding AST accessors for success/structured/fail clauses. 2020-04-14 18:39:08 +02:00
Alexander Arlt
aac7a1e434 Apply modernize-pass-by-value. 2020-04-14 10:32:13 -05:00
chriseth
79a44b8170
Merge pull request #8631 from ethereum/typingRefactoring 
Extract typing from reference resolving.
 2020-04-14 13:55:56 +02:00
Daniel Kirchner
c47714f0ba Update ASTJSON tests that fail to compile. 2020-04-14 10:59:28 +02:00
Daniel Kirchner
3af43fd350 Extract typing. 2020-04-14 10:59:28 +02:00
Leonardo
accd8d7667
Merge pull request #8639 from ethereum/smt_tuple_sort 
[SMTChecker] Add and use tuple sort
 2020-04-14 10:01:55 +02:00
Evan Saulpaugh
1a67b86f24
clarify description of padding for int<M> types 2020-04-10 02:23:13 -05:00
Evan Saulpaugh
1ef24562a9
change positive to non-negative 2020-04-10 02:17:57 -05:00
Leonardo
333322ebf4
Merge pull request #8648 from ethereum/fix32bitfailure 
Fix 32 bit build failure.
 2020-04-09 20:25:07 +02:00