Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 13, 2022

• [chore] update various docs to reflect new location of repo (#12)

  sblackshear

  authored
  8625c74

  Copy full SHA for 8625c74

Commits on Feb 22, 2022

• Remove API Build Tool from dev_setup

  Show description for f485b79
  

  666lcz

  authored and

  bors-diem

  committed
  f485b79

  Copy full SHA for f485b79

• Remove Codegen from dev_setup

  

  666lcz

  authored and

  bors-diem

  committed
  615831e

  Copy full SHA for 615831e

• Simplify dev_setup script

  

  666lcz

  authored and

  bors-diem

  committed
  11130af

  Copy full SHA for 11130af

Commits on Feb 9, 2022

• [evm] Compile generated Yul & extend dev_setup with solc

  Show description for f996ad2
  

  wrwg

  authored and

  jsladermanACN

  committed
  f996ad2

  Copy full SHA for f996ad2

Commits on Dec 4, 2021

• Updated from cvc4 to cvc5

  Show description for e0b37a3
  

  Clark Barrett

  authored and

  bors-libra

  committed
  e0b37a3

  Copy full SHA for e0b37a3

Commits on Nov 9, 2021

• [api] update dev_setup.sh to install nodejs & python tools for api build

  Show description for f9f2ffc
  

  Xiao Li

  authored and

  bors-libra

  committed
  f9f2ffc

  Copy full SHA for f9f2ffc

Commits on Nov 2, 2021

• [docker] update base image

  

  sausagee

  authored and

  bors-libra

  committed
  be0a333

  Copy full SHA for be0a333

Commits on Oct 14, 2021

• [shuffle] add deno to scripts/dev_setup.sh for codegen:

  Show description for bdfbe6d
  

  dimroc

  authored and

  bors-libra

  committed
  bdfbe6d

  Copy full SHA for bdfbe6d

Commits on Oct 1, 2021

• [docker] update base image

  Show description for faf5f46
  

  sausagee

  authored and

  bors-libra

  committed
  faf5f46

  Copy full SHA for faf5f46

Commits on Sep 22, 2021

• [ci] workaround gha mounting a new home dir.

  

  rexhoffman

  authored and

  bors-libra

  committed
  4477bf2

  Copy full SHA for 4477bf2

Commits on Sep 8, 2021

• [docker] update base image to debian:buster-20210902

  Show description for c3fb468
  

  sausagee

  authored and

  bors-libra

  committed
  c3fb468

  Copy full SHA for c3fb468

Commits on Aug 18, 2021

• [docker] new debian base image

  Show description for 7b16220
  

  rexhoffman

  authored and

  bors-libra

  committed
  7b16220

  Copy full SHA for 7b16220

Commits on Jul 26, 2021

• [docker] update debian base image

  Show description for 82cae51
  

  rexhoffman

  authored and

  bors-libra

  committed
  82cae51

  Copy full SHA for 82cae51

Commits on Jun 24, 2021

• [docker] update alpine and debian docker base images

  Show description for 11addba
  

  rexhoffman

  authored and

  bors-libra

  committed
  11addba

  Copy full SHA for 11addba

Commits on Jun 9, 2021

• dev-setup: install cargo-guppy

  Show description for 0fff13b
  

  bmwill

  authored and

  bors-libra

  committed
  0fff13b

  Copy full SHA for 0fff13b

Commits on Jun 2, 2021

• cleaning up after others.

  

  rexhoffman

  authored and

  bors-libra

  committed
  68c4cee

  Copy full SHA for 68c4cee

Commits on May 12, 2021

• [docker] use latest debian base images

  Show description for 19b6b5d
  

  rexhoffman

  authored and

  bors-libra

  committed
  19b6b5d

  Copy full SHA for 19b6b5d

Commits on Apr 13, 2021

• [docker] debian base image update

  Show description for 560c2f7
  

  rexhoffman

  authored and

  bors-libra

  committed
  560c2f7

  Copy full SHA for 560c2f7

Commits on Apr 11, 2021

• [move-prover] Enable some cvc4 functional tests.

  Show description for 5835274
  

  wrwg

  authored and

  bors-libra

  committed
  5835274

  Copy full SHA for 5835274

Commits on Mar 31, 2021

• [docker] update debian base images

  Show description for 3871bac
  

  rexhoffman

  authored and

  bors-libra

  committed
  3871bac

  Copy full SHA for 3871bac

Commits on Mar 30, 2021

• [cargo-toolchain] clean up old spilt versioned build rust-/cargo- versions

  Show description for 8fc053f
  

  rexhoffman

  authored and

  bors-libra

  committed
  8fc053f

  Copy full SHA for 8fc053f

Commits on Mar 29, 2021

• [docker] debian base update

  Show description for d6ef9e2
  

  rexhoffman

  authored and

  bors-libra

  committed
  d6ef9e2

  Copy full SHA for d6ef9e2

Commits on Mar 15, 2021

• [docker] update debian base images.

  Show description for 25b68a6
  

  rexhoffman

  authored and

  bors-libra

  committed
  25b68a6

  Copy full SHA for 25b68a6

Commits on Feb 22, 2021

• [ci] setup codegen requirements

  

  ma2bd

  authored and

  bors-libra

  committed
  01093cd

  Copy full SHA for 01093cd

Commits on Feb 18, 2021

• [base image] each branch now gets it's own base image, and the base image has one giant layer for all tooling right where gha expects it.

  Show description for 2c291a7
  

  rexhoffman

  authored and

  bors-libra

  committed
  2c291a7

  Copy full SHA for 2c291a7

Commits on Feb 9, 2021

• [docker] debian-upgrade

  Show description for 15a692e
  

  rexhoffman

  authored and

  bors-libra

  committed
  15a692e

  Copy full SHA for 15a692e

Commits on Jan 21, 2021

• [docker] updates and tests

  Show description for 0557612
  

  rexhoffman

  authored and

  bors-libra

  committed
  0557612

  Copy full SHA for 0557612

Commits on Jan 11, 2021

• [gha] e2e tests, sccache, cache, and documentation cleanup

  Show description for 3799b63
  

  rexhoffman

  authored and

  bors-libra

  committed
  3799b63

  Copy full SHA for 3799b63

Commits on Jan 10, 2021

• [gha] fix prepare action to use docker image preinstalled tooling, fix matches logic with invert capability.

  Show description for b705cc2
  

  rexhoffman

  authored and

  bors-libra

  committed
  b705cc2

  Copy full SHA for b705cc2

Commits on Jan 5, 2021

• [gha] Create changes action to help short circuit jobs.

  

  rexhoffman

  authored and

  bors-libra

  committed
  bfa61ea

  Copy full SHA for bfa61ea

• [gha] initial base docker image build for gha

  

  rexhoffman

  authored and

  bors-libra

  committed
  6295e7c

  Copy full SHA for 6295e7c

Loading