Code

call the tracer after field writes#430

Code

Merged

ivoysey merged 42 commits intomastermcoblenz/Obsidian:masterfrom traceafterwritemcoblenz/Obsidian:traceafterwriteCopy head branch name to clipboardApr 1, 2022

+57-20

Commits

Commits on Feb 22, 2022

• first pass at including default constructors

  ivoysey

  committed
  fcc8b48

  Copy full SHA for fcc8b48

Commits on Feb 23, 2022

• adding a time string to the benchmarks file so it doesn't get overwritten

  ivoysey

  committed
  7b73183

  Copy full SHA for 7b73183

• updating the test script to optionally save the optimized and pretty yul from running solc, for local debugging

  ivoysey

  committed
  3ab6153

  Copy full SHA for 3ab6153

• generate constructor and arguments

  ivoysey

  committed
  abceaf7

  Copy full SHA for abceaf7

Commits on Feb 24, 2022

• changing the name of the test transaction to avoid #424

  ivoysey

  committed
  88ef611

  Copy full SHA for 88ef611

• adding a prefix to constructor argument names so that they are unique

  ivoysey

  committed
  003d764

  Copy full SHA for 003d764

• whitespace, scala style

  ivoysey

  committed
  7729490

  Copy full SHA for 7729490

• writing a helper for unified names of transactions

  ivoysey

  committed
  a605547

  Copy full SHA for a605547

• updating codegen to use the single helper, adding comments

  ivoysey

  committed
  885c362

  Copy full SHA for 885c362

• convenience script for local debugging

  ivoysey

  committed
  a5822f3

  Copy full SHA for a5822f3

• updating translateTransaction to be able to use the unified helper for transaction names

  ivoysey

  committed
  50337af

  Copy full SHA for 50337af

• fixing whitespace

  ivoysey

  committed
  392a0d1

  Copy full SHA for 392a0d1

• changing the test script so that it calls transactions from main with the contract name prefix

  ivoysey

  committed
  7fae856

  Copy full SHA for 7fae856

• removing inMain boolean argument, it was a symptom of nonuniform transaction names. this addresses #407

  ivoysey

  committed
  16b1e19

  Copy full SHA for 16b1e19

Commits on Feb 25, 2022

• removing some redunant code in translateProgram, pushing helpers into util file

  ivoysey

  committed
  81e245d

  Copy full SHA for 81e245d

• fixing a silly error, changing how line comments get printed for readability

  ivoysey

  committed
  eda226c

  Copy full SHA for eda226c

• first pass at producing the sequence of assignments for the body of the default constructor

  ivoysey

  committed
  c08ecf4

  Copy full SHA for c08ecf4

• whitespace, scala style

  ivoysey

  committed
  fb721f6

  Copy full SHA for fb721f6

• some comments, changing the signature of the internal function so i can actually use fold

  ivoysey

  committed
  ec0f303

  Copy full SHA for ec0f303

• removing an accidental implementation of seq.reverse

  ivoysey

  committed
  4ab700e

  Copy full SHA for 4ab700e

• updating helper script

  ivoysey

  committed
  9922108

  Copy full SHA for 9922108

• update the field where it actually is in memory; adding a helper function because this code alsp appears in the assignment case

  ivoysey

  committed
  f38ab2d

  Copy full SHA for f38ab2d

• using the helper to declare vars not just assign them

  ivoysey

  committed
  d281f5b

  Copy full SHA for d281f5b

• adding a test specifically for default constructors

  ivoysey

  committed
  2813fa8

  Copy full SHA for 2813fa8

• whitespace

  ivoysey

  committed
  5fcb6ae

  Copy full SHA for 5fcb6ae

• another missing reverse here

  ivoysey

  committed
  94e69a4

  Copy full SHA for 94e69a4

• adding comments

  ivoysey

  committed
  260e466

  Copy full SHA for 260e466

• first cut at calling the constructor for main per #426 #427

  ivoysey

  committed
  f97fd39

  Copy full SHA for f97fd39

Commits on Feb 28, 2022

• merge conflicts

  ivoysey

  committed
  76653ce

  Copy full SHA for 76653ce

• comment

  ivoysey

  committed
  feed12a

  Copy full SHA for feed12a

Commits on Mar 1, 2022

• adding memory allocation to the invoke block, calling default constructor and tracer there. first cut

  ivoysey

  committed
  fbb51d0

  Copy full SHA for fbb51d0

Commits on Mar 2, 2022

• moving the codecopy after the tracer def and call

  ivoysey

  committed
  f152e16

  Copy full SHA for f152e16

Commits on Mar 3, 2022

• adding a test case

  ivoysey

  committed
  0553c81

  Copy full SHA for 0553c81

Commits on Mar 9, 2022

• scraps

  ivoysey

  committed
  cc15501

  Copy full SHA for cc15501

• first cut at tracing after pointer write

  ivoysey

  committed
  219e681

  Copy full SHA for 219e681

Commits on Mar 29, 2022

• merging in from master

  ivoysey

  committed
  8d0ee22

  Copy full SHA for 8d0ee22

Commits on Mar 31, 2022

• adding a couple new helper functions; changing the update field helper to add the storage offset, which I think breaks the SetGetDefaultChecks test.

  ivoysey

  committed
  c4885b6

  Copy full SHA for c4885b6

• using new helper functions. adding tracer call code in pointer writes

  ivoysey

  committed
  f6572b1

  Copy full SHA for f6572b1

• reversing a bad change, adding a comment about why so i dont feel tempted to do it again

  ivoysey

  committed
  ee9728b

  Copy full SHA for ee9728b

Commits on Apr 1, 2022

• after debugging, changing which identifier goes to the trace call

  ivoysey

  committed
  f73f979

  Copy full SHA for f73f979

• whitespace, comments

  ivoysey

  committed
  1a91b63

  Copy full SHA for 1a91b63

• Removing trace this test case. see #434

  ivoysey

  committed
  704f143

  Copy full SHA for 704f143