Commit Graph

  • f3ab2aa2c5 Assert reducibility for SSA CFG liveness analysis ssa-cfg-reducibility-check clonker 2026-04-01 18:07:27 +02:00
  • 30f582d98f Add reducibility check for SSA CFG clonker 2026-04-01 18:07:10 +02:00
  • aab93ea128 Add dominator tree implementation for SSA CFG clonker 2026-04-01 18:06:56 +02:00
  • 02198c335d Let's have default optimization sequence or it'll be annoying develop-ossfuzz-better-sol2Proto Mate Soos 2026-04-01 17:25:36 +02:00
  • 794129fb18 Also print mem usage Mate Soos 2026-04-01 17:05:51 +02:00
  • c6bae1ec68 Update perf generation Mate Soos 2026-04-01 16:59:43 +02:00
  • 97153edd66 Update with perf + flamegraphs Mate Soos 2026-04-01 16:51:43 +02:00
  • a9528ad1ca Update Mate Soos 2026-04-01 16:33:18 +02:00
  • 0078513e8d Update Mate Soos 2026-04-01 16:28:23 +02:00
  • 0f2354b3af handle conditional jump exits uniformly ssa-unify-jumpi-handling clonker 2026-04-01 16:09:54 +02:00
  • b7519f640a Improve block join stack layout heuristic clonker 2026-04-01 14:39:54 +02:00
  • c9f62baf66 Add "exitIn" to codespell whitelist ssa-stack-layout-has-exit-in clonker 2026-04-01 15:53:02 +02:00
  • a431a6695b Change SSA stack layout to have exitIn instead of stackOut and save block successor proposals per-edge clonker 2026-04-01 12:09:33 +02:00
  • a1c530bd9e Make ethdebug inputs/outputs consistent make-ethdebug-consistent-with-existing-conventions Nikola Matic 2026-03-30 09:59:15 +02:00
  • 73abbf8941 Fix auto const& gimme-const Mate Soos 2026-04-01 14:23:05 +02:00
  • b1f7bd1c26 More const Mate Soos 2026-04-01 13:58:21 +02:00
  • 2741606098 More const Mate Soos 2026-04-01 12:52:57 +02:00
  • 6154f7bc0e More const Mate Soos 2026-04-01 12:06:56 +02:00
  • a48d4a027f Everyone gets const Mate Soos 2026-03-24 14:22:02 +01:00
  • 437f7e1ab1 Fixing fix-on2-namecleaner Mate Soos 2026-04-01 11:16:53 +02:00
  • 257130dfc2 Cleaner changelog Mate Soos 2026-04-01 11:11:06 +02:00
  • f645d85abf No need for mutable, Remove flaky tests Mate Soos 2026-04-01 11:06:21 +02:00
  • 5386ae1662 Update libyul/optimiser/VarNameCleaner.cpp Mate Soos @ Argot 2026-04-01 11:02:11 +02:00
  • c5ee074004 Fix O(n²) in VarNameCleaner::findCleanName using per-base-name counter Mate Soos 2026-03-30 11:53:22 +02:00
  • 0cbd39c364 Only use gas accumulating callbacks in stack layout generator where needed clonker 2026-04-01 11:06:34 +02:00
  • 01648810bf Merge pull request #16568 from argotorg/ssa-fix-stack-layout-gen-inefficiency develop clonker 2026-04-01 10:33:11 +02:00
  • a05041af04 Fix SSACFG stack layout generator stack-in inefficiency clonker 2026-04-01 09:55:28 +02:00
  • ad90834d19 Better printing Mate Soos 2026-03-31 17:11:11 +02:00
  • 0918a1231a Write yul immediately. Mate Soos 2026-03-31 17:03:16 +02:00
  • e9b703dcc9 More direct dumping Mate Soos 2026-03-31 16:53:54 +02:00
  • 8de9dee04f Write sequence Mate Soos 2026-03-31 16:48:37 +02:00
  • ff4fd85035 Better printing Mate Soos 2026-03-31 16:44:20 +02:00
  • 4daa7abd4b Merge pull request #16566 from argotorg/ssa-use-gas-to-find-stack-size clonker 2026-03-31 16:31:45 +02:00
  • 2e274f834e SSACFG: use op counts to decide for a target stack size and gas for multi-entry blocks clonker 2026-03-30 17:47:47 +02:00
  • e18f332150 OK, nicer printing Mate Soos 2026-03-31 15:43:43 +02:00
  • 58aecc6a23 Print the sequence Mate Soos 2026-03-31 15:06:09 +02:00
  • afac853514 Update README Mate Soos 2026-03-31 14:43:27 +02:00
  • dab4347544 Store EVMDialect in SSACFG clonker 2026-03-30 16:20:05 +02:00
  • 1f9577ac4c Remove unused include from SSACFG clonker 2026-03-30 16:04:59 +02:00
  • 15ee820046 Merge pull request #16567 from argotorg/ssa-stack-layout-prefer-smaller-stacks blishko 2026-03-31 14:27:32 +02:00
  • e8b15fe806 SSA: Prefer smaller stacks when searching for best stack size blishko 2026-03-31 09:42:47 +02:00
  • 8d3267a127 Merge pull request #16553 from argotorg/optimize-solthrow clonker 2026-03-31 10:29:43 +02:00
  • 71cee36f73 Work around maybe-uninitialized FP in ConditionalSimplifier clonker 2026-03-26 13:24:18 +01:00
  • abe15610b5 Optimize solThrow clonker 2026-03-26 12:21:43 +01:00
  • 3c6aad3a81 Merge pull request #16551 from argotorg/ssa-update-shuffler-algorithm blishko 2026-03-31 09:35:47 +02:00
  • 70c495e9a8 SSA: Do not dup prematurely in shuffler blishko 2026-03-25 15:41:35 +01:00
  • 6421f0efc3 Merge pull request #16559 from argotorg/ssa-shuffler-shrink-preemptively blishko 2026-03-30 23:02:37 +02:00
  • d50cddacce SSA: Shrink stack preemptively in shuffler blishko 2026-03-27 14:01:42 +01:00
  • 8dc4d7a9b8 workaround for openzeppelin external tests futureKeywordWarnings Matheus Aguiar 2026-03-02 17:24:35 -03:00
  • 09e2906016 Changelog Matheus Aguiar 2025-12-11 16:51:22 -03:00
  • ecc305840e Update docs Matheus Aguiar 2025-09-24 16:35:49 -03:00
  • c009b970e1 Warning for yul future reserved keywords Matheus Aguiar 2025-10-03 15:16:43 -03:00
  • 4988143519 Warning about Solidity future keywords Matheus Aguiar 2025-09-15 13:23:13 -03:00
  • 2c53f3e530 Add and update tests Matheus Aguiar 2025-09-23 14:57:19 -03:00
  • 821d9e0194 Merge pull request #16564 from argotorg/ci-fix-arch-linux-boost-dep clonker 2026-03-30 21:10:27 +02:00
  • 7ed40ea80b Filter out optimization noise Mate Soos 2026-03-30 19:13:16 +02:00
  • 2484708122 Don't crash on stack too deep Mate Soos 2026-03-30 18:04:59 +02:00
  • 5be42bfdef CI: Add explicit boost-libs to Arch Linux build dependencies clonker 2026-03-30 17:53:00 +02:00
  • 3de3ac9ac3 Rename so I don't get confused Mate Soos 2026-03-30 16:59:26 +02:00
  • 9f07daa9ac Also do this Mate Soos 2026-03-30 16:23:11 +02:00
  • d04d36cad7 MORE stuff Mate Soos 2026-03-30 16:17:43 +02:00
  • f229ef5d04 Update gitignore Mate Soos 2026-03-30 15:07:18 +02:00
  • d58d224112 Fix build Mate Soos 2026-03-30 15:07:13 +02:00
  • 120612d9e1 Better Mate Soos 2026-03-30 15:00:22 +02:00
  • 6e3b6fbb0e Track out-of-gas during subcall Mate Soos 2026-03-30 14:47:10 +02:00
  • 516c47fa2d Should run with 400k too Mate Soos 2026-03-30 13:57:53 +02:00
  • d7ccbfd464 Fix evmhost Mate Soos 2026-03-30 13:34:17 +02:00
  • 90e027f4ef Fix O(n²) in VarNameCleaner::findCleanName using per-base-name counter Mate Soos 2026-03-30 11:53:22 +02:00
  • 9cf3633925 Cap protobuf optimizer sequence length at 64 steps Mate Soos 2026-03-30 11:50:45 +02:00
  • 3a82500096 Add --optimizer-sequence to yul_debug_runner and dump sequences from fuzzer Mate Soos 2026-03-30 11:49:53 +02:00
  • 7def0c5711 Fix adding reset Mate Soos 2026-03-30 10:57:42 +02:00
  • e1b87eeb6c [WIP]Refactor Standard Json Input/Output Documentation refactor-json-input-output-documentation Matheus Aguiar 2026-03-27 02:20:59 -03:00
  • 2da77103de Update docs fixRevertStringFlagInconsistentHandling Matheus Aguiar 2026-03-27 20:12:56 -03:00
  • a297c27c9b Do not remove custom errors in IR pipeline when strip revert strings is requested Matheus Aguiar 2026-02-26 02:21:55 -03:00
  • 7d43ece0bb Add tests Matheus Aguiar 2026-02-24 03:55:15 -03:00
  • 9e623e9492 Address PR review comments. remove-returndatacopy-elimination rodiazet 2026-03-28 11:10:55 +01:00
  • 3b0d9ea765 Address review comments. rodiazet 2026-03-26 14:11:52 +01:00
  • 6ebc14284b Address review comments rodiazet 2026-03-10 19:08:01 +01:00
  • 14da5c31a9 Address review comments rodiazet 2026-03-10 18:30:31 +01:00
  • 1fb273ab0c Add changelog and buglist entry for UnusedStoreEliminator fix rodiazet 2026-02-23 18:06:05 +01:00
  • e54c0866ab Remove RETURNDATACOPY elimination from UnusedStoreEliminator rodiazet 2026-03-09 16:01:42 +01:00
  • e4a5b77dff Merge pull request #16558 from argotorg/enable-ssa-cfg-on-all-external-contracts blishko 2026-03-27 15:30:14 +01:00
  • 8ff95657d8 Tests: Run SSA-CFG on external contracts in semantic tests blishko 2026-03-27 14:56:06 +01:00
  • 047b33741c Merge pull request #16557 from argotorg/improve-shuffler-test-interface clonker 2026-03-27 13:21:11 +01:00
  • 2bbe1277a6 simplify ssa stackShuffler test definitions clonker 2026-03-27 10:17:39 +01:00
  • 2be29a9d07 relax conditions for a valid ssa stackShuffler test definition clonker 2026-03-27 10:13:26 +01:00
  • 7f07efc874 Merge pull request #16556 from argotorg/ssa-small-refactor blishko 2026-03-27 12:40:42 +01:00
  • c4a4019f40 Add semantic tests. fix-sanity-check rodiazet 2026-03-25 17:07:18 +01:00
  • 2dc7f265f6 Fix constantValueFunction to properly support function returning more than one value. rodiazet 2026-03-25 11:54:51 +01:00
  • 917b63ec0d Add purity tests of different types and usage. rodiazet 2026-03-23 15:31:49 +01:00
  • 3bd20e2cec Add constant access getter test which reproduces the bug. rodiazet 2026-03-23 15:31:15 +01:00
  • f5507357e5 Add error arguments purity tests. rodiazet 2026-03-23 15:30:02 +01:00
  • 02563f0e14 Add accessible variables sanity check. rodiazet 2026-03-20 16:15:43 +01:00
  • 48f0a53f58 Member access via module type. module rodiazet 2026-03-20 12:11:09 +01:00
  • 19ca67c18c Member access via a contract type name. rodiazet 2026-03-19 17:30:32 +01:00
  • b85f4dc96b Member access via contract instance. rodiazet 2026-03-20 16:12:05 +01:00
  • 52aa5c380c Implement struct instance member case. rodiazet 2026-03-19 15:25:48 +01:00
  • 0e3bc139ce Rework typeViaContractName and nativeMembers fragment. rodiazet 2026-03-19 13:11:19 +01:00
  • 06d8eaabd7 Rename isVisibleViaContractTypeAccess -> isVisibleViaContractInstance rodiazet 2026-03-19 12:49:07 +01:00
  • 40cfafcd6d Adding TODO for more fuzzers Mate Soos 2026-03-26 19:56:56 +01:00