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,715 Commits 348 Branches 121 Tags
9b3e714a6cb2997e8b445af715c0781e56a6104c
Commit Graph
699 Commits
Author SHA1 Message Date
Kamil Śliwak cb1a0f08ca readFileAsString(): Accept path as boost::filesystem::path instead of string 2021-08-17 12:58:33 +02:00
Leo Alt 08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
Leo Alt 3c1f555f71 Tests 2021-08-04 13:54:50 +02:00
Leo Alt 41087f3195 Add CLI and JSON option to show unproved targets 2021-08-04 13:54:50 +02:00
Christian Parpart 6294aa871a Simplify AsmParser::parse(.) usage 2021-08-03 15:43:17 +02:00
chriseth ffc5cfd9a5 Remove scanner from compiler stack. 2021-08-03 15:43:17 +02:00
Leo Alt 6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
Ladislav Sladecek 9bbeea58c8 Make --pretty-json work with Standard JSON output 2021-07-26 16:00:46 +02:00
chriseth e3525b81d0 Supply scanner to model checker. 2021-07-14 15:12:10 +02:00
chriseth f75b55071e Remove CharStream from SourceLocation. 2021-07-14 15:12:07 +02:00
Christian Parpart 132fa46faa Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations. 2021-07-09 11:48:00 +02:00
chriseth 566537835b Merge pull request #11627 from ethereum/allowEmptyFileName 
Include locations with empty source name.
 2021-07-07 12:52:49 +02:00
chriseth 6ba298c82b Include locations with empty source name. 2021-07-07 12:13:52 +02:00
Kamil Śliwak 7d16c7b127 Equality operators for ModelCheckerSettings and ImportRemapper 2021-07-06 17:17:18 +02:00
Kamil Śliwak 6ad6fa2382 Do not hard-code the default 'runs' value as 200 in code that fills out optimizer settings 2021-06-28 14:12:28 +02:00
Kamil Śliwak 6d8ef71277 Consistently use size_t everywhere for runs/expectedExecutionsPerDeployment 2021-06-28 14:09:28 +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
Alex Beregszaszi 0e8e4eacd5 Pass on assembly instance from AssemblyStack to CompilerStack 
This allows for generation of various output artifacts supported by the old codegen
 2021-06-17 15:35:59 +02:00
Alex Beregszaszi 79794081eb Extract assemble() from compileContract() in CompilerStack 2021-06-17 15:28:22 +02:00
Kamil Śliwak 59957b18dc Make missing settings.optimizer.enabled key in Standard JSON equivalent to setting it to false 2021-06-15 16:06:22 +02:00
chriseth 3eaa37030a Fix infinite recursion in function call graph generator due to recursive constant references. 2021-06-08 16:39:30 +02:00
chriseth 7d8a4e63d8 Merge pull request #11491 from TerranCivilian/fix-10269 
Remove unneeded include files
 2021-06-07 20:15:20 +02:00
TerranCivilian c15501eea9 Remove unneeded include files 2021-06-07 12:53:18 -04:00
Mathias Baumann aae9d347aa Split DocStringParsing in two stages 
one requiring type info in the next step
 2021-06-07 14:49:46 +02:00
Mathias Baumann 56ebea8b2f ControlFlowAnalyser: Also consider called functions in a flow 2021-06-01 15:54:37 +02:00
Alex Beregszaszi 75c72cd54d Properly support inliner in settings.optimizer.details 2021-05-20 20:22:34 +01:00
chriseth f9c94d7c42 Note function entry points. 2021-05-04 17:15:13 +02:00
Djordje Mijovic e404b6e7a6 Refactoring yul source locations. 2021-05-04 16:05:23 +02:00
Kamil Śliwak 5023cef382 OptimiserSettings: Add preset() and OptimisationPreset enum 2021-04-27 14:06:44 +02:00
Alexander Arlt 481971cbcf [isoltest] Add support for external sources. 2021-04-26 08:27:30 -05:00
Alex Beregszaszi e39433198d Remove the usage of boost::noncopyable 
Prior to this half of the codebase used explicit deleted copy constructors, the others used boost::noncopyable.
 2021-04-23 14:57:01 +01:00
Leonardo Alt dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
chriseth cf7f814a4e Merge pull request #10921 from ethereum/issue-10881 
Natspec: Don't copy from base function if return parameters differ
 2021-04-20 15:33:48 +02:00
Leonardo Alt e3abde43f5 Change settings.modelChecker.targets to take an array instead of string 2021-04-19 17:53:03 +02:00
Mathias Baumann 1737bd7ded Natspec: Don't copy from base function if return parameters differ 2021-04-19 15:20:30 +02:00
Kamil Śliwak 0922d60ba6 FileReader: More accurate description of FileReader::readFile() and its arguments 2021-04-13 13:26:01 +02:00
Kamil Śliwak 6a41b417a3 FileReader: Store files loaded by the callback under their source unit name 2021-04-13 13:25:59 +02:00
Leonardo Alt b753cb6120 Deprecate pragma experimental SMTChecker 2021-04-08 21:03:38 +02:00
Christian Parpart 257672e56f Extract file reading logic from CommandLineInterface into FileReader class. 2021-04-06 17:10:43 +02:00
Christian Parpart 3490577140 Extract import-file remapping logic out of CompilerStack into ImportRemapper. 2021-04-06 14:28:53 +02:00
Christian Parpart 30588a90eb CompilerStack: assemblyString doesn't need to receive sourceCodes map as copy. 2021-04-06 14:28:01 +02:00
Mathias Baumann e590a99f39 Detect circular references for library and free functions 2021-03-30 23:06:30 +02:00
chriseth 79d7466e19 NatSpec for errors. 2021-03-30 21:16:58 +02:00
chriseth 517cd17a6f Add errors to the ABI. 2021-03-30 21:16:58 +02:00
chriseth e877e2bba7 Use all referenced errors. 2021-03-30 21:15:46 +02:00
hrkrshnn 45a3747701 Added FunctionSpecializer to the optimization suite 2021-03-29 11:02:18 +02:00
Mathias Baumann e197ebbdd1 Replace TypePointer with Type const* 2021-03-23 11:47:19 +01:00
chriseth 5690020d88 Allow custom natspec tags. 2021-03-02 16:13:28 +01:00
Kamil Śliwak 781f00771c Remove IRGenerator::verifyCallGraphs and make generate() verify the graphs automatically 2021-02-23 10:47:02 +01:00