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 18, 2011

• Added missing stdc++ archive and exception in gitignore

  

  istvan

  committed
  e5e2fab

  Copy full SHA for e5e2fab

Commits on Jul 14, 2011

• Added "pavg" test into SSEConcrete since it was added on top of KleeFP

  

  istvan

  committed
  e158a00

  Copy full SHA for e158a00

• Added concrete SSE test based on example from the KleeFP paper.

  Show description for 434e6f6
  

  istvan

  committed
  434e6f6

  Copy full SHA for 434e6f6

Commits on Jul 13, 2011

• Added test for constant data structure handling.

  

  istvan

  committed
  ccda571

  Copy full SHA for ccda571

• Added missing configuraton file for Intrinsics test folder

  

  istvan

  committed
  abd0386

  Copy full SHA for abd0386

• Unit test for llvm arithmetic intrinsics that were implemented.

  Show description for a910dde
  

  istvan

  committed
  a910dde

  Copy full SHA for a910dde

• 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

• Added tests for the stdc++ library with compilation using gold plugin

  Show description for 43698b1
  

  istvan

  committed
  43698b1

  Copy full SHA for 43698b1

Commits on Jul 12, 2011

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

  

  istvan

  committed
  d1afad9

  Copy full SHA for d1afad9

• Added support for argumentless main function and associated test

  Show description for 4814a39
  

  istvan

  committed
  4814a39

  Copy full SHA for 4814a39

• Support for arbitrary sized types in ConstantExpr::fromMemor (Klee repository May18)

  

  istvan

  committed
  4f2383b

  Copy full SHA for 4f2383b

• fixed test WriteCov

  

  Ayrat Khalimov

  committed
  734b00a

  Copy full SHA for 734b00a

Commits on Jul 11, 2011

• integrated udp tests into existing test structure

  

  Ayrat Khalimov

  committed
  9e9c145

  Copy full SHA for 9e9c145

Commits on Jul 8, 2011

• test/Dogfood/ImmutableSet: libc option: klee->uclibc

  

  Ayrat Khalimov

  committed
  2e83680

  Copy full SHA for 2e83680

• -useless kleaver test: kelaver doesn't support -evaluate feature

  

  Ayrat Khalimov

  committed
  b68d57a

  Copy full SHA for b68d57a

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 Sep 21, 2009

• Don't force llvm-gcc to -m32, just hope that it was configured correctly for the

  Show description for 7ae6139
  

  ddunbar

  committed
  7ae6139

  Copy full SHA for 7ae6139

Commits on Aug 17, 2009

• Update for LLVM API change.

  Show description for 3fd76a8
  

  ddunbar

  committed
  3fd76a8

  Copy full SHA for 3fd76a8

Commits on Aug 3, 2009

• Fix computation of GetElementPtr offset for 64-bit targets.

  Show description for 88c53ef
  

  ddunbar

  committed
  88c53ef

  Copy full SHA for 88c53ef

Commits on Aug 2, 2009

• Disable this test, KLEE's new[] implementation is broken; surprisingly this

  Show description for e5943a5
  

  ddunbar

  committed
  e5943a5

  Copy full SHA for e5943a5

Commits on Aug 1, 2009

• Implement va_arg handling for x86_64.

  Show description for e2b4cd5
  

  ddunbar

  committed
  e2b4cd5

  Copy full SHA for e2b4cd5

• Don't force -m32 in tests; this should be handled by the build system.

  Show description for 4bcb4d5
  

  ddunbar

  committed
  4bcb4d5

  Copy full SHA for 4bcb4d5

Commits on Jul 30, 2009

• pcregrep.c isn't going to work on x86_64.

  Show description for 9cf35a9
  

  ddunbar

  committed
  9cf35a9

  Copy full SHA for 9cf35a9

Commits on Jul 28, 2009

• Move Machine constants into Context object, initialized based on the target

  Show description for e78565a
  

  ddunbar

  committed
  e78565a

  Copy full SHA for e78565a

Commits on Jul 15, 2009

• Fixed two test cases.

  Show description for 174aac4
  

  cristic

  committed
  174aac4

  Copy full SHA for 174aac4

Commits on Jul 10, 2009

• Added xfail test: (query [false] true) should return INVALID.

  Show description for 3696a98
  

  cristic

  committed
  3696a98

  Copy full SHA for 3696a98

• Updated the Not operation for constants. Added extra test case for this.

  Show description for 94b152e
  

  cristic

  committed
  94b152e

  Copy full SHA for 94b152e

• Small test for non-boolean Not.

  Show description for 99e134b
  

  cristic

  committed
  99e134b

  Copy full SHA for 99e134b

Commits on Jun 27, 2009

• Start move to using APFloat (support long double).

  Show description for 5db96e5
  

  ddunbar

  committed
  5db96e5

  Copy full SHA for 5db96e5