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
21,906 Commits 348 Branches 121 Tags
fuzzCombinedSolver
Commit Graph
431 Commits
Author SHA1 Message Date
chriseth f14b7598c7 Only list used source names. 2021-09-06 18:33:05 +02:00
chriseth 5caa15879b Allow and require use-src to be repeated for each object. 2021-09-02 11:29:42 +02:00
Leo Alt 4d414a6d58 Update commandline tests 2021-08-27 16:25:09 +02:00
Leo Alt facc66997b Update existing CLI tests 2021-08-25 21:10:08 +02:00
chriseth 704820cc6e Update tests. 2021-08-16 22:24:06 +02:00
chriseth c87c0f02bd Test updates. 2021-08-12 16:56:12 +02:00
Leo Alt 10397e440c Fix ICE in constants 2021-08-12 10:53:01 +02:00
Leo Alt 8ce878621a Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
Leo Alt ee6285d6d7 Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
Leo Alt 08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
Kamil Śliwak 506cc20fe8 Remove empty exit files from command-line tests 2021-08-05 17:41:33 +02:00
Kamil Śliwak 2803dba980 Add pragmas and SPDX comments to command-line tests to get cleaner error output 2021-08-05 17:41:30 +02:00
chriseth 6b888b531b Refactor conversion function. 2021-08-05 11:48:35 +02:00
Leo Alt 700fe3e5d4 CL tests 2021-08-04 13:54:50 +02:00
Mathias Baumann 2ee6c7be64 Print @src and @use-src locations in AsmPrinter 2021-08-03 15:29:52 +02:00
jaa2 c627e6af10 CommandLineParser: Handle --optimize-runs option in assembly mode 
Fixes #11708.
 2021-07-29 18:15:57 +02:00
Leo Alt 6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Kamil Śliwak 9a7c364c71 Process input files in Standard JSON mode just like in other modes 
- This makes `-` for stdin work.
- `--ignore-missing` now works with `--standard-json`, though it's not very useful because there can be at most one input file.
- Separate errors for situations where there are no input files on the command line (this can be detected in the parser) and where they are not present on disk.
 2021-07-27 15:54:32 +02:00
Ladislav Sladecek 9bbeea58c8 Make --pretty-json work with Standard JSON output 2021-07-26 16:00:46 +02:00
Mathias Baumann bf204403d8 Add "@use-src" header for generated yul code 2021-07-15 14:26:01 +02:00
Marenz 57db4c82ba Fix: Use correct byte offset separation 
":" instead of ","
 2021-07-15 13:15:21 +02:00
Christian Parpart f9f32c910d Fix source location for `if` statements. 2021-07-07 17:37:01 +02:00
chriseth 6ba298c82b Include locations with empty source name. 2021-07-07 12:13:52 +02:00
chriseth 8d5e82b406 Fix source location of builtin function calls. 2021-07-06 16:54:29 +02:00
Kamil Śliwak 105b4b4c8b Update tests 2021-07-05 13:46:53 +02:00
Kamil Śliwak e3b345e5f0 Use a simpler stack optimization test to avoid having ICE message with absolute paths as expected output 2021-07-01 17:29:24 +02:00
Kamil Śliwak 753f359157 Replace stack optimization command-line test with Standard JSON ones 
- It's not possible to run optimizer with only stack optimization enabled on the CLI.
 2021-07-01 16:54:09 +02:00
Kamil Śliwak 9d08b5001f Add sstore to linker tests to prevent the address from being optimized out 2021-07-01 16:54:09 +02:00
Alex Beregszaszi cd60ade472 Improve some Yul object and command line tests to avoid using pop() which can be optimized out 2021-07-01 16:54:09 +02:00
Mathias Baumann c47d02066c Fix yul codegen bug when using binary negatition. 2021-06-29 17:41:03 +02:00
Djordje Mijovic 838f59fa5b Adding origin location notation to yul ir. 2021-06-21 18:48:20 +02:00
chriseth 0df8a38e55 Support metadata via IR. 2021-06-21 18:20:31 +02:00
chriseth 29a995b937 Merge pull request #11433 from ethereum/panic-dedup 
Insert a call to panic function in legacy codegen (and not inline it every single time)
 2021-05-31 11:23:30 +02:00
Alex Beregszaszi 47167a42a7 Update tests 2021-05-27 18:31:54 +01:00
Leo Alt cb017b95cf update tests 2021-05-26 22:12:49 +02:00
chriseth f9c94d7c42 Note function entry points. 2021-05-04 17:15:13 +02:00
chriseth aded56b5b9 Update tests 2021-05-03 18:28:43 +02:00
chriseth 2e274a0b26 Add commandline test to show debug strings. 2021-05-03 18:28:39 +02:00
chriseth 426d60f07b Commandline test updates. 2021-04-29 16:46:25 +02:00
chriseth f30ef06d62 Update tests. 2021-04-29 15:08:54 +02:00
chriseth cb1af8b88a Make verbatim compatible with KnownState. 2021-04-26 19:56:44 +02:00
chriseth e2d8005737 Add verbatim builtin. 2021-04-26 19:56:44 +02:00
Alex Beregszaszi 73b804aff4 Update tests 2021-04-23 15:54:10 +01:00
hrkrshnn b636ef881e Added command line tests for keccak optimization with low runs 
The value of keccak256(0, 32) should not be replaced by the big constant
 2021-04-22 18:19:47 +02:00
hrkrshnn 221292c278 Tests and changelog 2021-04-22 18:19:47 +02:00
chriseth 314f361d07 Update commandline tests. 2021-04-22 16:54:02 +02:00
chriseth 35b651103d Adjust cost of literal zero. 2021-04-22 11:42:42 +02:00
Leonardo 7bbf3a694b Merge pull request #11261 from ethereum/smt_choose_target 
[SMTChecker] Add option to choose contracts to be analyzed
 2021-04-21 13:11:33 +02:00
Djordje Mijovic d03744489f Update cmdline tests. 2021-04-21 11:01:22 +02:00
Leonardo Alt dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00