Commits

Breadcrumbs

History for

onuninitialized-check

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2021

• Use remove-function-pointers code for restricted function pointers

  Show description for d825d04
  tautschnig

  committed
  d825d04

  Copy full SHA for d825d04

Commits on Jul 25, 2021

• goto_programt::output_instruction now uses format(...)

  Show description for 75a16c7
  kroening

  committed
  75a16c7

  Copy full SHA for 75a16c7

Commits on Feb 22, 2021

• Change the text of the logging message so that it is the same as CBMC

  Show description for 00aacd8
  

  martin

  committed
  00aacd8

  Copy full SHA for 00aacd8

Commits on Feb 5, 2019

• Remove unnecessary "--verbosity 10" from regression tests

  Show description for 5db6101
  tautschnig

  committed
  5db6101

  Copy full SHA for 5db6101

Commits on Mar 23, 2018

• Fix tests with missing EXIT or SIGNAL tests

  Show description for 3b00bdc
  smowton

  committed
  3b00bdc

  Copy full SHA for 3b00bdc

Commits on Jun 13, 2017

• Fixed null pointer related bug

  Show description for d7e4a35
  

  thk123

  committed
  d7e4a35

  Copy full SHA for d7e4a35

• Making the approx and precise FP removal tests more precise

  Show description for e2049b0
  

  thk123

  committed
  e2049b0

  Copy full SHA for e2049b0

• Added test for array containing a zero struct

  Show description for e8202d9
  

  thk123

  committed
  e8202d9

  Copy full SHA for e8202d9

Loading