Commit Graph

  • 52e6090bfb Activate if any optimization is on Matheus Aguiar 2023-09-21 18:12:16 -0300
  • 0cb4bd9308 Detect var being assigned in inline assembly block Matheus Aguiar 2023-09-20 16:58:19 -0300
  • 2528ff31ee Detect different vars in condition and increment Matheus Aguiar 2023-09-19 16:53:48 -0300
  • 0acab9d07e fixup! previous reviews fixups Kamil Śliwak 2023-06-13 13:41:36 +0200
  • d233c66795 Special case code generation for for loops. Daniel Kirchner 2022-08-10 15:48:06 +0200
  • 3c1f4525a4
    Apply suggestions dominator r0qs 2023-09-22 14:45:41 +0200
  • e1f049fd24
    Minor fix for OSX build r0qs 2023-09-05 13:33:59 +0200
  • 701b96cfa7
    Add constructor to ImmediateDominatorTest r0qs 2023-08-22 17:56:47 +0200
  • 2ab40e3fb3
    Move type definitions to test namespace r0qs 2023-08-22 16:43:59 +0200
  • 5e68617a2e
    Use smart pointers r0qs 2023-08-22 16:26:47 +0200
  • 48edc744f1
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 20:34:41 +0200
  • 88f7073857
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 20:32:57 +0200
  • b7ec9d3fdd
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 19:51:19 +0200
  • e4bac1340d
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 19:24:12 +0200
  • f804e8bc00
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 19:10:19 +0200
  • 1e2069bdfc
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:56:43 +0200
  • 37af76405a
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 19:01:25 +0200
  • a9a09bea6d
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:58:20 +0200
  • 56cabdc69a
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:56:35 +0200
  • ffb53ad8a6
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:55:01 +0200
  • 9aad3688dc
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:50:53 +0200
  • bb55b7cfe5
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:36:33 +0200
  • 83abb3b8ab
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:28:31 +0200
  • d33f8f951d
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:14:08 +0200
  • 0bf0d1943a
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 18:00:38 +0200
  • db5b657bd2
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:27:39 +0200
  • bf938d2712
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:27:04 +0200
  • d5dbab0b91
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:26:51 +0200
  • edd4e1c952
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:22:37 +0200
  • 5170f33f53
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:15:49 +0200
  • 7888ff424e
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:13:28 +0200
  • 66b95967e6
    fixup! Implementation of Lengauer-Tarjan algorithm to find dominators Kamil Śliwak 2023-08-11 17:12:30 +0200
  • 83583f3448
    Implementation of Lengauer-Tarjan algorithm to find dominators r0qs 2023-06-07 12:17:10 +0200
  • fdaa6d54fe Add yield statements to compiler Brandon Roberts 2023-09-21 22:10:26 -0700
  • 3c569db98d move before push0 transient-store Sara Reynolds 2023-09-11 12:28:50 -0400
  • 5fd609f7a6 update opcode values Sara Reynolds 2023-09-11 12:12:12 -0400
  • f428af3977 A quick fix for a remix issue hrkrshnn 2022-07-20 14:00:27 +0200
  • 8b530040cc Implemented transient storage in Yul and inline assembly hrkrshnn 2022-07-20 13:24:16 +0200
  • 352d592d59 just added some examples in breaking-changes.rst Kayleexx 2023-09-21 17:02:03 +0530
  • 7508c5b1fe
    Shellcheck and minor fixes import-asm-json-updated-2 r0qs 2023-09-20 12:47:14 +0200
  • 62ff0fb0cb
    Handle cases where there are multiple source files r0qs 2023-09-20 12:46:28 +0200
  • fbec7c5a31
    [libevmasm] Add support to import evm assembly json. Alexander Arlt 2022-11-01 23:58:45 -0500
  • cc7a14a61d
    Merge pull request #14518 from ethereum/analysis-framework-refactor Daniel 2023-09-19 18:52:57 +0200
  • 9c454b3538 style guide: Add events and errors to the order of definitions at file level event-docs-corrections Kamil Śliwak 2023-09-15 14:54:38 +0200
  • aad10bda97 style guide: Use emit keyword when emitting events Kamil Śliwak 2023-09-15 14:54:07 +0200
  • 3141b343a9 docs: Update the list of definitions in a contract whose names do not clash when inherited Kamil Śliwak 2023-09-15 14:53:47 +0200
  • 9d019ecbda docs: Remove an outdated reference to Serenity Kamil Śliwak 2023-09-15 14:52:28 +0200
  • 3fb2f1db88 AnalysisFramework: Move common setup to the framework Kamil Śliwak 2023-08-07 12:26:44 +0200
  • d2bfb2f737 AnalysisFramework: Reimplement parseAnalyseAndReturnError() with runFramework() Kamil Śliwak 2023-08-04 19:44:59 +0200
  • b766268ff3 AnalysisFramework: Get rid of parseAndAnalyse() and success() Kamil Śliwak 2023-08-04 19:41:49 +0200
  • 309a8de530 Refactor AnalysisFramework to share more features between test cases that depend on it Kamil Śliwak 2023-08-07 13:00:08 +0200
  • 1ffd65f089 fixup! Type inference draft. Kamil Śliwak 2023-09-18 16:50:46 +0200
  • 6621dc6ba5 fixup! Type inference draft. Kamil Śliwak 2023-09-18 10:51:31 +0200
  • dc44f8ad91
    Merge pull request #14550 from ethereum/events-at-file-level Daniel 2023-09-18 14:36:14 +0200
  • 1dcb4c702a
    Merge 2956345cd4 into 586a7c54eb Daniel 2023-09-18 12:35:57 +0000
  • 586a7c54eb
    Merge pull request #14503 from Saw-mon-and-Natalie/fix-test-typo Daniel 2023-09-18 14:30:55 +0200
  • 2956345cd4
    Merge pull request #14558 from ethereum/new-analysis-type-class-registration-pass Kamil Śliwak 2023-09-18 14:07:16 +0200
  • b0a986ffff Allow event definitions at file level Kamil Śliwak 2023-09-07 16:13:10 +0200
  • 811de47ba8
    Merge 8a1a30befa into 020b59680e Alejandro Criado-Pérez 2023-09-15 14:30:22 +0200
  • 020b59680e
    Merge pull request #14552 from ethereum/bump-cmake-and-boost-to-work-with-vs-2022 Nikola Matić 2023-09-14 20:38:53 +0200
  • 5a5e0b5bb3
    Merge pull request #14551 from zobront/develop Kamil Śliwak 2023-09-14 20:28:20 +0200
  • 6e8b9dff51 docs: add clarification about post execution modifier behavior Zach Obront 2023-09-07 16:08:46 -0500
  • 18f4098d4a
    Merge fc743ac402 into 9bce5f91dc Igor Żuk 2023-09-14 17:56:34 +0200
  • 70cf104f19 fixup! Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022 Kamil Śliwak 2023-09-14 17:44:08 +0200
  • 0141c52a60 More crash test cases new-analysis-crashes Kamil Śliwak 2023-09-06 12:15:35 +0200
  • 1d502033ff [TMP] Extra asserts in places that crash on map::at() Kamil Śliwak 2023-09-05 19:49:32 +0200
  • 206c06f0b3 [TMP] Repros for crashes in semantic tests Kamil Śliwak 2023-09-05 17:29:38 +0200
  • da83b35a71 Separate experimental analysis pass for type class registration Kamil Śliwak 2023-09-07 12:14:28 +0200
  • 086c912c65 TypeSystem: make typeClassInfo() public Kamil Śliwak 2023-09-11 14:39:35 +0200
  • 9f7764c215 Semantic test for type classes Kamil Śliwak 2023-09-05 19:49:59 +0200
  • 6a9552ea16
    Merge ea9a773d57 into 9bce5f91dc Eduard Fina 2023-09-14 16:18:59 +0200
  • 85b1cb9013 fixed MSTORE typo Saw-mon & Natalie 2023-08-19 16:15:08 -0700
  • 1718fad088 Tests for absolutePath() and sanitizePath() absolute-path-tests Kamil Śliwak 2023-09-08 23:16:45 +0200
  • 0a69758468 FileReader::isPathPrefix(): Work around lexically_normal() no longer preserving UNC slashes on Boost 1.78+ on Windows Kamil Śliwak 2023-09-08 17:28:12 +0200
  • 5d88b74746 install_deps.ps1: Remove downloaded packages and sources after installation Nikola Matic 2022-08-25 14:25:54 +0200
  • 73d582d4b3 Bump cmake to 3.27.4 and boost to 1.83 on Windows to work with Visual Studio 2022 Nikola Matic 2022-08-25 14:25:54 +0200
  • 1a1ae5d99e Update natspec-format.rst Aditya Kode 2023-05-24 21:43:56 +0530
  • acad00f461 fixup! Type inference draft. Kamil Śliwak 2023-09-13 14:26:55 +0200
  • 0e95ca163c fixup! Type inference draft. Kamil Śliwak 2023-09-11 13:53:23 +0200
  • 761f5b342f fixup! Type inference draft. Kamil Śliwak 2023-09-05 15:56:50 +0200
  • 319a6c4999 Move around experimental tests Nikola Matic 2023-08-29 14:35:58 +0200
  • 7c2f5ee171 Remove bogus unused IRVariable implementation (to be redone). Daniel Kirchner 2023-08-22 21:05:36 +0200
  • 59ef5919fb Platform fixes. Daniel Kirchner 2023-08-22 18:33:34 +0200
  • 5f894722df Add comment. Daniel Kirchner 2023-08-22 18:23:16 +0200
  • fadba0e4b8 error ids Daniel Kirchner 2023-08-22 18:17:14 +0200
  • 4fb7e9934e Fix compiler warning. Daniel Kirchner 2023-08-22 18:11:11 +0200
  • 5d1d365e2f style fixes Daniel Kirchner 2023-08-22 17:56:26 +0200
  • e4e0472407 Eliminate using namespace std. Daniel Kirchner 2023-08-22 15:05:39 +0200
  • d8a36a1d58 Type inference draft. Daniel Kirchner 2023-06-14 12:48:38 +0200
  • 093ec110cf Scanner hack. Daniel Kirchner 2023-06-13 20:42:59 +0200
  • fa815764dd Basic infrastructure. Daniel Kirchner 2023-06-06 11:18:46 +0200
  • c43c3c3a3a
    Merge branch 'develop' into patch-2 Markus Osterlund / robriks 2023-09-13 15:58:12 -0400
  • 3f7a9c0c7e
    Merge 3eb09994e7 into 9bce5f91dc Vojtch 2023-09-13 23:27:40 +1000
  • 59a6a0059a
    Merge 0809843225 into 9bce5f91dc James Prestwich 2023-09-13 23:21:19 +1000
  • 9bce5f91dc
    Merge pull request #14538 from ethereum/experimentalAnalysisBasicInfrastructure Daniel 2023-09-13 13:00:56 +0200
  • 53ffa8b048
    Merge branch 'develop' into drop-opcodes-s Paul 2023-09-11 13:22:34 -0600
  • b9c41c21bf
    Merge 475cfe2532 into 64a0f62700 Martin Blicha 2023-09-11 11:58:07 -0700
  • 64a0f62700
    Merge pull request #14506 from ethereum/extracted-natspec-json-tests Kamil Śliwak 2023-09-11 19:28:31 +0200
  • 1c3e2603d0
    move before push0 Sara Reynolds 2023-09-11 12:28:50 -0400
  • 4d1b8137d9
    update opcode values Sara Reynolds 2023-09-11 12:12:12 -0400