Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Aug 30, 2012

• Added a model to rawmemchr.

  

  Stefan Bucur

  committed
  396e878

  Copy full SHA for 396e878

Commits on Jun 27, 2012

• Published the latest Cloud9 contributions.

  

  Stefan Bucur

  committed
  4c04666

  Copy full SHA for 4c04666

Commits on Aug 25, 2011

• Bug fixes for POSIX file handling

  Show description for 0026112
  

  istvan

  authored and

  Stefan Bucur

  committed
  0026112

  Copy full SHA for 0026112

Commits on Aug 24, 2011

• Checkpoint.

  

  Stefan Bucur

  committed
  412fa9a

  Copy full SHA for 412fa9a

• Moved the netlink handler in a separate source file.

  

  Stefan Bucur

  committed
  803684f

  Copy full SHA for 803684f

• More fixes. Now our test suite passes again.

  

  Stefan Bucur

  committed
  4c212df

  Copy full SHA for 4c212df

• Adapted the UDP code to make use of the iov operations.

  

  Stefan Bucur

  committed
  7914a62

  Copy full SHA for 7914a62

• Introduced iov operations at buffer level.

  

  Stefan Bucur

  committed
  ff2ef0a

  Copy full SHA for ff2ef0a

• Refactored a bit the UDP code. Basic support for Netlink sockets.

  

  Stefan Bucur

  committed
  38e3c4a

  Copy full SHA for 38e3c4a

• Added the new '--overlapped' Klee runtime option.

  

  Stefan Bucur

  committed
  760b098

  Copy full SHA for 760b098

Commits on Aug 19, 2011

• Fixed bug in the fcntl() model.

  

  Stefan Bucur

  committed
  622f41c

  Copy full SHA for 622f41c

Commits on Aug 2, 2011

• Now a timed-out select() updates the state time.

  

  Stefan Bucur

  committed
  6fc030d

  Copy full SHA for 6fc030d

• Disabled signals for now.

  

  Stefan Bucur

  committed
  b5bc385

  Copy full SHA for b5bc385

Commits on Jul 18, 2011

• fix: Ubuntu 11.04 compilation: __NR_lseek is deprecated

  

  Ayrat Khalimov

  committed
  34bde86

  Copy full SHA for 34bde86

Commits on Jul 13, 2011

• Bugfix for powi intrinsic based on new unit-tests

  

  istvan

  committed
  a42a124

  Copy full SHA for a42a124

• Redid mutex attribute implementation in a clean fashion

  

  istvan

  committed
  3991296

  Copy full SHA for 3991296

• Bugfix uncovered by the synchronization unit-tests

  

  istvan

  committed
  53bd698

  Copy full SHA for 53bd698

Commits on Jul 12, 2011

• Changes to tests committed by Airat (also modified LargeReturnTypes to match)

  

  istvan

  committed
  d1afad9

  Copy full SHA for d1afad9

• Updated POSIX runtime to handle some stuff required by Chromium

  Show description for d8757b8
  

  istvan

  committed
  d8757b8

  Copy full SHA for d8757b8

Commits on Jul 9, 2011

• Added a simple memcpy/memset test.

  

  Stefan Bucur

  committed
  20ff227

  Copy full SHA for 20ff227

Commits on Jun 28, 2011

• Missing implementation of intrinsics from last commit

  

  istvan

  authored and

  Stefan Bucur

  committed
  ec76d8f

  Copy full SHA for ec76d8f

• Minor Klee modifications:

  Show description for 60476cc
  

  haller

  authored and

  Stefan Bucur

  committed
  60476cc

  Copy full SHA for 60476cc

Commits on May 8, 2011

• Introduced the POSIX model.

  

  Stefan Bucur

  committed
  c92186d

  Copy full SHA for c92186d

Commits on Aug 1, 2009

• Fixes for building runtime on linux x86-64.

  Show description for b6fc0b6
  

  ddunbar

  committed
  b6fc0b6

  Copy full SHA for b6fc0b6

• A few type fixes for libc functions, for 64-bit.

  Show description for b77fe5c
  

  ddunbar

  committed
  b77fe5c

  Copy full SHA for b77fe5c

• Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency.

  Show description for eb6f385
  

  ddunbar

  committed
  eb6f385

  Copy full SHA for eb6f385

Commits on Jun 1, 2009

• Kill off klee_malloc_n, we don't want to support this.

  Show description for 3ad6cad
  

  ddunbar

  committed
  3ad6cad

  Copy full SHA for 3ad6cad

Commits on May 23, 2009

• Fix for platforms which #define putchar

  Show description for 056ca59
  

  ddunbar

  committed
  056ca59

  Copy full SHA for 056ca59

• Make klee_init_env print some usage instructions with --help.

  Show description for 69d6cce
  

  ddunbar

  committed
  69d6cce

  Copy full SHA for 69d6cce

• Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backward compatibility. Also changed KLEE_RUNTEST to KTEST_FILE. Updated tutorial-1.

  Show description for 9f9092a
  

  cristic

  committed
  9f9092a

  Copy full SHA for 9f9092a

Commits on May 22, 2009

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

  Show description for 7c29961
  

  ddunbar

  committed
  7c29961

  Copy full SHA for 7c29961

Commits on May 21, 2009

• Initial KLEE checkin.

  Show description for 0f33d1d
  

  ddunbar

  committed
  0f33d1d

  Copy full SHA for 0f33d1d

Loading