Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 5, 2021

• Update haskell.nix

  MrChico

  committed
  a2b96cc

  Copy full SHA for a2b96cc

• Update haskell.nix

  MrChico

  committed
  1fe2258

  Copy full SHA for 1fe2258

• Update haskell.nix

  MrChico

  committed
  5aa7d2c

  Copy full SHA for 5aa7d2c

• use nixpkgs sbv

  MrChico

  committed
  928ad01

  Copy full SHA for 928ad01

Commits on Jul 2, 2021

• libff: default to shared for both platforms

  d-xo

  committed
  ece7d9a

  Copy full SHA for ece7d9a

Commits on Jul 1, 2021

• nix: add shared haskell package set

  d-xo

  committed
  c729a52

  Copy full SHA for c729a52

Commits on Jun 1, 2021

• Update deps and nixpkgs to 21.05

  arcz

  committed
  e52cf33

  Copy full SHA for e52cf33

Commits on May 17, 2021

• Apply suggestions from code review

  Show description for b187a4b
  

  MrChico

  and

  asymmetric

  committed
  b187a4b

  Copy full SHA for b187a4b

• fix typo

  MrChico

  committed
  aa94c4b

  Copy full SHA for aa94c4b

• add z3 and cvc4 as build inputs if unwrapped

  MrChico

  committed
  66a663d

  Copy full SHA for 66a663d

• oops

  MrChico

  committed
  27fc7fd

  Copy full SHA for 27fc7fd

• dont delete semver

  MrChico

  committed
  2c3cc4f

  Copy full SHA for 2c3cc4f

• introduce hevm wrapped and unwrapped flavors

  MrChico

  committed
  a326f35

  Copy full SHA for a326f35

• static linux builds

  MrChico

  committed
  18f3d76

  Copy full SHA for 18f3d76

• hybrid approach

  MrChico

  committed
  86d3683

  Copy full SHA for 86d3683

• update sbv

  MrChico

  committed
  6263fc8

  Copy full SHA for 6263fc8

• update sbv

  MrChico

  committed
  2844ddf

  Copy full SHA for 2844ddf

Commits on Jan 19, 2021

• update sbv

  MrChico

  committed
  1c7afa3

  Copy full SHA for 1c7afa3

Commits on Oct 22, 2020

• Fix 'ERROR: Repository not found.' by removing trailing slash in repo URL

  icetan

  committed
  09549cd

  Copy full SHA for 09549cd

Commits on Oct 8, 2020

• bump sbv

  MrChico

  committed
  932e20d

  Copy full SHA for 932e20d

Commits on Aug 18, 2020

• update to the sbv works

  MrChico

  committed
  78a3f33

  Copy full SHA for 78a3f33

• implement symbolic storage for arbitrary contracts

  Show description for a4ea889
  MrChico

  committed
  a4ea889

  Copy full SHA for a4ea889

Commits on Jul 27, 2020

• bump sbv and optimize sbv and hevm

  MrChico

  committed
  eb35215

  Copy full SHA for eb35215

• no optimize

  MrChico

  committed
  fdf790f

  Copy full SHA for fdf790f

• oops

  MrChico

  committed
  7fa67a6

  Copy full SHA for 7fa67a6

• use callCabal2nix for jays and restless-git

  MrChico

  committed
  581359a

  Copy full SHA for 581359a

• nix-infra: use callCabal2nix instead of cabal2nix generated file

  MrChico

  committed
  4eb533a

  Copy full SHA for 4eb533a

Commits on Jul 22, 2020

• lock solc to hevm

  MrChico

  committed
  30dd332

  Copy full SHA for 30dd332

• bump sbv to 8.6

  MrChico

  committed
  d98bfef

  Copy full SHA for d98bfef

• tidy

  Show description for e4e1916
  MrChico

  committed
  e4e1916

  Copy full SHA for e4e1916

• add 'idealized' README

  Show description for cc8cd2d
  MrChico

  committed
  cc8cd2d

  Copy full SHA for cc8cd2d

Commits on Jun 16, 2020

• add cvc4 derivation and incorporate into sbv and hevm (dapphub#397)

  MrChico

  authored
  9d48a1a

  Copy full SHA for 9d48a1a

Commits on Jun 17, 2019

• haskell.nix: explicitly unbreak semver-range

  

  livnev

  authored and

  asymmetric

  committed
  d8193b5

  Copy full SHA for d8193b5

Commits on May 19, 2019

• hevm: fix ff linking in the overlay

  

  mbrock

  authored and

  livnev

  committed
  d03c35a

  Copy full SHA for d03c35a

Commits on Feb 6, 2019

• hevm: better parsing of pragma SemVer ranges

  Show description for 409254d
  mbrock

  committed
  409254d

  Copy full SHA for 409254d

Pagination

Previous

Next