call the tracer after field writes #430

ivoysey · 2022-03-09T23:28:35Z

call the tracer when writing to a field that needs to update storage
removes the TraceThis test; see double check the output of TraceThis.obs #434 for details
adds a few helper functions in Util

…tten

…yul from running solc, for local debugging

…r transaction names

… the contract name prefix

…saction names. this addresses #407

… util file

…ability

…he default constructor

…an actually use fold

…tion because this code alsp appears in the assignment case

…ctor and tracer there. first cut

…r to add the storage offset, which I think breaks the SetGetDefaultChecks test.

…pted to do it again

ivoysey added 30 commits February 22, 2022 17:27

first pass at including default constructors

fcc8b48

adding a time string to the benchmarks file so it doesn't get overwri…

7b73183

…tten

updating the test script to optionally save the optimized and pretty …

3ab6153

…yul from running solc, for local debugging

generate constructor and arguments

abceaf7

changing the name of the test transaction to avoid #424

88ef611

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

003d764

whitespace, scala style

7729490

writing a helper for unified names of transactions

a605547

updating codegen to use the single helper, adding comments

885c362

convenience script for local debugging

a5822f3

updating translateTransaction to be able to use the unified helper fo…

50337af

…r transaction names

fixing whitespace

392a0d1

changing the test script so that it calls transactions from main with…

7fae856

… the contract name prefix

removing inMain boolean argument, it was a symptom of nonuniform tran…

16b1e19

…saction names. this addresses #407

removing some redunant code in translateProgram, pushing helpers into…

81e245d

… util file

fixing a silly error, changing how line comments get printed for read…

eda226c

…ability

first pass at producing the sequence of assignments for the body of t…

c08ecf4

…he default constructor

whitespace, scala style

fb721f6

some comments, changing the signature of the internal function so i c…

ec0f303

…an actually use fold

removing an accidental implementation of seq.reverse

4ab700e

updating helper script

9922108

update the field where it actually is in memory; adding a helper func…

f38ab2d

…tion because this code alsp appears in the assignment case

using the helper to declare vars not just assign them

d281f5b

adding a test specifically for default constructors

2813fa8

whitespace

5fcb6ae

another missing reverse here

94e69a4

adding comments

260e466

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

f97fd39

merge conflicts

76653ce

comment

feed12a

ivoysey added 12 commits March 1, 2022 13:45

adding memory allocation to the invoke block, calling default constru…

fbb51d0

…ctor and tracer there. first cut

moving the codecopy after the tracer def and call

f152e16

adding a test case

0553c81

scraps

cc15501

first cut at tracing after pointer write

219e681

merging in from master

8d0ee22

adding a couple new helper functions; changing the update field helpe…

c4885b6

…r to add the storage offset, which I think breaks the SetGetDefaultChecks test.

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

f6572b1

reversing a bad change, adding a comment about why so i dont feel tem…

ee9728b

…pted to do it again

after debugging, changing which identifier goes to the trace call

f73f979

whitespace, comments

1a91b63

Removing trace this test case. see #434

704f143

ivoysey changed the title ~~Traceafterwrite~~ call the tracer after field writes Apr 1, 2022

ivoysey marked this pull request as ready for review April 1, 2022 15:45

ivoysey requested a review from mcoblenz April 1, 2022 15:45

ivoysey mentioned this pull request Apr 1, 2022

double check the output of TraceThis.obs #434

Open

ivoysey merged commit d376ed3 into master Apr 1, 2022

ivoysey deleted the traceafterwrite branch April 1, 2022 19:03

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

call the tracer after field writes #430

call the tracer after field writes #430

ivoysey commented Mar 9, 2022 •

edited

Loading

call the tracer after field writes #430

call the tracer after field writes #430

Conversation

ivoysey commented Mar 9, 2022 • edited Loading

ivoysey commented Mar 9, 2022 •

edited

Loading