cerc-io/solidity
11
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
20,689 Commits 348 Branches 121 Tags
fixedDoc
Commit Graph
10 Commits
Author SHA1 Message Date
Leo Alt 6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02: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
Alex Beregszaszi 9ce01b19b2 Use master branch of solc-js 2019-12-11 16:48:11 +00: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
Erik Kundt 8adde5abbe Migrates solc-js test to ext. test infrastructure. 
solc-js commit: 9d9de6338729cf5fbd62f479d54b7097e8a7e395
 2019-09-25 16:03:08 +02:00