Commits

Breadcrumbs

History for

on3ebd064

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2016

• Rename variable_con into variable_ctx

  pirapira

  committed
  3ebd064

  Copy full SHA for 3ebd064

• ProgramToEnvironment now contains the list of touched storage indices

  pirapira

  committed
  24522c6

  Copy full SHA for 24522c6

• vcon->vctx

  pirapira

  committed
  7e92f3f

  Copy full SHA for 7e92f3f

Commits on Dec 18, 2016

• Fix build

  pirapira

  committed
  2803ede

  Copy full SHA for 2803ede

• Rename variable environment into variable context

  pirapira

  committed
  6382499

  Copy full SHA for 6382499

Commits on Dec 16, 2016

• World -> Environment

  pirapira

  committed
  9a10225

  Copy full SHA for 9a10225

Commits on Dec 13, 2016

• Adding gas definitions so that the simplifier can get concrete numbers

  pirapira

  committed
  5273d93

  Copy full SHA for 5273d93

Commits on Nov 26, 2016

• fixed Deed again

  pirapira

  committed
  2aed8a8

  Copy full SHA for 2aed8a8

Commits on Nov 16, 2016

• Using evm.lem and recovered proofs until FailOnReentrance

  pirapira

  committed
  bd7ac09

  Copy full SHA for bd7ac09

Commits on Nov 15, 2016

• Add lem library files and be more specific about the license

  pirapira

  committed
  6289913

  Copy full SHA for 6289913

Commits on Oct 28, 2016

• Numerous small changes

  pirapira

  committed
  fed3844

  Copy full SHA for fed3844

• Small edits

  pirapira

  committed
  46110ba

  Copy full SHA for 46110ba

• More comments

  pirapira

  committed
  d62ece9

  Copy full SHA for d62ece9

• Formatting etc

  pirapira

  committed
  ac35cf8

  Copy full SHA for ac35cf8

Commits on Oct 27, 2016

• Proved some useful arithmetic lemmata

  pirapira

  committed
  b2840f5

  Copy full SHA for b2840f5

Commits on Oct 26, 2016

• Traverse the program only once in no_assertion_failure proofs

  pirapira

  committed
  2e709c1

  Copy full SHA for 2e709c1

• Optimizing definitions for shorter proofs

  pirapira

  committed
  21a6ae4

  Copy full SHA for 21a6ae4

Commits on Oct 25, 2016

• Comment RelationalSem.thy

  pirapira

  committed
  517cbd9

  Copy full SHA for 517cbd9

Commits on Oct 23, 2016

• Rename one_step into one_round

  pirapira

  committed
  9f5e208

  Copy full SHA for 9f5e208

• Only consider natural balance increase after the call.

  Show description for e61f3b7
  pirapira

  committed
  e61f3b7

  Copy full SHA for e61f3b7

• The account cleanup only happens at the end of a transaction

  pirapira

  committed
  3f39000

  Copy full SHA for 3f39000

Commits on Oct 22, 2016

• Apply the simplification rules more aggressively

  pirapira

  committed
  9882546

  Copy full SHA for 9882546

• Defined a predicate involving a pre/post condition pair

  pirapira

  committed
  a7834a2

  Copy full SHA for a7834a2

• Add some shortcuts when the invocation is over.

  pirapira

  committed
  4998e37

  Copy full SHA for 4998e37

Commits on Oct 21, 2016

• Fix #34

  pirapira

  committed
  7a72cee

  Copy full SHA for 7a72cee

Commits on Oct 19, 2016

• Using AVL tree for instructions

  Show description for 15e3ce3
  pirapira

  committed
  15e3ce3

  Copy full SHA for 15e3ce3

Commits on Oct 18, 2016

• Trying to optimize the performance

  pirapira

  committed
  4bb1633

  Copy full SHA for 4bb1633

• Optimizing proofs

  pirapira

  committed
  7bf74e1

  Copy full SHA for 7bf74e1

Commits on Oct 17, 2016

• Clarify the scope of the relational semantics so that it covers an invocation until a return,

  Show description for 5c1d43f
  pirapira

  committed
  5c1d43f

  Copy full SHA for 5c1d43f

• Fixed the timing when the variable_env is popped from the account_state

  pirapira

  committed
  c3df8ba

  Copy full SHA for c3df8ba

Commits on Oct 15, 2016

• More efficient program format

  pirapira

  committed
  3381d9d

  Copy full SHA for 3381d9d

Commits on Oct 14, 2016

• The invariant thing works!

  pirapira

  committed
  fe1c336

  Copy full SHA for fe1c336

• Make the relational semantics aware of reentrance

  pirapira

  committed
  da50e21

  Copy full SHA for da50e21

• Actually calling functions in the relational semantics

  pirapira

  committed
  6c1394a

  Copy full SHA for 6c1394a

• Finished the skelton of no_assertion_failure proofs

  Show description for 54338bb
  pirapira

  committed
  54338bb

  Copy full SHA for 54338bb

Pagination

Previous

Next