Commits

Breadcrumbs

History for

onversion2

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 10, 2018

• Add monadic translator examples back

  xrchz

  committed
  609a5b4

  Copy full SHA for 609a5b4

Commits on Jan 23, 2018

• Temporarily remove monadic/examples from build-sequence

  myreen

  committed
  a31f6ee

  Copy full SHA for a31f6ee

Commits on Jan 3, 2018

• Add monadic translator examples to build sequence

  xrchz

  committed
  d887855

  Copy full SHA for d887855

Commits on Dec 10, 2017

• Improve scripts by fixing ShellCheck warnings

  

  zapashcanon

  authored and

  xrchz

  committed
  7365bb2

  Copy full SHA for 7365bb2

Commits on Dec 3, 2017

• Add artefacts list to developers; tweak filenames

  Show description for cf654e9
  xrchz

  committed
  cf654e9

  Copy full SHA for cf654e9

Commits on Dec 2, 2017

• Bootstrap 32-bit compiler on x64

  Show description for 26f53bc
  

  tanyongkiam

  authored and

  xrchz

  committed
  26f53bc

  Copy full SHA for 26f53bc

Commits on Nov 29, 2017

• Fix build-sequence duplication

  Show description for 920b913
  tanyongkiam

  committed
  920b913

  Copy full SHA for 920b913

Commits on Nov 27, 2017

• Merge remote-tracking branch 'origin/master' into arm6_export

  tanyongkiam

  committed
  a05a810

  Copy full SHA for a05a810

• Add list of globs to exclude from relocatable tarball

  Show description for 40a6374
  xrchz

  committed
  40a6374

  Copy full SHA for 40a6374

Commits on Nov 25, 2017

• Update build-sequence

  tanyongkiam

  committed
  54c70cf

  Copy full SHA for 54c70cf

Commits on Nov 17, 2017

• Remove old regression-test-related stuff

  Show description for 77df0bb
  xrchz

  committed
  77df0bb

  Copy full SHA for 77df0bb

Commits on Nov 8, 2017

• Move new regression test infrastructure

  Show description for 6d8819a
  xrchz

  committed
  6d8819a

  Copy full SHA for 6d8819a

• Do an improvement pass over regression code

  Show description for 7a6c12f
  xrchz

  committed
  7a6c12f

  Copy full SHA for 7a6c12f

• Improve regression test worker

  Show description for 86bf0b0
  xrchz

  committed
  86bf0b0

  Copy full SHA for 86bf0b0

• Make various improvements to regression suite

  Show description for 0d900bc
  xrchz

  committed
  0d900bc

  Copy full SHA for 0d900bc

• Implement worker half of regression test infrastructure

  Show description for 70a86bd
  xrchz

  committed
  70a86bd

  Copy full SHA for 70a86bd

Commits on Nov 7, 2017

• Refactor regression code a little

  Show description for 957bb5d
  xrchz

  committed
  957bb5d

  Copy full SHA for 957bb5d

• Simplify regression api slightly

  Show description for a0f603b
  xrchz

  committed
  a0f603b

  Copy full SHA for a0f603b

• Implement removal of superseded waiting jobs

  xrchz

  committed
  eb629dd

  Copy full SHA for eb629dd

• Implement half of an automated regression test suite

  Show description for cd6fec3
  xrchz

  committed
  cd6fec3

  Copy full SHA for cd6fec3

Commits on Nov 3, 2017

• Added Jenkinsfile and Dockerfile for regression testing with Jenkins

  

  Luke Mondy

  authored and

  xrchz

  committed
  67c958a

  Copy full SHA for 67c958a

Commits on Oct 28, 2017

• Add two directories to build-sequence

  xrchz

  committed
  cb2469e

  Copy full SHA for cb2469e

Commits on Sep 28, 2017

• Move characteristic/examples to top-level

  Show description for 2d47289
  xrchz

  committed
  2d47289

  Copy full SHA for 2d47289

• Rename bootstrap/evaluation to bootstrap/compilation

  Show description for cef6656
  xrchz

  committed
  cef6656

  Copy full SHA for cef6656

Commits on Sep 21, 2017

• Slightly update wc.sh

  Show description for b500ae0
  xrchz

  committed
  b500ae0

  Copy full SHA for b500ae0

Commits on Jul 11, 2017

• Increase regression test timeout to 48h

  xrchz

  committed
  2dd99b4

  Copy full SHA for 2dd99b4

• Add x64 bootstrap proofs to build sequence

  xrchz

  committed
  e12180e

  Copy full SHA for e12180e

• Add --qof to Holmake in regression test

  Show description for 07b2bca
  xrchz

  committed
  07b2bca

  Copy full SHA for 07b2bca

Commits on Jul 8, 2017

• Remove deleted explorer from build sequence

  xrchz

  committed
  5aae43d

  Copy full SHA for 5aae43d

• Remove old compiler explorer

  xrchz

  committed
  fe90e53

  Copy full SHA for fe90e53

Commits on Jun 27, 2017

• Add monadic translator theories to build sequence

  xrchz

  committed
  e2c78fe

  Copy full SHA for e2c78fe

Commits on Jun 13, 2017

• Update build-sequence

  tanyongkiam

  committed
  0633017

  Copy full SHA for 0633017

Commits on May 30, 2017

• Increase regression test timeout to 32h

  xrchz

  committed
  7d0ada2

  Copy full SHA for 7d0ada2

Commits on May 25, 2017

• Fix location of benchmarks dir in build-sequence

  xrchz

  committed
  ccd076d

  Copy full SHA for ccd076d

Commits on Apr 24, 2017

• Rework build-sequence after removing eval/targets

  xrchz

  committed
  4c3520c

  Copy full SHA for 4c3520c

Pagination

Previous

Next