Commits

Breadcrumbs

History for

onweb3_emptyString

User selector

All users

All time

Commit History

Commits on Jan 17, 2020

• Openzeppelin Testing Harness (#669)

  Show description for bde6456
  

  3 peoplecommitted
  bde6456

  Copy full SHA for bde6456

Commits on Jan 16, 2020

• Default ISTANBUL schedule in as many places as possible (#672)

  Show description for 9a89477
  ehildenb

  authored
  9a89477

  Copy full SHA for 9a89477

Commits on Dec 23, 2019

• Direct testing of erc20detailed using Truffle (#637)

  Show description for 39dd1e5
  

  3 peoplecommitted
  39dd1e5

  Copy full SHA for 39dd1e5

Commits on Sep 5, 2019

• Update k submodule and remove references to rust (#474)

  Show description for d953fa8
  

  dwightguth

  authored
  d953fa8

  Copy full SHA for d953fa8

Commits on Aug 23, 2019

• Use raw Bool for JSON responses, better web3 testing harness (#456)

  Show description for 26de1dd
  ehildenb

  authored
  26de1dd

  Copy full SHA for 26de1dd

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 Jul 22, 2019

• Arch/Ubuntu Linux packaging (#398)

  Show description for a743114
  ehildenb

  authored
  a743114

  Copy full SHA for a743114

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 May 6, 2019

• Updates which make KEVM build on Arch Linux with LLVM backend (#343)

  Show description for 0dd4ae6
  ehildenb

  authored
  0dd4ae6

  Copy full SHA for 0dd4ae6

Commits on Sep 7, 2018

• .build/kore, .gitignore, .gitmodules: added Kore as a submodule

  

  traiansf

  authored and

  Everett Hildenbrandt

  committed
  2a51912

  Copy full SHA for 2a51912

Commits on Jun 12, 2018

• .build/sphinx-docs, .gitignore, Makefile: add index ToC to jellopaper

  

  pdaian

  authored and

  Everett Hildenbrandt

  committed
  8fa3b36

  Copy full SHA for 8fa3b36

Commits on Apr 20, 2018

• .build/media/metropolis, .gitignore, .gitmodules: add metropolis theme sources submodule

  

  Everett Hildenbrandt

  committed
  a7ebabd

  Copy full SHA for a7ebabd

Commits on Mar 9, 2018

• .gitignore: unignore old proofs directory and proofs submodule

  

  daejunpark

  authored and

  Everett Hildenbrandt

  committed
  68dd497

  Copy full SHA for 68dd497

Commits on Mar 7, 2018

• .gitignore: ignore generate proof specs and definitions

  

  Everett Hildenbrandt

  committed
  b232000

  Copy full SHA for b232000

Commits on Feb 28, 2018

• .build/pandoc-tangle, .gitignore, .gitmodules: add pandoc-tangle submodule

  

  Everett Hildenbrandt

  authored and

  Dwight Guth

  committed
  0454d0d

  Copy full SHA for 0454d0d

Commits on Jan 30, 2018

• tests/ci/{rv-k, uiuc-k}, .build/k, .git{modules,ignore}: move submodule for K

  Show description for 208198c
  

  Dwight Guth

  committed
  208198c

  Copy full SHA for 208198c

Commits on Jan 17, 2018

• .build/sphin-docs/conf.py, .gitignore, Makefile, docs/: integrate Sphinx doc generation into Makefile

  

  Everett Hildenbrandt

  committed
  1ae7556

  Copy full SHA for 1ae7556

Commits on Jan 12, 2018

• Build, README.md, .gitignore: We no longer depend on `pandoc-tangle`

  

  nishantjr

  authored and

  Everett Hildenbrandt

  committed
  e41be0d

  Copy full SHA for e41be0d

• .gitignore, docs/: add auto-documentation to evm semantics

  Show description for 0f2aa8e
  

  pdaian

  authored and

  Everett Hildenbrandt

  committed
  0f2aa8e

  Copy full SHA for 0f2aa8e

Commits on Dec 20, 2017

• .gitignore, Makefile, tangle.lua: use lua script to tangle markdown files

  

  Dwight Guth

  committed
  7f68744

  Copy full SHA for 7f68744

Commits on Sep 11, 2017

• Makefile, Build, .gitignore: split BlockchainTests as well

  

  Everett Hildenbrandt

  authored and

  dwightguth

  committed
  bf8205e

  Copy full SHA for bf8205e

• KRYPTO.ml, META, Makefile, krypto.md, with-k: add ECDSARecover crypto function

  Show description for afedcc7
  

  Dwight Guth

  committed
  afedcc7

  Copy full SHA for afedcc7

• .gitignore: stop ignoring rvk build products

  Show description for 568b270
  

  Everett Hildenbrandt

  authored and

  dwightguth

  committed
  568b270

  Copy full SHA for 568b270

Commits on Aug 24, 2017

• gitignore: cleanup, move test logs to .build

  nishantjr

  committed
  8e57442

  Copy full SHA for 8e57442

Commits on Aug 2, 2017

• .build/rvk: adding build products to repo

  

  Everett Hildenbrandt

  committed
  cc575c7

  Copy full SHA for cc575c7

Commits on Jul 18, 2017

• unignore the tests/proofs/*spec-k files to allow use of prover without pandoc tangle

  

  msaxena2

  authored and

  ehildenb

  committed
  e4e7661

  Copy full SHA for e4e7661

• Convert hkg token spec.k files to markdown and move to /proofs/

  

  msaxena2

  authored and

  ehildenb

  committed
  92dda87

  Copy full SHA for 92dda87

Commits on Jul 15, 2017

• Build decides which K we are using and pass it on to the Makefile

  Show description for 44431e8
  

  nishantjr

  authored and

  ehildenb

  committed
  44431e8

  Copy full SHA for 44431e8

Commits on Jul 7, 2017

• removing extra directory called tests-develop

  

  Everett Hildenbrandt

  committed
  abc0d60

  Copy full SHA for abc0d60

Commits on Jun 27, 2017

• gitignore: Ignore RV-K's build products

  

  nishantjr

  authored and

  ehildenb

  committed
  c7b20cc

  Copy full SHA for c7b20cc

Commits on Jun 22, 2017

• Build: Keep a record of tests that passed on the lastrun

  nishantjr

  committed
  68275ff

  Copy full SHA for 68275ff

Commits on Jun 19, 2017

• added ktest capabilites to makefile

  msaxena2

  committed
  a62761b

  Copy full SHA for a62761b

Commits on Jun 18, 2017

• gitignore: /tmp: Temp folder for scratch data, TODOs etc

  nishantjr

  committed
  c07de8d

  Copy full SHA for c07de8d

• Remove and gitignore split tests in tests/tests-develop/

  Show description for ed0e1b0
  nishantjr

  committed
  ed0e1b0

  Copy full SHA for ed0e1b0

Commits on Jun 17, 2017

• ignoring folder tests-develop

  

  Everett Hildenbrandt

  committed
  acb590e

  Copy full SHA for acb590e