Commits

Branch selector

 master

User selector

ccadar

Datepicker

All time

Commit History

Commits on Jun 29, 2022

• Remove the CI target metaSMT(Boolector). metaSMT(STP) already runs the test suite with all solvers supported by metaSMT, so the extra target provides marginal benefits.

  

  ccadar

  authored and

  MartinNowack

  committed
  7a6100d

  Copy full SHA for 7a6100d

Commits on Jun 27, 2022

• Define stat64 to be stat on MacOS. This fixes compilation on more recent macOS versions, where stat64 is not defined anymore.

  

  ccadar

  authored and

  MartinNowack

  committed
  885997a

  Copy full SHA for 885997a

Commits on May 6, 2022

• Updated tests to use ktest-randgen instead of gen-random-bout

  

  ccadar

  authored and

  MartinNowack

  committed
  fa5367b

  Copy full SHA for fa5367b

• Renamed gen-random-bout to ktest-randgen

  

  ccadar

  authored and

  MartinNowack

  committed
  d704b59

  Copy full SHA for d704b59

• Updated tests to use ktest-gen instead of gen-bout

  

  ccadar

  authored and

  MartinNowack

  committed
  80d6765

  Copy full SHA for 80d6765

• Updated klee-zesti to use ktest-gen instead of gen-bout

  

  ccadar

  authored and

  MartinNowack

  committed
  c0d6062

  Copy full SHA for c0d6062

• Renamed gen-bout to ktest-gen

  

  ccadar

  authored and

  MartinNowack

  committed
  f94309c

  Copy full SHA for f94309c

Commits on Apr 4, 2022

• Set version number to 3.0-pre

  

  ccadar

  authored and

  MartinNowack

  committed
  35e1f18

  Copy full SHA for 35e1f18

• Release notes for KLEE 2.3

  

  ccadar

  authored and

  MartinNowack

  committed
  879be79

  Copy full SHA for 879be79

• Setting version to 2.3

  

  ccadar

  authored and

  MartinNowack

  committed
  93ae2e5

  Copy full SHA for 93ae2e5

Commits on Apr 1, 2022

• Remove unnecessary call to deprecated function sqlite3_enable_shared_cache

  

  ccadar

  authored and

  MartinNowack

  committed
  dfec2ce

  Copy full SHA for dfec2ce

• Update dependencies in Docker files.

  

  ccadar

  authored and

  MartinNowack

  committed
  1391ef9

  Copy full SHA for 1391ef9

Commits on Mar 22, 2022

• Add Doxygen to one CI target

  

  ccadar

  authored and

  MartinNowack

  committed
  71c1c45

  Copy full SHA for 71c1c45

• Removed/updated obsolete Doxygen configuration options

  

  ccadar

  authored and

  MartinNowack

  committed
  bde908f

  Copy full SHA for bde908f

• Install doxygen and graphviz (dot) to generate Doxygen documentation when ENABLE_DOXYGEN=ON

  

  ccadar

  authored and

  MartinNowack

  committed
  5a63325

  Copy full SHA for 5a63325

• Disabled Doxygen by default

  

  ccadar

  authored and

  MartinNowack

  committed
  663e034

  Copy full SHA for 663e034

• Require cmake 3.9+

  

  ccadar

  authored and

  MartinNowack

  committed
  1e7c773

  Copy full SHA for 1e7c773

Commits on Mar 21, 2022

• Fixed a wrong type when computing memory usage on macOS

  

  ccadar

  authored and

  MartinNowack

  committed
  f043dd5

  Copy full SHA for f043dd5

Commits on Mar 17, 2022

• Updated test MemoryLimit.c to use FileCheck, and formatted the file

  

  ccadar

  authored and

  MartinNowack

  committed
  8cab09e

  Copy full SHA for 8cab09e

• Document that GetTotalMallocUsage returns the usage in bytes

  

  ccadar

  authored and

  MartinNowack

  committed
  cec6d63

  Copy full SHA for cec6d63

• Fixed GetTotalMallocUsage on macOS to look at all zones. (The test MemoryLimit.h fails on macOS 12.1 without this fix.)

  

  ccadar

  authored and

  MartinNowack

  committed
  e2d005c

  Copy full SHA for e2d005c

Commits on Jan 6, 2022

• Comment the code dealing with un/flushed bytes, and resolve old naming issue by renaming flushMask to unflushedMask

  

  ccadar

  authored and

  MartinNowack

  committed
  e2abd85

  Copy full SHA for e2abd85

Commits on Jan 5, 2022

• Do not use stat64 directly in gen-random-bout

  

  ccadar

  authored and

  MartinNowack

  committed
  011dcc6

  Copy full SHA for 011dcc6

• Added a test for invocations of klee_make_symbolic with a wrong size to MakeSymbolicAPI.c, and reformatted the file.

  

  ccadar

  authored and

  MartinNowack

  committed
  0464691

  Copy full SHA for 0464691

• Remove outdated reference to klee_make_symbolic_name

  

  ccadar

  authored and

  MartinNowack

  committed
  40ee8cb

  Copy full SHA for 40ee8cb

Commits on Dec 24, 2021

• Added correct signature for swapoff on FreeBSD (to solve recent CI failures)

  

  ccadar

  authored and

  MartinNowack

  committed
  cbd82ea

  Copy full SHA for cbd82ea

Commits on Apr 20, 2021

• Replaced the time-based delay after which the max-static-*-pct checks are performed with one expressed in terms of number of forks.

  

  ccadar

  authored and

  MartinNowack

  committed
  abdb0b6

  Copy full SHA for abdb0b6

• Refactored maxStaticPctChecks into a sequence of conditions.

  

  ccadar

  authored and

  MartinNowack

  committed
  e2cb581

  Copy full SHA for e2cb581

• Test for -max-static-fork-pct

  

  ccadar

  authored and

  MartinNowack

  committed
  458e3f9

  Copy full SHA for 458e3f9

• Added a warning when forking is skipped due to MaxStatic*Pct limits being reached

  

  ccadar

  authored and

  MartinNowack

  committed
  126387b

  Copy full SHA for 126387b

• Added -max-static-pct-check-delay to replace the hardcoded delay after which the MaxStatic*Pct checks are performed.

  

  ccadar

  authored and

  MartinNowack

  committed
  c8ef082

  Copy full SHA for c8ef082

• Refactored MaxStatis*Pct conditions into a separate function.

  

  ccadar

  authored and

  MartinNowack

  committed
  8889369

  Copy full SHA for 8889369

Commits on Feb 26, 2021

• Improved PR template by making it more succinct.

  

  ccadar

  authored and

  MartinNowack

  committed
  2953530

  Copy full SHA for 2953530

Commits on Dec 7, 2020

• Advancing version to 2.3-pre

  ccadar

  committed
  4742ccc

  Copy full SHA for 4742ccc

• Update version to 2.2

  

  ccadar

  authored and

  MartinNowack

  committed
  5719d28

  Copy full SHA for 5719d28

Pagination

Previous

Next