Commits

Breadcrumbs

History for

onuninitialized-check

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 19, 2022

• goto-cc: newlines in command files are just whitespace

  Show description for d9463a1
  tautschnig

  committed
  d9463a1

  Copy full SHA for d9463a1

Commits on Jan 14, 2022

• Actually test linker script processing

  Show description for 164eea5
  tautschnig

  committed
  164eea5

  Copy full SHA for 164eea5

Commits on Dec 26, 2021

• Encapsulate reading and linking multiple files

  Show description for 895a674
  tautschnig

  committed
  895a674

  Copy full SHA for 895a674

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 Feb 21, 2021

• Fix Makefile clean target deleting the correct file.

  

  Fotis Koutoulakis

  committed
  0f9bfa7

  Copy full SHA for 0f9bfa7

Commits on Apr 18, 2020

• Fix overload resolution in options processing

  Show description for 5f1e354
  tautschnig

  committed
  5f1e354

  Copy full SHA for 5f1e354

Commits on Apr 30, 2019

• Test loading files from an archive

  Show description for d155d87
  tautschnig

  committed
  d155d87

  Copy full SHA for d155d87

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 Jan 10, 2019

• Move regression tests of the C front-end to a suitable folder, again

  Show description for 11cf12d
  tautschnig

  committed
  11cf12d

  Copy full SHA for 11cf12d

• Include goto-cl regression tests in test sequence

  Show description for d8f5685
  tautschnig

  committed
  d8f5685

  Copy full SHA for d8f5685

Commits on Jan 1, 2019

• Move regression tests of the C front-end to a suitable folder

  Show description for 25de48d
  tautschnig

  committed
  25de48d

  Copy full SHA for 25de48d

Commits on Aug 3, 2018

• gcc mode: error in case multiple files are given with -c and -o

  

  Daniel Kroening

  committed
  694daaf

  Copy full SHA for 694daaf

Commits on Jul 9, 2018

• goto-gcc: run original compiler even when output is /dev/null

  tautschnig

  committed
  ea9dc15

  Copy full SHA for ea9dc15

Commits on Jul 3, 2018

• Make "clean" target in regression tests do full cleanup

  tautschnig

  committed
  2be11f3

  Copy full SHA for 2be11f3

Commits on Apr 15, 2018

• Add @<file> arguments to the original command line

  Show description for 5109eab
  tautschnig

  committed
  5109eab

  Copy full SHA for 5109eab

Commits on Nov 2, 2017

• Create goto-gcc symlink in cmake builds and enable goto-gcc tests

  Show description for 4b0e2d4
  tautschnig

  committed
  4b0e2d4

  Copy full SHA for 4b0e2d4

• Move implementation of failed-tests-printer.pl into test.pl

  Show description for 3321735
  tautschnig

  committed
  3321735

  Copy full SHA for 3321735

Commits on Sep 8, 2017

• Make the child process that failed to execvp exit

  Show description for 08a4077
  tautschnig

  committed
  08a4077

  Copy full SHA for 08a4077

• Diagnostic output if run/execve fails

  tautschnig

  committed
  4928f69

  Copy full SHA for 4928f69

Commits on Sep 5, 2017

• Merge pull request #1294 from diffblue/goto-gcc-fix

  Show description for 59c882b
  tautschnig

  authored
  59c882b

  Copy full SHA for 59c882b

Commits on Sep 4, 2017

• Fix verbosity in goto-gcc

  

  Daniel Kroening

  authored and

  tautschnig

  committed
  433e139

  Copy full SHA for 433e139

• Do not overwrite non-zero return codes

  Show description for 3947228
  tautschnig

  committed
  3947228

  Copy full SHA for 3947228

• goto-gcc removes CPROVER macros for native gcc

  Show description for ede380f
  karkhaz

  committed
  ede380f

  Copy full SHA for ede380f

Loading