Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 7, 2019

• Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.

  

  ccadar

  authored and

  MartinNowack

  committed
  77c1bfb

  Copy full SHA for 77c1bfb

Commits on Oct 26, 2018

• llvm5: test, add -disable-O0-optnone to -O0

  Show description for 0a7963e
  

  jirislaby

  authored and

  MartinNowack

  committed
  0a7963e

  Copy full SHA for 0a7963e

Commits on Apr 8, 2016

• Rename KLEE command line options from

  Show description for 5fbbd8a
  

  Dan Liew

  committed
  5fbbd8a

  Copy full SHA for 5fbbd8a

Commits on Sep 15, 2014

• Remove --read-args command line option because this feature has been

  Show description for 6f02157
  

  Dan Liew

  committed
  6f02157

  Copy full SHA for 6f02157

Commits on Sep 13, 2014

• [tests] Set --output-dir on all test runs, in support of running tests in parallel.

  Show description for 9b715df
  ddunbar

  committed
  9b715df

  Copy full SHA for 9b715df

Commits on Jan 20, 2014

• Fixed test cases that fail if using an in-source build

  

  Dan Liew

  committed
  54b5b1d

  Copy full SHA for 54b5b1d

• Remove the last remnants (I think) of DejaGNU. Goodbye!

  Show description for 8a460a9
  

  Dan Liew

  committed
  8a460a9

  Copy full SHA for 8a460a9

Commits on May 22, 2009

• Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.

  Show description for ea6e216
  ddunbar

  committed
  ea6e216

  Copy full SHA for ea6e216

Commits on May 21, 2009

• Initial KLEE checkin.

  Show description for 6f290d8
  ddunbar

  committed
  6f290d8

  Copy full SHA for 6f290d8

Loading