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
21,293 Commits 348 Branches 121 Tags 100 MiB
cede36930d
Commit Graph

24 Commits

Author SHA1 Message Date
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
hrkrshnn
7438c4dc16 Tests after making all explicit address conversions as non-payable 2020-12-14 18:46:01 +01:00
hrkrshnn
88c99a7538 Tests/Docs: changing type of msg.sender and tx.origin into address 
And also making the type of address(literal) as non-payable address.
 2020-12-14 16:55:48 +01:00
Kamil Śliwak
8080be9445 external test scripts: Replace global $SOLJSON variable with a parameter 2020-12-03 22:17:44 +01:00
Kamil Śliwak
0a29218848 external test scripts: Quote variables properly 2020-12-03 22:17:44 +01:00
Leonardo Alt
23ee011c56 [SMTChecker] Fix imports 2020-09-11 13:34:46 +02:00
chriseth
9743390a53 Update tests. 2020-07-07 12:16:18 +02:00
Harikrishnan Mulackal
92cf61d4f9 fixed compilation tests and upgraded ext. tests branch 2020-05-05 21:11:15 +05:30
hrkrshnn
bd0b06e8db Tests, Docs and Changelog 2020-04-28 16:03:52 +05:30
Alex Beregszaszi
9ce01b19b2 Use master branch of solc-js 2019-12-11 16:48:11 +00:00
Erik Kundt
1de27e0830 Adjusts solc-js DAO contracts to breaking natspec change. 2019-12-09 17:28:57 +01:00
Daniel Kirchner
c1505d3f44 Fix solc-js tests. 2019-12-03 10:53:11 +01:00
Erik Kundt
f13fa7ed82 Adjusts solc-js test to earlier override of soljson. 2019-12-02 18:10:39 +01:00
Alex Beregszaszi
1a4ee4ea34 Revert "Run solc-js tests against callback-context [REMOVE]" 
This reverts commit 3133544313.
 2019-11-26 19:11:11 +01:00
Alex Beregszaszi
3133544313 Run solc-js tests against callback-context [REMOVE] 2019-11-22 11:50:13 +00:00
Leonardo Alt
ddc478e3e4 Add CallbackKind and use it for the SMT solver 2019-11-21 22:10:21 +00:00
Alex Beregszaszi
65d4b82cbf Fix DAO test after recent solc-js updates 
Updates on the "master_060" branch of solc-js removed the backwards compatibility.
 2019-11-21 14:16:57 +00:00
Mathias Baumann
5b8ff78176 Implement virtual keyword 2019-11-14 11:49:39 +01:00
cd10012
16fe59b7b4 Implement @erak review notes by creating function and adding constructor test 
Update 060 doc with natspec change

Add two more tests with mixed usage

Fix solc-js

fix changelog
 2019-11-06 21:44:59 +01:00
Daniel Kirchner
3321fc56ea Split fallback function and introduce "fallback()" and "receive()" syntax. 2019-11-04 17:17:58 +01:00
Alexander Arlt
cd3ad73b5a Update tests. 2019-11-01 14:54:47 -05:00
Mathias Baumann
6c6a9054b2 Implement override checking 2019-10-30 17:31:33 +01:00
Erik Kundt
e4f0414391 Updates solc-js test to 0.6.0. 2019-09-25 16:03:14 +02:00
Erik Kundt
8adde5abbe Migrates solc-js test to ext. test infrastructure. 
solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395
 2019-09-25 16:03:08 +02:00