Commits

Branch selector

 master

User selector

ccadar

Datepicker

All time

Commit History

Commits on Aug 14, 2019

• Rewrote the checks in GenRandomBout.c to remove dependency on bash and use FileCheck instead (FreeBSD tests on Travis CI fail otherwise)

  

  ccadar

  authored and

  MartinNowack

  committed
  0012e87

  Copy full SHA for 0012e87

• Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they don't need POSIX support to run.

  

  ccadar

  authored and

  MartinNowack

  committed
  e3d84e2

  Copy full SHA for e3d84e2

• Delete functions delete_file() and delete_dir() which are not needed now that klee-replay creates a temporary directory for replay

  

  ccadar

  authored and

  MartinNowack

  committed
  23767d2

  Copy full SHA for 23767d2

• Replace sprintf with snprintf throughout codebase

  

  ccadar

  authored and

  MartinNowack

  committed
  dc414fd

  Copy full SHA for dc414fd

• Create all files in the replay directory and chdir to this directory before executing the program.

  

  ccadar

  authored and

  MartinNowack

  committed
  8426b29

  Copy full SHA for 8426b29

• Updated error messages in Gen*Bout.c

  

  ccadar

  authored and

  MartinNowack

  committed
  d50698f

  Copy full SHA for d50698f

• Added an option to klee-replay to keep replay directory

  

  ccadar

  authored and

  MartinNowack

  committed
  5b1214a

  Copy full SHA for 5b1214a

• Cleaned up messages emitted by klee-replay, and prefixed them all with "KLEE-REPLAY:" to distinguish them from those printed by the replayed program

  

  ccadar

  authored and

  MartinNowack

  committed
  88bb205

  Copy full SHA for 88bb205

• Changed klee-replay to create a temporary directory with a random name in /tmp instead of using a fixed name in the current directory.

  

  ccadar

  authored and

  MartinNowack

  committed
  49b5a87

  Copy full SHA for 49b5a87

Commits on Aug 1, 2019

• Renamed misspelled file

  

  ccadar

  authored and

  MartinNowack

  committed
  7640a09

  Copy full SHA for 7640a09

Commits on Jul 30, 2019

• Use #include "klee/..." (instead of #include <klee/...>) consistently.

  

  ccadar

  authored and

  MartinNowack

  committed
  5732990

  Copy full SHA for 5732990

• Consolidated Expr-related include files into a single include/klee/Expr directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.

  

  ccadar

  authored and

  MartinNowack

  committed
  9b3c988

  Copy full SHA for 9b3c988

Commits on Jul 29, 2019

• Fixed incorrect requires directive

  

  ccadar

  authored and

  MartinNowack

  committed
  b28775a

  Copy full SHA for b28775a

Commits on Jul 26, 2019

• Install emacs and vim in the Docker image

  

  ccadar

  authored and

  MartinNowack

  committed
  ba0a613

  Copy full SHA for ba0a613

Commits on Jun 4, 2019

• Fixed incorrect comment in Travis file, we now use STP 2.3.3

  

  ccadar

  authored and

  MartinNowack

  committed
  3ef59a4

  Copy full SHA for 3ef59a4

• Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a consistent naming convention

  

  ccadar

  authored and

  MartinNowack

  committed
  823ee00

  Copy full SHA for 823ee00

• Remove parenthesis around returns, as reported and discussed in klee#891

  

  ccadar

  authored and

  MartinNowack

  committed
  32892a0

  Copy full SHA for 32892a0

Commits on May 7, 2019

• Update issue templates

  

  ccadar

  authored and

  MartinNowack

  committed
  0cf14d6

  Copy full SHA for 0cf14d6

Commits on May 6, 2019

• Removed outdated TODO.txt file. TODOs are now managed on GitHub.

  ccadar

  committed
  385a29e

  Copy full SHA for 385a29e

Commits on Mar 20, 2019

• Moving to version 2.1-pre

  

  ccadar

  authored and

  MartinNowack

  committed
  e4cfe53

  Copy full SHA for e4cfe53

Commits on Mar 19, 2019

• Release notes for 2.0

  ccadar

  committed
  2634250

  Copy full SHA for 2634250

• Set version to 2.0!

  ccadar

  committed
  265c25c

  Copy full SHA for 265c25c

Commits on Mar 17, 2019

• Renamed --use-cache to --use-branch-cache

  ccadar

  committed
  1126134

  Copy full SHA for 1126134

Commits on Mar 16, 2019

• Added support for disabling --batch-instructions and --batch-time by setting them to 0

  

  ccadar

  authored and

  MartinNowack

  committed
  c1d3977

  Copy full SHA for c1d3977

Commits on Mar 15, 2019

• Hiding general (LLVM) options in klee --help !

  

  ccadar

  authored and

  MartinNowack

  committed
  d44d507

  Copy full SHA for d44d507

• Placed option categories in the klee namespace and options in the anonymous namespace in Executor.cpp

  

  ccadar

  authored and

  MartinNowack

  committed
  3ff758e

  Copy full SHA for 3ff758e

• Placed --max-time in the termination category

  

  ccadar

  authored and

  MartinNowack

  committed
  4756c66

  Copy full SHA for 4756c66

• Placed --rewrite-constraints in the constraint solving category

  

  ccadar

  authored and

  MartinNowack

  committed
  c1e7c3a

  Copy full SHA for c1e7c3a

• Categorized the options in SpecialFunctionHandler.cpp

  

  ccadar

  authored and

  MartinNowack

  committed
  43088bc

  Copy full SHA for 43088bc

• Added help message for --use-constant-arrays, and placed option in the constraint solving category

  

  ccadar

  authored and

  MartinNowack

  committed
  9896c3e

  Copy full SHA for 9896c3e

• Placed --exit-on-error, --max-tests and --watchdog in the termination category

  

  ccadar

  authored and

  MartinNowack

  committed
  3806222

  Copy full SHA for 3806222

• Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and placed them in the seeding category. Moved options and option categories in Executor.cpp to the klee namespace.

  

  ccadar

  authored and

  MartinNowack

  committed
  7885041

  Copy full SHA for 7885041

• Reformatted options and headers in Executor.cpp and did a proofreading pass over all help messages.

  

  ccadar

  authored and

  MartinNowack

  committed
  7400b93

  Copy full SHA for 7400b93

• Added several options in Executor.cpp to the constraint solving category

  

  ccadar

  authored and

  MartinNowack

  committed
  aecd652

  Copy full SHA for aecd652

• Created a new statistics option category

  

  ccadar

  authored and

  MartinNowack

  committed
  5ce39ca

  Copy full SHA for 5ce39ca

Pagination

Previous

Next