Commits

Branch selector

 master

User selector

francislaus

Datepicker

All time

Commit History

Commits on Apr 29, 2024

• Changed default behaviour of support misaligned (#35)

  francislaus

  authored
  473c157

• Make relaxed-comparison the default (#34)

  Show description for c113071
  francislaus

  authored
  c113071

Commits on Apr 25, 2024

• Fix typo in runTestRIG.py

  francislaus

  authored
  003a64b

Commits on Apr 15, 2024

• Bumped QCV

  

  francislaus

  authored and

  PeterRugg

  committed
  17c4138

Commits on Nov 1, 2022

• changed docker files to install ghc and cabal via ghcup

  francislaus

  committed
  22c93b2

Commits on Oct 26, 2022

• Bumped QuickCheckVEngine

  francislaus

  committed
  6a6d960

Commits on Oct 25, 2022

• bumped QuickCheckVEngine

  francislaus

  committed
  0714b68

Commits on Jul 5, 2022

• reduced spec contracts test number

  francislaus

  committed
  9475d29

• corrected typo in spec contracts jenkins file

  francislaus

  committed
  b9eb4d3

Commits on Jul 4, 2022

• let spec contract tests continue

  francislaus

  committed
  3038752

• bumped QuickCheckVEngine

  francislaus

  committed
  7afc9ce

• ren-enabled spec contracts jenkinsfile

  francislaus

  committed
  fec17bf

• bumped QuickCheckVEngine

  francislaus

  committed
  d9e3f2d

• removed bsc excps tests for now

  francislaus

  committed
  2c8493f

Commits on Jul 2, 2022

• enabled excps only for spec contracts test

  francislaus

  committed
  7146ed9

Commits on Jun 28, 2022

• re-enabled all tests in the spec contracts jenkinsfile and reduced the number of tests per generator

  francislaus

  committed
  e0cbaea

Commits on Jun 27, 2022

• bumped QuickCheckVEngine

  francislaus

  committed
  c042859

• added temporary build changes to spec contracts jenkinsfile

  francislaus

  committed
  c75b5cf

Commits on Jun 17, 2022

• temporarily removed continue-on-fail and no-shrink options

  francislaus

  committed
  4f6fbce

Commits on Jun 16, 2022

• bumped QuickCheckVEngine

  francislaus

  committed
  830e783

Commits on Jun 14, 2022

• bumped QuickCheckVEngine

  francislaus

  committed
  31b8fdc

• adapted and simplified jenkinsfile for spec contracts

  francislaus

  committed
  87fe1ba

• bumped QuickCheckVEngine

  francislaus

  committed
  c7b90cc

Commits on Feb 25, 2022

• Bumped QuickCheckVEngine

  francislaus

  committed
  b8f5c87

Commits on Aug 6, 2021

• Bump QuickCheckVEngine

  francislaus

  committed
  26547c5

• Re-enabled all tests and increased number of runs

  francislaus

  committed
  c4d06dd

• Get log file in jenkins run

  francislaus

  committed
  008bbfe

Commits on Aug 5, 2021

• enable sbc_excps generator

  francislaus

  committed
  1340316

• correct arch string for toooba

  francislaus

  committed
  210225e

• added --continue-on-fail to runTestRIG.py as well as to the run spec contracts jenkinsfile

  francislaus

  committed
  f172ce8

Commits on Aug 4, 2021

• Bump QuickCheckVEngine

  francislaus

  committed
  8be7e35

• increased number of tests in run spec contracts jenkinsfile

  francislaus

  committed
  0a402d3

Commits on Jul 29, 2021

• Corrected directory names

  francislaus

  committed
  0900651

• Added coverage for single spec contracts generators

  francislaus

  committed
  ecb67f0

Commits on Jul 28, 2021

• Bump Toooba

  francislaus

  committed
  1be4e06

Pagination

PreviousNext