Skip to content

wow let's formally verify the solc optimizer#47

Open
livnev wants to merge 110 commits intomasterfrom
optimizer
Open

wow let's formally verify the solc optimizer#47
livnev wants to merge 110 commits intomasterfrom
optimizer

Conversation

@livnev
Copy link
Member

@livnev livnev commented Aug 21, 2019

hold on to your hats

rainbreak and others added 30 commits July 12, 2019 13:35
was missing an Vat.ilks[ilk].Art increment
A - B * (A / B) != 0 because of (down-)rounding
Urn was fake news, use Usr instead
Dai_e - Bid condition: where did it come from??
Rate_i in range int256: where did it ocme from?
Lot must be in range int256
@livnev
Copy link
Member Author

livnev commented Aug 22, 2019

Discovery: this breaks the pc fetcher for internal functions. Minimal example coming soon to klab test cases.

@livnev livnev closed this Aug 22, 2019
@livnev
Copy link
Member Author

livnev commented Aug 22, 2019

klab fixed here

@livnev livnev reopened this Aug 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants