Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 28, 2022

• Fix emscripten docker hash

  

  Leo Alt

  committed
  15b062e

  Copy full SHA for 15b062e

Commits on Nov 25, 2022

• Let the nightlies call themselves 'nightly', the return.

  Show description for cf5d0d3
  r0qs

  committed
  cf5d0d3

  Copy full SHA for cf5d0d3

Commits on Nov 24, 2022

• use new docker images

  

  Leo Alt

  committed
  f3d7dfb

  Copy full SHA for f3d7dfb

Commits on Oct 20, 2022

• Add git safe.directory workaround in emscripten build script

  Show description for 9dbc3e0
  r0qs

  committed
  9dbc3e0

  Copy full SHA for 9dbc3e0

Commits on Aug 30, 2022

• Update docker images and tests

  

  Leo Alt

  committed
  16c0838

  Copy full SHA for 16c0838

Commits on Aug 25, 2022

• Update docker images for emscripten.

  Marenz

  committed
  484c9d3

  Copy full SHA for 484c9d3

Commits on May 13, 2022

• Update tests and hashes for z3 4.8.17

  

  Leo Alt

  authored and

  ekpyron

  committed
  6a126f6

  Copy full SHA for 6a126f6

Commits on May 12, 2022

• Switch to newly built buildpack-deps images in CI

  cameel

  committed
  c0cc8ff

  Copy full SHA for c0cc8ff

Commits on May 3, 2022

• update smt tests z3 4.8.16

  

  Leo Alt

  committed
  4fd7de3

  Copy full SHA for 4fd7de3

Commits on Jan 12, 2022

• update smtchecker tests for new z3

  

  Leo Alt

  committed
  9f171c0

  Copy full SHA for 9f171c0

Commits on Nov 24, 2021

• bump docker hashes and z3 version

  

  Leo Alt

  committed
  406b1fb

  Copy full SHA for 406b1fb

Commits on Nov 4, 2021

• Update emscripten to version 2.0.33.

  ekpyron

  committed
  a7688a0

  Copy full SHA for a7688a0

Commits on Jul 19, 2021

• update docker hashes and versions

  

  Leo Alt

  committed
  5deccca

  Copy full SHA for 5deccca

Commits on Feb 1, 2021

• Quote stuff properly

  cameel

  committed
  27754d3

  Copy full SHA for 27754d3

Commits on Jan 27, 2021

• Fix badly placed comment in build_emscripten.sh

  cameel

  committed
  b1f2d29

  Copy full SHA for b1f2d29

Commits on Jan 26, 2021

• Update smtCheckerTests for z3 4.8.10

  

  Leonardo Alt

  committed
  40221a9

  Copy full SHA for 40221a9

Commits on Jan 13, 2021

• Switch to new emscripten docker image.

  ekpyron

  committed
  804bd8f

  Copy full SHA for 804bd8f

Commits on Nov 18, 2020

• Replace links to readthedocs.io with ones using the new domain

  cameel

  committed
  5560239

  Copy full SHA for 5560239

Commits on Oct 19, 2020

• Disable travis.

  chriseth

  committed
  3654dcc

  Copy full SHA for 3654dcc

Commits on Sep 14, 2020

• Change build hashes

  

  Leonardo Alt

  committed
  4e448ad

  Copy full SHA for 4e448ad

Commits on Jul 16, 2020

• Switch CI to new docker images.

  ekpyron

  committed
  34c34bd

  Copy full SHA for 34c34bd

Commits on Jun 11, 2020

• Update travis config to move to next docker image revision.

  ekpyron

  committed
  c4464b6

  Copy full SHA for c4464b6

Commits on May 14, 2020

• Add Dockerfile for an Emscripten build environment and use it for CI runs.

  ekpyron

  committed
  8fe27ac

  Copy full SHA for 8fe27ac

Commits on Apr 17, 2020

• Fix inconsistent indentation in scripts/

  Show description for a80b032
  cameel

  committed
  a80b032

  Copy full SHA for a80b032

Commits on Nov 29, 2019

• Update emscripten to 1.39.3

  

  ekpyron

  authored and

  axic

  committed
  edd80a9

  Copy full SHA for edd80a9

Commits on Feb 27, 2019

• Change emscripten default build dir to "emscriptenBuild"

  Show description for 98b7dc2
  Marenz

  committed
  98b7dc2

  Copy full SHA for 98b7dc2

Commits on Feb 25, 2019

• Simplify emscripten build script

  chriseth

  committed
  bde25a0

  Copy full SHA for bde25a0

Commits on Jan 18, 2019

• Update to emscripten 1.38.22

  axic

  committed
  a582f0b

  Copy full SHA for a582f0b

Commits on Jan 17, 2019

• Use emscripten 1.38.8 on both travis and circle.

  ekpyron

  committed
  5baac84

  Copy full SHA for 5baac84

Commits on Nov 21, 2018

• Use emscripten 1.37.21 and boost 1.67.0 on both travis and circle.

  ekpyron

  committed
  119aa10

  Copy full SHA for 119aa10

Commits on Sep 15, 2017

• Circle CI: Emscripten build

  chfast

  committed
  48e0e3b

  Copy full SHA for 48e0e3b

Commits on Mar 23, 2017

• Use "nightly" version string for all CI built binaries.

  chriseth

  committed
  b28aefe

  Copy full SHA for b28aefe

Commits on Sep 17, 2016

• Do not create prerelease build for release branch.

  chriseth

  committed
  10c0953

  Copy full SHA for 10c0953

Commits on Sep 9, 2016

• Remove leading zeroes in prerelease components.

  chriseth

  committed
  29ecc6f

  Copy full SHA for 29ecc6f

Commits on Aug 26, 2016

• Store commit hash and handle prerelease vor all automation tools.

  chriseth

  committed
  4588eda

  Copy full SHA for 4588eda

Pagination

Previous

Next