Code

Template generation#27

Code

Merged

tuturu-tech merged 32 commits intomaincrytic/fuzz-utils:mainfrom template-generationcrytic/fuzz-utils:template-generationCopy head branch name to clipboardMar 29, 2024

+2,207-227

Commits

Commits on Mar 5, 2024

• add command for template generation along with basic agent template

  tuturu-tech

  committed
  3e2aafa

  Copy full SHA for 3e2aafa

• separate file saving into a util script

  tuturu-tech

  committed
  88a69c5

  Copy full SHA for 88a69c5

Commits on Mar 6, 2024

• add harness generation

  tuturu-tech

  committed
  2653c62

  Copy full SHA for 2653c62

• Add default output dir and comments to generated contracts

  tuturu-tech

  committed
  b73eef1

  Copy full SHA for b73eef1

Commits on Mar 7, 2024

• add config option, actors with multiple targets

  tuturu-tech

  committed
  d7311ee

  Copy full SHA for d7311ee

Commits on Mar 8, 2024

• print progress messages

  tuturu-tech

  committed
  3b3564c

  Copy full SHA for 3b3564c

Commits on Mar 20, 2024

• add config, attack generation, lint and format files, refactor to reduce code duplication

  tuturu-tech

  committed
  bd76c86

  Copy full SHA for bd76c86

• Merge branch 'main' into template-generation

  tuturu-tech

  committed
  0af97af

  Copy full SHA for 0af97af

• merge main to branch

  tuturu-tech

  committed
  1284039

  Copy full SHA for 1284039

• lint

  tuturu-tech

  committed
  a38c71f

  Copy full SHA for a38c71f

Commits on Mar 25, 2024

• Merge branch 'main' into template-generation

  Show description for 737b4c6
  tuturu-tech

  committed
  737b4c6

  Copy full SHA for 737b4c6

• remove duplicate templates

  tuturu-tech

  committed
  0617d89

  Copy full SHA for 0617d89

• template formatting

  tuturu-tech

  committed
  48eab97

  Copy full SHA for 48eab97

• refactor parser, reduce code duplication

  tuturu-tech

  committed
  bf9a9e0

  Copy full SHA for bf9a9e0

• Merge branch 'main' into template-generation

  tuturu-tech

  committed
  ac3fcd7

  Copy full SHA for ac3fcd7

• Merge main into template-generation

  Show description for 365844e
  tuturu-tech

  committed
  365844e

  Copy full SHA for 365844e

• add correct indenting for "warp" when dyn arrays are used

  glarregay-tob

  committed
  deb2a88

  Copy full SHA for deb2a88

• fix redefinition of variables

  glarregay-tob

  committed
  d67fd25

  Copy full SHA for d67fd25

• add "bool success" only if there are low level calls, fix template

  glarregay-tob

  committed
  f9ad12a

  Copy full SHA for f9ad12a

• linting

  glarregay-tob

  committed
  456dbb0

  Copy full SHA for 456dbb0

• more linting

  glarregay-tob

  committed
  e3d1771

  Copy full SHA for e3d1771

Commits on Mar 26, 2024

• update flags, readme, add harness example

  tuturu-tech

  committed
  7a06102

  Copy full SHA for 7a06102

• readme typo

  tuturu-tech

  committed
  7cd31e5

  Copy full SHA for 7cd31e5

• fix repeated inputs in harness

  tuturu-tech

  committed
  2317679

  Copy full SHA for 2317679

• Add harness generation tests

  Show description for 2eeb63e
  tuturu-tech

  committed
  2eeb63e

  Copy full SHA for 2eeb63e

• fix mypy errors

  tuturu-tech

  committed
  e2a5cc5

  Copy full SHA for e2a5cc5

• install properties in pytest workflow, fetch remappings in harness tests

  tuturu-tech

  committed
  8b64180

  Copy full SHA for 8b64180

• fix pytest workflow

  tuturu-tech

  committed
  1120fb6

  Copy full SHA for 1120fb6

• pytest workflow

  tuturu-tech

  committed
  c832780

  Copy full SHA for c832780

• update make test, update pytest workflow

  tuturu-tech

  committed
  3f65f70

  Copy full SHA for 3f65f70

Commits on Mar 27, 2024

• fix medusa variable redefinition

  tuturu-tech

  committed
  a457089

  Copy full SHA for a457089

• Merge branch 'fix-minor-issues-in-generator' into template-generation

  tuturu-tech

  committed
  b8d1ecd

  Copy full SHA for b8d1ecd