Commits

Breadcrumbs

History for

onquantifiers_with_statement_expresssion

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 18, 2023

• Do not hardcode GCC/g++ in shell scripts

  Show description for ae96515
  tautschnig

  committed
  ae96515

  Copy full SHA for ae96515

• Use /usr/bin/env in shebang lines

  Show description for 46e39f7
  tautschnig

  committed
  46e39f7

  Copy full SHA for 46e39f7

Commits on Dec 13, 2023

• Add negative default checks to ignore list of goto-instrument as well

  NlightNFotis

  committed
  9747f61

  Copy full SHA for 9747f61

• Don't expect goto-check negative checks for goto-diff manpage.

  NlightNFotis

  committed
  3ec5bfd

  Copy full SHA for 3ec5bfd

Commits on Nov 6, 2023

• Switch gnu make build to c++17

  Show description for dff50eb
  

  Enrico Steffinlongo

  committed
  dff50eb

  Copy full SHA for dff50eb

Commits on Oct 4, 2022

• Check completeness of man pages

  Show description for e01f9df
  tautschnig

  committed
  e01f9df

  Copy full SHA for e01f9df

Commits on Aug 12, 2022

• Check completeness of help output in CI

  Show description for 880725c
  tautschnig

  committed
  880725c

  Copy full SHA for 880725c

Loading