Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 7, 2021

• Snap: update z3

  come-maiz

  committed
  7b1a12a

  Copy full SHA for 7b1a12a

Commits on Oct 2, 2021

• Remote trailing spaces

  

  Leo Arias

  committed
  559fab3

  Copy full SHA for 559fab3

• Snap: update cvc4 to 1.8

  come-maiz

  committed
  def01ea

  Copy full SHA for def01ea

Commits on Sep 29, 2021

• Snap: update command path

  come-maiz

  committed
  ecded76

  Copy full SHA for ecded76

Commits on Sep 28, 2021

• Update the snap to build on Ubuntu 20.04

  

  Leo Arias

  committed
  4d49008

  Copy full SHA for 4d49008

Commits on Aug 26, 2019

• Add wget to the build packages of the snap

  Show description for d95252f
  

  Leo Arias

  authored
  d95252f

  Copy full SHA for d95252f

Commits on Aug 15, 2019

• Install the libcvc library

  

  Leo Arias

  committed
  d25a343

  Copy full SHA for d25a343

• Fix the stage path

  

  Leo Arias

  committed
  7573133

  Copy full SHA for 7573133

• Build cvc4 when packaging the snap

  

  Leo Arias

  committed
  4715343

  Copy full SHA for 4715343

Commits on Feb 15, 2019

• Add cvc4 to the snap

  come-maiz

  committed
  ed81a9f

  Copy full SHA for ed81a9f

Commits on Feb 12, 2019

• snap: build the latest z3

  Show description for b6798f8
  come-maiz

  committed
  b6798f8

  Copy full SHA for b6798f8

Commits on Jan 28, 2019

• snap: update libicu to bionic

  Show description for 0757b46
  

  Leo Arias

  authored
  0757b46

  Copy full SHA for 0757b46

Commits on Aug 24, 2017

• Add libz3-dev to the snap build-packages

  

  Leo Arias

  committed
  940ec4b

  Copy full SHA for 940ec4b

Commits on Jul 26, 2017

• update the snap metadata to allow stable releases

  Show description for 6fc3679
  

  Leo Arias

  authored
  6fc3679

  Copy full SHA for 6fc3679

Commits on Jul 18, 2017

• use echo -n instead of touch

  

  Leo Arias

  committed
  e0b13ec

  Copy full SHA for e0b13ec

• Prepare the version of the snap package for the release tags

  

  Leo Arias

  committed
  841fe4b

  Copy full SHA for 841fe4b

Commits on Jun 28, 2017

• Add the packaging metadata to build the solidity snap

  

  Leo Arias

  committed
  9fc0060

  Copy full SHA for 9fc0060

Loading