Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Jun 27, 2012

• Published the latest Cloud9 contributions.

  

  Stefan Bucur

  committed
  4c04666

  Copy full SHA for 4c04666

Commits on Aug 24, 2011

• All tests now pass.

  

  Stefan Bucur

  committed
  461dd00

  Copy full SHA for 461dd00

Commits on Aug 19, 2011

• Updated original Klee test cases. Reduced the number of failures from 12 to 5.

  

  Stefan Bucur

  committed
  06d85d2

  Copy full SHA for 06d85d2

• Removed some obsolete test cases.

  

  Stefan Bucur

  committed
  2291a0e

  Copy full SHA for 2291a0e

Commits on Jul 13, 2011

• Redid mutex attribute implementation in a clean fashion

  

  istvan

  committed
  3991296

  Copy full SHA for 3991296

• Synchronization tests: mutex, reentrant mutex and posix semaphores

  

  istvan

  committed
  ae4ef07

  Copy full SHA for ae4ef07

Commits on Jul 11, 2011

• integrated udp tests into existing test structure

  

  Ayrat Khalimov

  committed
  9e9c145

  Copy full SHA for 9e9c145

Commits on Jun 24, 2011

• tests: changed libc declaration: klee -> uclibc

  

  Ayrat Khalimov

  committed
  0347d69

  Copy full SHA for 0347d69

Commits on May 8, 2011

• Updated the test suite (still incomplete).

  

  Stefan Bucur

  committed
  6dacba3

  Copy full SHA for 6dacba3

Commits on Jun 3, 2009

• Update a few things that got forgotten in the great "bout" to "ktest"

  Show description for a2d8c73
  

  ddunbar

  committed
  a2d8c73

  Copy full SHA for a2d8c73

Commits on May 21, 2009

• Initial KLEE checkin.

  Show description for 0f33d1d
  

  ddunbar

  committed
  0f33d1d

  Copy full SHA for 0f33d1d

Loading