Commits

Branch selector

 6bc91e5

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 15, 2023

• Do not escape "@". This triggers an error now in the CI.

  ccadar

  committed
  6bc91e5

  Copy full SHA for 6bc91e5

Commits on Feb 28, 2023

• Have the STP coverage build also provide Z3, so that the crosscheck solver can also be tested

  

  danielschemmel

  authored and

  ccadar

  committed
  d3e8cd3

  Copy full SHA for d3e8cd3

• Add a few simple solver tests

  

  danielschemmel

  authored and

  ccadar

  committed
  04a42c9

  Copy full SHA for 04a42c9

Commits on Feb 17, 2023

• create klee-last as a relative link

  

  danielschemmel

  authored and

  ccadar

  committed
  03a3814

  Copy full SHA for 03a3814

• Fix integer overflow

  

  danielschemmel

  authored and

  ccadar

  committed
  7e0e773

  Copy full SHA for 7e0e773

Commits on Feb 6, 2023

• Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not generated

  

  ccadar

  authored and

  MartinNowack

  committed
  5389bec

  Copy full SHA for 5389bec

• Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring that a call to __memcpy_chk is emitted

  

  ccadar

  authored and

  MartinNowack

  committed
  786cdf8

  Copy full SHA for 786cdf8

• Use LLVM 11 for FreeBSD testing (package llvm90 is not available anymore)

  

  ccadar

  authored and

  MartinNowack

  committed
  e92f0d9

  Copy full SHA for e92f0d9

Commits on Jan 6, 2023

• fix output check in test const_arr_opt1

  

  fwc

  authored and

  ccadar

  committed
  fc778af

  Copy full SHA for fc778af

Commits on Dec 9, 2022

• add missing FileCheck command to test

  

  fwc

  authored and

  MartinNowack

  committed
  67805a6

  Copy full SHA for 67805a6

• Fixed some leaks in klee-replay

  

  ccadar

  authored and

  MartinNowack

  committed
  f11aae6

  Copy full SHA for f11aae6

• fix FileCheck cmd of VarArgByVal test

  

  fwc

  authored and

  MartinNowack

  committed
  7a60192

  Copy full SHA for 7a60192

Commits on Sep 26, 2022

• Improve the message for when large arrays become symbolic. Only print this warning once per array. Add test case.

  

  ccadar

  authored and

  MartinNowack

  committed
  667ce0f

  Copy full SHA for 667ce0f

Commits on Sep 24, 2022

• Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it strips out these intrinsics

  

  operasfantom

  authored and

  ccadar

  committed
  21146a3

  Copy full SHA for 21146a3

Commits on Sep 14, 2022

• Add notes about how to keep in sync runtime with LLVM project

  

  operasfantom

  authored and

  ccadar

  committed
  e244b61

  Copy full SHA for e244b61

• Improve pattern for FileCheck in UBSan's tests

  

  operasfantom

  authored and

  ccadar

  committed
  1356419

  Copy full SHA for 1356419

• Improve pattern for FileCheck in UBSan's tests

  

  operasfantom

  authored and

  ccadar

  committed
  8ecf071

  Copy full SHA for 8ecf071

• Add README to UBSan runtime

  

  operasfantom

  authored and

  ccadar

  committed
  9b08202

  Copy full SHA for 9b08202

• Eliminate .undefined_behavior.err category and simplify tests

  

  operasfantom

  authored and

  ccadar

  committed
  1ac4595

  Copy full SHA for 1ac4595

• Remove LLVM version < 9

  

  operasfantom

  authored and

  ccadar

  committed
  d14b7dc

  Copy full SHA for d14b7dc

• Check extensions of generated files in tests

  

  operasfantom

  authored and

  ccadar

  committed
  f3f4736

  Copy full SHA for f3f4736

• Remove LLVM version < 6

  

  operasfantom

  authored and

  ccadar

  committed
  d244508

  Copy full SHA for d244508

• Introduce separate categories for different kinds of undefined behavior

  

  operasfantom

  authored and

  ccadar

  committed
  7127456

  Copy full SHA for 7127456

• Support UBSan-enabled binaries

  

  Pavel Yatcheniy

  authored and

  ccadar

  committed
  4ccb533

  Copy full SHA for 4ccb533

Commits on Aug 26, 2022

• Use true instead of Z3_TRUE (removed in z3 4.11.0)

  

  jamesjer

  authored and

  ccadar

  committed
  39f8069

  Copy full SHA for 39f8069

Commits on Aug 19, 2022

• Corrected wrong usage of klee_report_error in __cxa_atexit handler

  

  operasfantom

  authored and

  ccadar

  committed
  6268027

  Copy full SHA for 6268027

Commits on Jul 24, 2022

• Support arguments of width 128, 256 and 512 bits for external calls

  

  operasfantom

  authored and

  ccadar

  committed
  c9de012

  Copy full SHA for c9de012

Commits on Jul 11, 2022

• Switch FreeBSD CI to 13.1 and Python 3.9

  

  arrowd

  authored and

  ccadar

  committed
  64dfbcd

  Copy full SHA for 64dfbcd

Commits on Jul 7, 2022

• POSIX runtime: fstatat: check for nonnull path APIs

  

  251

  authored and

  ccadar

  committed
  d2f5906

  Copy full SHA for d2f5906

Commits on Jul 4, 2022

• Inline asm external call

  

  mishok2503

  authored and

  MartinNowack

  committed
  99c522b

  Copy full SHA for 99c522b

• Fix memory leak in crosscheck core solver mechanism

  

  danielschemmel

  authored and

  ccadar

  committed
  3d0033f

  Copy full SHA for 3d0033f

Commits on Jun 30, 2022

• checkout KLEE with depth > 1 when running codecov

  

  danielschemmel

  authored and

  MartinNowack

  committed
  fe97779

  Copy full SHA for fe97779

• update github checkout action to v3

  

  danielschemmel

  authored and

  MartinNowack

  committed
  b4d9a72

  Copy full SHA for b4d9a72

• rename CallSite to CallBase

  

  251

  authored and

  MartinNowack

  committed
  3a8b3bb

  Copy full SHA for 3a8b3bb

• remove LLVM < 9

  

  251

  authored and

  MartinNowack

  committed
  6cc8ee7

  Copy full SHA for 6cc8ee7

Pagination

Previous

Next