Commits

Branch selector

 master

User selector

All users

All time

Commit history

Commits on Jan 14, 2016

• Try to unbreak the Docker build broken by

  Show description for 2a0eca5
  

  Dan Liew

  committed
  2a0eca5

  Copy full SHA for 2a0eca5

• Output a message reporting if the MetaSMT backend is enabled when

  Show description for c675254
  

  Dan Liew

  committed
  c675254

  Copy full SHA for c675254

• Remove unnecessary MetaSMT includes from kleaver's ``main.cpp``.

  

  Dan Liew

  committed
  b9453ef

  Copy full SHA for b9453ef

• Refactor the MetaSMT makefile commands into its own file which can

  Show description for cece05c
  

  Dan Liew

  committed
  cece05c

  Copy full SHA for cece05c

• Fix linking with stp via MetaSMT when not building with direct STP

  Show description for 68fa749
  

  Dan Liew

  committed
  68fa749

  Copy full SHA for 68fa749

• MetaSMT build fixes.

  

  Dan Liew

  committed
  e4d7479

  Copy full SHA for e4d7479

• Fix behaviour of --with-metasmt when passed a path that doesn't exist.

  

  Dan Liew

  committed
  87a695e

  Copy full SHA for 87a695e

• Make it possible to build KLEE without using STP and only MetaSMT.

  Show description for 8a7705a
  

  Dan Liew

  committed
  8a7705a

  Copy full SHA for 8a7705a

Commits on Jan 12, 2016

• Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing

  Show description for e81f5ce
  

  Dan Liew

  committed
  e81f5ce

  Copy full SHA for e81f5ce

• Drop unnecessary ``#include``s from Solver.cpp.

  

  Dan Liew

  committed
  9da07ca

  Copy full SHA for 9da07ca

• Refactor MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into

  Show description for c02b778
  

  Dan Liew

  committed
  c02b778

  Copy full SHA for c02b778

• [NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their

  Show description for 93d5832
  

  Dan Liew

  committed
  93d5832

  Copy full SHA for 93d5832

• [NFC] Refactor DummySolver out of Solver.cpp into its own file

  Show description for 4bb6a58
  

  Dan Liew

  committed
  4bb6a58

  Copy full SHA for 4bb6a58

• [NFC] Refactor ValidatingSolver out of Solver.cpp into its own file

  Show description for 0784ff8
  

  Dan Liew

  committed
  0784ff8

  Copy full SHA for 0784ff8

Commits on Jan 7, 2016

• [NFC] Refactor SolverImpl out of Solver.cpp into its own file

  Show description for f651a4a
  

  Dan Liew

  committed
  f651a4a

  Copy full SHA for f651a4a

Commits on Jan 5, 2016

• Merge pull request #325 from delcypher/fix_independence_solver_leak

  Show description for 34829f7
  ccadar

  committed
  34829f7

  Copy full SHA for 34829f7

Commits on Dec 26, 2015

• Merge pull request #326 from domainexpert/upstream

  Show description for 3c56757
  delcypher

  committed
  3c56757

  Copy full SHA for 3c56757

Commits on Dec 24, 2015

• Removed Language: Cpp entry from .clang-format due to incompatibility with Clang 3.4.2

  domainexpert

  committed
  d33fa33

  Copy full SHA for d33fa33

Commits on Dec 23, 2015

• Fix memory leak detected by ASan when

  Show description for c8b3c00
  

  Dan Liew

  committed
  c8b3c00

  Copy full SHA for c8b3c00

• [NFC]

  Show description for 29d010c
  

  Dan Liew

  committed
  29d010c

  Copy full SHA for 29d010c

• Merge pull request #323 from delcypher/support_objectsize_intrinsic

  Show description for 2287eb0
  delcypher

  committed
  2287eb0

  Copy full SHA for 2287eb0

• Merge pull request #321 from delcypher/fix_parser_leak

  Show description for 3159c91
  delcypher

  committed
  3159c91

  Copy full SHA for 3159c91

• Merge pull request #319 from delcypher/fix_inc_array_hash_expr

  Show description for 55944eb
  delcypher

  committed
  55944eb

  Copy full SHA for 55944eb

Commits on Dec 19, 2015

• Implement support for lowering the ``llvm.objectsize`` intrinsic

  Show description for d95825b
  

  Dan Liew

  committed
  d95825b

  Copy full SHA for d95825b

Commits on Dec 18, 2015

• Fix a leak detected by ASan in the KQuery parser where on destruction of

  Show description for f5ff9cb
  

  Dan Liew

  committed
  f5ff9cb

  Copy full SHA for f5ff9cb

• Fix duplication of ``klee::ArrayHashFn`` in

  Show description for 0dbb147
  

  Dan Liew

  committed
  0dbb147

  Copy full SHA for 0dbb147

• Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h

  Show description for b8a74d8
  

  Dan Liew

  committed
  b8a74d8

  Copy full SHA for b8a74d8

• Remove a bunch of LeakSanitizer suppressions that aren't needed anymore

  Show description for d348aee
  

  Dan Liew

  committed
  d348aee

  Copy full SHA for d348aee

• Merge pull request #315 from delcypher/array_leak

  Show description for 535be01
  delcypher

  committed
  535be01

  Copy full SHA for 535be01

• Fix memory leaks of ``Array`` objects detected by ASan.

  Show description for 53ff7a0
  

  Dan Liew

  committed
  53ff7a0

  Copy full SHA for 53ff7a0

Commits on Dec 17, 2015

• Clean up the check in the previous commit by using one of KLEE's

  Show description for 7e75fa7
  

  Dan Liew

  committed
  7e75fa7

  Copy full SHA for 7e75fa7

• Fixed a bug with how non power 2 values were written to memory, added test for it

  

  kren1

  authored and

  Dan Liew

  committed
  901bd2c

  Copy full SHA for 901bd2c

• [Solver]Add support to dump STP qeries using

  Show description for 9298b60
  

  MartinNowack

  authored and

  Dan Liew

  committed
  9298b60

  Copy full SHA for 9298b60

• Report fatal error in case CexCache Bindings do not match

  

  MartinNowack

  authored and

  Dan Liew

  committed
  8331998

  Copy full SHA for 8331998

• Add dump function for Assignment

  

  MartinNowack

  authored and

  Dan Liew

  committed
  c7e5ed3

  Copy full SHA for c7e5ed3