Commits

Breadcrumbs

History for

ond12dc3b

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 2, 2017

• Remove Instructions.thy that contained only a small number of simp declarations

  pirapira

  committed
  d12dc3b

  Copy full SHA for d12dc3b

Commits on Jan 1, 2017

• Remove an unused function

  pirapira

  committed
  077326e

  Copy full SHA for 077326e

• Close the gap between OCaml and Isabelle/HOL extractions

  pirapira

  committed
  eb25696

  Copy full SHA for eb25696

Commits on Dec 31, 2016

• Some small adjustments regarding endianness

  pirapira

  committed
  9deb54b

  Copy full SHA for 9deb54b

• Some compilation adjustments

  pirapira

  committed
  5f7f28a

  Copy full SHA for 5f7f28a

• Fix make lem-pdf

  pirapira

  committed
  9f83cc0

  Copy full SHA for 9f83cc0

• replace camel case

  pirapira

  committed
  fcd01e8

  Copy full SHA for fcd01e8

Commits on Dec 29, 2016

• Fix Deed proof again

  pirapira

  committed
  43a7a5d

  Copy full SHA for 43a7a5d

Commits on Dec 23, 2016

• Remove reference to removed definitions

  pirapira

  committed
  69661b6

  Copy full SHA for 69661b6

• Remove imports of ContractEnv

  pirapira

  committed
  8f72447

  Copy full SHA for 8f72447

Commits on Dec 20, 2016

• Rename variable_con into variable_ctx

  pirapira

  committed
  3ebd064

  Copy full SHA for 3ebd064

• vcon->vctx

  pirapira

  committed
  7e92f3f

  Copy full SHA for 7e92f3f

Commits on Dec 18, 2016

• rename constant_environment to constant_context

  pirapira

  committed
  02bb476

  Copy full SHA for 02bb476

• Rename variable environment into variable context

  pirapira

  committed
  6382499

  Copy full SHA for 6382499

Commits on Dec 14, 2016

• FailOnReentrance goes through

  pirapira

  committed
  585d221

  Copy full SHA for 585d221

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 Dec 12, 2016

• More concrete gas info

  pirapira

  committed
  cb87d61

  Copy full SHA for cb87d61

Commits on Nov 22, 2016

• add a makefile goal make doc

  pirapira

  committed
  d00455e

  Copy full SHA for d00455e

Commits on Nov 19, 2016

• Fix the first half of the Deed proof on the Lem definitions

  pirapira

  committed
  2213e69

  Copy full SHA for 2213e69

Commits on Nov 17, 2016

• Fixing Deed. The proof finishes too early, maybe the VM is broken in some way

  pirapira

  committed
  1a35184

  Copy full SHA for 1a35184

Commits on Nov 16, 2016

• Remove duplicate comments

  pirapira

  committed
  80cdfa0

  Copy full SHA for 80cdfa0

• Snapshot

  pirapira

  committed
  a9c5455

  Copy full SHA for a9c5455

• Remove redundant definitions

  pirapira

  committed
  7fe47e4

  Copy full SHA for 7fe47e4

• Removing duplicate definitions

  pirapira

  committed
  01ad311

  Copy full SHA for 01ad311

• Cleaning up comments

  pirapira

  committed
  ff61368

  Copy full SHA for ff61368

• Using evm.lem and recovered proofs until FailOnReentrance

  pirapira

  committed
  bd7ac09

  Copy full SHA for bd7ac09

• fixed up to ContractSem

  pirapira

  committed
  309116e

  Copy full SHA for 309116e

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 Nov 7, 2016

• Remvoe Avl from ContractSem so that this file can be replaced with a translation from Lem

  pirapira

  committed
  ec730ce

  Copy full SHA for ec730ce

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

• More formatting

  pirapira

  committed
  84a35e1

  Copy full SHA for 84a35e1

• More formatting and comments

  pirapira

  committed
  824054b

  Copy full SHA for 824054b

• Formatting etc

  pirapira

  committed
  ac35cf8

  Copy full SHA for ac35cf8

Pagination

Previous

Next