Commits

Breadcrumbs

History for

onaddon-error

User selector

All users

All time

Commit History

Commits on Aug 7, 2021

• Format with uncrustify (#3388)

  pfultz2

  authored
  7f358b2

  Copy full SHA for 7f358b2

Commits on Jan 15, 2020

• Rename test cases, 'verification' was renamed to 'bug hunting'

  danmar

  committed
  fddc301

  Copy full SHA for fddc301

Commits on Jan 14, 2020

• testsuites/danmar-verify: fix syntax errors

  danmar

  committed
  434b506

  Copy full SHA for 434b506

Commits on Jan 9, 2020

• Verification; Remove VERIFY_UNINIT define, the checking is always compiled from now on

  danmar

  committed
  bf62138

  Copy full SHA for bf62138

• testsuites/danmar-verify: Add divbyzero tests

  danmar

  committed
  0becff9

  Copy full SHA for 0becff9

Commits on Jan 1, 2020

• Verification; use <uninit> configuration

  danmar

  committed
  f23d880

  Copy full SHA for f23d880

Commits on Dec 31, 2019

• Verification; uninitialized local variable

  danmar

  committed
  f55d72e

  Copy full SHA for f55d72e

• Verification; test

  danmar

  committed
  7dcfd34

  Copy full SHA for 7dcfd34

Commits on Dec 30, 2019

• Verification; minor tweak of testcase

  danmar

  committed
  e4b29c6

  Copy full SHA for e4b29c6

• Verification: Use separate id for floating point division by zero

  danmar

  committed
  3ff31b7

  Copy full SHA for 3ff31b7

• Verification; floating point division by zero

  danmar

  committed
  4b5585e

  Copy full SHA for 4b5585e

• Verification; Experimental checking for uninit

  danmar

  committed
  a60efa6

  Copy full SHA for a60efa6

• test/testsuites/danmar-verify: Added test cases

  danmar

  committed
  39a6eef

  Copy full SHA for 39a6eef

Commits on Dec 29, 2019

• Verification; callbacks in executeCast

  danmar

  committed
  29b599b

  Copy full SHA for 29b599b

Commits on Dec 28, 2019

• Verification; Add some more testcases

  danmar

  committed
  ad35283

  Copy full SHA for ad35283

Commits on Dec 15, 2019

• testsuite: Add x-flow tests

  danmar

  committed
  aee9519

  Copy full SHA for aee9519

Commits on Apr 23, 2019

• Typos found by running "codespell" (#1804)

  

  arm-in

  authored and

  danmar

  committed
  b59d7e2

  Copy full SHA for b59d7e2

Commits on Mar 18, 2019

• Added testcases from 'duma' package

  danmar

  committed
  d1025ce

  Copy full SHA for d1025ce

Commits on Mar 12, 2019

• Added test/testsuites/readme.txt

  danmar

  committed
  1d135d1

  Copy full SHA for 1d135d1

• Added test/testsuites folder

  Show description for f986380
  danmar

  committed
  f986380

  Copy full SHA for f986380

Loading