Commits

Breadcrumbs

History for

onuninitialized-check

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 16, 2023

• C++ front-end: fix type checking of anonymous bit fields

  Show description for be2a41c
  tautschnig

  committed
  be2a41c

  Copy full SHA for be2a41c

Commits on Aug 15, 2023

• Remove winbug label from C++ tests

  Show description for fc8cd89
  tautschnig

  committed
  fc8cd89

  Copy full SHA for fc8cd89

Commits on Jan 14, 2022

• regression/*/Makefile: consistently use BUILD_ENV_ to detect platform

  Show description for 4f84963
  tautschnig

  committed
  4f84963

  Copy full SHA for 4f84963

Commits on Mar 22, 2021

• Remove "show" target from regression/*/Makefile

  Show description for 3a5ddc7
  tautschnig

  committed
  3a5ddc7

  Copy full SHA for 3a5ddc7

Commits on Mar 16, 2021

• Ensure make clean of regression tests cleans everything

  Show description for 4873068
  TGWDB

  committed
  4873068

  Copy full SHA for 4873068

Commits on Mar 11, 2021

• Ignore regression tests marked winbug on windows make builds.

  Show description for fb36d81
  NlightNFotis

  committed
  fb36d81

  Copy full SHA for fb36d81

Commits on Nov 6, 2020

• Deactivate broken tests on MacOS that depend on <assert>.

  Show description for 7a8c427
  NlightNFotis

  committed
  7a8c427

  Copy full SHA for 7a8c427

Commits on Oct 5, 2020

• Mark tests under regression/systemc/ as winbug.

  NlightNFotis

  committed
  460c6eb

  Copy full SHA for 460c6eb

Commits on May 21, 2019

• Enable internal validation for C++ regression tests

  Show description for 2ee2a57
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  2ee2a57

  Copy full SHA for 2ee2a57

Commits on Apr 11, 2019

• Typecheck friend type declarations

  Show description for ebb3ea4
  

  peterschrammel

  authored and

  tautschnig

  committed
  ebb3ea4

  Copy full SHA for ebb3ea4

Commits on Apr 1, 2019

• Replace side effects expressions inside address_of

  Show description for ff128a6
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  ff128a6

  Copy full SHA for ff128a6

• C++: Add support for indexed access to bitvectors

  Show description for ca64bbc
  

  tautschnig

  authored and

  Daniel Kroening

  committed
  ca64bbc

  Copy full SHA for ca64bbc

Commits on Feb 21, 2019

• test.pl: check for EXIT and SIGNAL patterns if -e is set

  Show description for bb79432
  tautschnig

  committed
  bb79432

  Copy full SHA for bb79432

Commits on Jul 7, 2018

• Name resolution may require further template instantiation

  tautschnig

  committed
  61a6acd

  Copy full SHA for 61a6acd

• Merge pull request #2448 from tautschnig/c++-delayed-body

  Show description for 4c6cfc0
  tautschnig

  authored
  4c6cfc0

  Copy full SHA for 4c6cfc0

Commits on Jun 25, 2018

• Fix delayed method body conversion for templates

  Show description for 02e3840
  

  peterschrammel

  authored and

  tautschnig

  committed
  02e3840

  Copy full SHA for 02e3840

Commits on Jun 24, 2018

• Test passes

  Show description for ee2421a
  tautschnig

  committed
  ee2421a

  Copy full SHA for ee2421a

Commits on Jun 13, 2018

• C++ front-end: support =delete method declarations

  Show description for fafe4d9
  tautschnig

  committed
  fafe4d9

  Copy full SHA for fafe4d9

Commits on Jun 12, 2018

• C++ front-end: maintain #array_ini flag

  tautschnig

  committed
  ce4884e

  Copy full SHA for ce4884e

• Only parameter-free constructors can be static initializer functions

  tautschnig

  committed
  bc568b7

  Copy full SHA for bc568b7

Commits on Jun 6, 2018

• Initial set of mini-system-c tests

  

  peterschrammel

  authored and

  tautschnig

  committed
  5bb13db

  Copy full SHA for 5bb13db

Loading