Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 29, 2018

• Show termination of sha3_update

  pirapira

  committed
  52e2196

  Copy full SHA for 52e2196

Commits on Oct 10, 2017

• Got deed session in the previous form

  pirapira

  committed
  9f4ab17

  Copy full SHA for 9f4ab17

Commits on Jun 29, 2017

• Remove more about annotations

  pirapira

  committed
  575a059

  Copy full SHA for 575a059

• Somehow removing IntructionAnnotationFailure

  pirapira

  committed
  65cbe7a

  Copy full SHA for 65cbe7a

Commits on Apr 25, 2017

• Fixing proofs

  pirapira

  committed
  6c1b0e0

  Copy full SHA for 6c1b0e0

Commits on Mar 29, 2017

• Fix ContractSem.thy

  pirapira

  committed
  e3b5a21

  Copy full SHA for e3b5a21

Commits on Mar 10, 2017

• started writing a theory to prove equivalence of two defs of store_byte_list_memory

  mrsmkl

  committed
  54ac6c1

  Copy full SHA for 54ac6c1

Commits on Mar 3, 2017

• Fix build

  pirapira

  committed
  2427485

  Copy full SHA for 2427485

Commits on Feb 21, 2017

• new definition of cut_memory works

  mrsmkl

  committed
  e15f2b8

  Copy full SHA for e15f2b8

Commits on Feb 1, 2017

• Prove termination of new cut_memory

  pirapira

  committed
  a022cb8

  Copy full SHA for a022cb8

• Change the type of cut_memory

  Show description for ed9b2fb
  pirapira

  committed
  ed9b2fb

  Copy full SHA for ed9b2fb

Commits on Jan 19, 2017

• Fix typo

  pirapira

  committed
  1292088

  Copy full SHA for 1292088

Commits on Jan 17, 2017

• Remove touched_storage_element which was duplicate

  pirapira

  committed
  0511c10

  Copy full SHA for 0511c10

• remove duplicate balance informatino from InstructionToEnvironment constructor

  pirapira

  committed
  e9cb364

  Copy full SHA for e9cb364

• Fix build

  pirapira

  committed
  11ec3d7

  Copy full SHA for 11ec3d7

• Remove duplicate storage element from the construction InstructionToEnvironment

  pirapira

  committed
  3d5ecf4

  Copy full SHA for 3d5ecf4

• Remove a duplicate item logs from the constructor InstructionToEnvironment

  pirapira

  committed
  71c5f09

  Copy full SHA for 71c5f09

Commits on Jan 16, 2017

• Change InstructionToEnvironment to contain a variable_env

  pirapira

  committed
  c7d42c2

  Copy full SHA for c7d42c2

Commits on Jan 14, 2017

• Remove InstructionInit

  pirapira

  committed
  215997e

  Copy full SHA for 215997e

• Add reasons to failure

  Show description for 38c44b1
  pirapira

  committed
  38c44b1

  Copy full SHA for 38c44b1

Commits on Jan 12, 2017

• Unify two types instruction_result and program_result which are very similar

  pirapira

  committed
  74519e1

  Copy full SHA for 74519e1

Commits on Jan 11, 2017

• Improve the performance of the tests.

  Show description for ebf4e32
  pirapira

  committed
  ebf4e32

  Copy full SHA for ebf4e32

Commits on Jan 9, 2017

• Change the type of program_sem to operate on the same set

  pirapira

  committed
  8fdd46f

  Copy full SHA for 8fdd46f

Commits on Jan 8, 2017

• Simplify program_sem

  pirapira

  committed
  21a2ae2

  Copy full SHA for 21a2ae2

• ProgramStepRunOut exposes the current contexts

  pirapira

  committed
  faa6e12

  Copy full SHA for faa6e12

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

Pagination

Previous

Next