Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 16, 2023

• Minor

  DavePearce

  committed
  e0f70d5

  Copy full SHA for e0f70d5

Commits on Aug 12, 2022

• Update Java source version

  DavePearce

  committed
  31df244

  Copy full SHA for 31df244

• Update ACE mode

  Show description for 09c52c1
  DavePearce

  committed
  09c52c1

  Copy full SHA for 09c52c1

Commits on Aug 11, 2022

• Merge branch '20-update-deps'

  DavePearce

  committed
  d2b836b

  Copy full SHA for d2b836b

• Update to latest WyC and WyBoogie versions.

  Show description for ba68124
  DavePearce

  committed
  ba68124

  Copy full SHA for ba68124

Commits on Jun 27, 2022

• Add support for WhileyPath

  Show description for 62ebe12
  DavePearce

  committed
  62ebe12

  Copy full SHA for 62ebe12

• Update to latest WyC

  Show description for c3db208
  DavePearce

  committed
  c3db208

  Copy full SHA for c3db208

• Bumping versions

  DavePearce

  committed
  74c15fb

  Copy full SHA for 74c15fb

• Update Maven Central URL

  Show description for 00b2da1
  DavePearce

  committed
  00b2da1

  Copy full SHA for 00b2da1

• Merge pull request #19 from Whiley/dependabot/maven/org.apache.httpcomponents-httpclient-4.5.13

  Show description for 19156b1
  DavePearce

  authored
  19156b1

  Copy full SHA for 19156b1

Commits on Jun 22, 2022

• Update Maven Central URL

  Show description for 2dcb48d
  DavePearce

  committed
  2dcb48d

  Copy full SHA for 2dcb48d

Commits on Dec 9, 2021

• Merge branch 'develop'

  DavePearce

  committed
  0bb2235

  Copy full SHA for 0bb2235

• Update to latest stable version

  Show description for e34fda7
  DavePearce

  committed
  e34fda7

  Copy full SHA for e34fda7

Commits on Jun 4, 2021

• Bump httpclient from 4.5.2 to 4.5.13

  Show description for 5af7c15
  dependabot[bot]

  authored
  5af7c15

  Copy full SHA for 5af7c15

Commits on May 20, 2021

• Trying to get the range figured out

  DavePearce

  committed
  c40af8a

  Copy full SHA for c40af8a

• Update to fixed version of Boogie

  DavePearce

  committed
  f423b7e

  Copy full SHA for f423b7e

Commits on May 19, 2021

• Reverting to earlier version

  Show description for ec589fb
  DavePearce

  committed
  ec589fb

  Copy full SHA for ec589fb

• Minor tweak to force latest Whiley2Boogie

  DavePearce

  committed
  d915b32

  Copy full SHA for d915b32

Commits on Mar 18, 2021

• Update minimum version for Boogie

  DavePearce

  committed
  6adbe3a

  Copy full SHA for 6adbe3a

Commits on Mar 12, 2021

• Merge branch 'develop'

  DavePearce

  committed
  704946c

  Copy full SHA for 704946c

• Merge branch 'feature/boogie' into develop

  DavePearce

  committed
  7bfbbc7

  Copy full SHA for 7bfbbc7

• Support running Boogie (if available)

  Show description for fd4bc31
  DavePearce

  committed
  fd4bc31

  Copy full SHA for fd4bc31

• Support for detecting and running Boogie

  DavePearce

  committed
  26757e5

  Copy full SHA for 26757e5

Commits on Mar 5, 2021

• Initial support for Boogie

  Show description for 794f69a
  DavePearce

  committed
  794f69a

  Copy full SHA for 794f69a

Commits on Nov 23, 2020

• Improved support for Google Analytics

  Show description for ece73e2
  DavePearce

  committed
  ece73e2

  Copy full SHA for ece73e2

Commits on Oct 29, 2020

• Support Google Analytics

  Show description for 5033216
  DavePearce

  committed
  5033216

  Copy full SHA for 5033216

Commits on Oct 15, 2020

• Fixes for building WhileyWeb

  DavePearce

  committed
  914aed7

  Copy full SHA for 914aed7

• Support WHILEY_REPOSITORY environment variable

  Show description for c8e4bd3
  DavePearce

  committed
  c8e4bd3

  Copy full SHA for c8e4bd3

Commits on Oct 14, 2020

• Add missing file

  DavePearce

  committed
  2fa1864

  Copy full SHA for 2fa1864

• Bug fix for "ant run"

  Show description for 1cdb98d
  DavePearce

  committed
  1cdb98d

  Copy full SHA for 1cdb98d

Commits on Oct 13, 2020

• Merge pull request #14 from Whiley/dependabot/maven/junit-junit-4.13.1

  Show description for 20e0e92
  DavePearce

  authored
  20e0e92

  Copy full SHA for 20e0e92

• Bump junit from 4.12 to 4.13.1

  Show description for f30d859
  dependabot[bot]

  authored
  f30d859

  Copy full SHA for f30d859

Commits on Oct 9, 2020

• Slightly improved error handling

  DavePearce

  committed
  15d0d2a

  Copy full SHA for 15d0d2a

Commits on Oct 8, 2020

• Update to support timeouts.

  Show description for 7c5a6a8
  DavePearce

  committed
  7c5a6a8

  Copy full SHA for 7c5a6a8

• Update for latest WyCC / WyCLI

  DavePearce

  committed
  f25f686

  Copy full SHA for f25f686

Pagination

Previous

Next