Commits

Breadcrumbs

History for

onweb3_opcode

User selector

All users

All time

Commit History

Commits on Nov 18, 2019

• Deploy gh pages for Jello Paper (#550)

  Show description for b974338
  

  ehildenb

  authored and

  rv-jenkins

  committed
  b974338

  Copy full SHA for b974338

Commits on Aug 6, 2019

• Trufflecon - Presentations and demo files added (#425)

  Show description for bb75ac3
  ehildenb

  authored
  bb75ac3

  Copy full SHA for bb75ac3

Commits on Jun 6, 2019

• Updates to kevm script, including updates to KLab invocation, cleanup for Makefile (#368)

  Show description for eb0e431
  

  ehildenb

  authored and

  dwightguth

  committed
  eb0e431

  Copy full SHA for eb0e431

Commits on Jun 5, 2019

• Moves dependency submodules into `deps` directory, so that `.build` is only for building. (#369)

  Show description for 444c192
  ehildenb

  authored
  444c192

  Copy full SHA for 444c192

Commits on Aug 10, 2018

• Makefile, media/: single file for each presentation

  

  Everett Hildenbrandt

  committed
  2d78058

  Copy full SHA for 2d78058

• media/images: add k-overview and proof-system images

  

  Everett Hildenbrandt

  committed
  53c7da3

  Copy full SHA for 53c7da3

• media/2018-csf: final version of CSF presentation

  

  Everett Hildenbrandt

  committed
  71d7fb4

  Copy full SHA for 71d7fb4

• media/2018-csf: update typos, add RL inference system

  

  Everett Hildenbrandt

  committed
  07dd7b9

  Copy full SHA for 07dd7b9

• media/2018-csf: more information, clarification

  

  Everett Hildenbrandt

  committed
  d8cc783

  Copy full SHA for d8cc783

• media/2018-csf: better wording

  

  Everett Hildenbrandt

  committed
  7747930

  Copy full SHA for 7747930

• media/2018-csf: add relevant links to presentation

  

  Everett Hildenbrandt

  committed
  e848887

  Copy full SHA for e848887

• media/2017-csf: add section about ERC20 verification

  

  Everett Hildenbrandt

  committed
  4443340

  Copy full SHA for 4443340

• media/2018-csf: clarifications

  

  Everett Hildenbrandt

  committed
  d7fadcf

  Copy full SHA for d7fadcf

• media/{citations,2018-csf}: add citations

  

  Everett Hildenbrandt

  committed
  21415c2

  Copy full SHA for 21415c2

• Makefile, media/2017-devcon3: simplify generation of presentation

  

  Everett Hildenbrandt

  committed
  ea2bafa

  Copy full SHA for ea2bafa

• media/2018-csf: first cut at presentation

  

  Everett Hildenbrandt

  committed
  f7ed621

  Copy full SHA for f7ed621

Commits on Apr 20, 2018

• media/2017-devcon3: adding closing slides

  

  Everett Hildenbrandt

  committed
  5422c43

  Copy full SHA for 5422c43

• media/2017-devcon3: adding ABI compliant verification abstraction

  

  Everett Hildenbrandt

  committed
  e2b00bd

  Copy full SHA for e2b00bd

• media/2017-devcon3: adding configuration slides

  

  Everett Hildenbrandt

  committed
  967d6af

  Copy full SHA for 967d6af

• media/2017-devcon3: initial derivation from semantics

  

  Everett Hildenbrandt

  committed
  f441921

  Copy full SHA for f441921

• media/2017-devcon3: adding template for 2017-devcon beamer presentation

  

  Everett Hildenbrandt

  committed
  112797e

  Copy full SHA for 112797e

Loading