Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 4, 2016

• Merge pull request klee#412 from MartinNowack/fix_travisci

  Show description for 96ed135
  MartinNowack

  committed
  96ed135

  Copy full SHA for 96ed135

• Deactivate officiall llvm source. Use alternative ppa

  MartinNowack

  committed
  08becea

  Copy full SHA for 08becea

• Do not install clang-3.4 if not needed

  MartinNowack

  committed
  86188c3

  Copy full SHA for 86188c3

Commits on May 31, 2016

• Merge pull request klee#405 from ccadar/times

  Show description for 64f6edf
  ccadar

  committed
  64f6edf

  Copy full SHA for 64f6edf

Commits on May 28, 2016

• Fixed an incorrect read() invocation and missing includes for FD_Fail2.c

  ccadar

  committed
  039e8c5

  Copy full SHA for 039e8c5

Commits on May 27, 2016

• Merge pull request klee#396 from andreamattavelli/fix_kleaver_parser

  Show description for 2f8fdc5
  ccadar

  committed
  2f8fdc5

  Copy full SHA for 2f8fdc5

• Improved help message for POSIX environment options.

  ccadar

  committed
  4422e96

  Copy full SHA for 4422e96

• Merge pull request klee#397 from andreamattavelli/refactoring_stdin

  Show description for d914320
  ccadar

  committed
  d914320

  Copy full SHA for d914320

• Fixed the stub for times() not to dereference a NULL pointer when call with a NULL argument. In respose of issue klee#399

  ccadar

  committed
  6899ea1

  Copy full SHA for 6899ea1

Commits on May 25, 2016

• Merge pull request klee#398 from hoangmle/master

  Show description for a801254
  MartinNowack

  committed
  a801254

  Copy full SHA for a801254

• add entry for llvm-2.9 and z3

  

  Hoang M. Le

  committed
  301d189

  Copy full SHA for 301d189

• add include in Z3Solver.cpp (did not compile with llvm-2.9)

  

  Hoang M. Le

  committed
  5471578

  Copy full SHA for 5471578

Commits on May 24, 2016

• Split creation of symbolic files and stdin in two distinct options

  andreamattavelli

  committed
  71a7e31

  Copy full SHA for 71a7e31

• Fixed bug klee#375 in Kleaver's parser

  andreamattavelli

  committed
  ae57319

  Copy full SHA for ae57319

• Merge pull request klee#386 from ShayDamir/relocatable-klee

  Show description for 4278fdc
  MartinNowack

  committed
  4278fdc

  Copy full SHA for 4278fdc

Commits on May 20, 2016

• Allow relocation of installed klee tree

  Show description for b5c41d2
  ShayDamir

  committed
  b5c41d2

  Copy full SHA for b5c41d2

Commits on May 18, 2016

• Merge pull request klee#387 from andreamattavelli/feat_instruction_logging

  Show description for f8a757c
  MartinNowack

  committed
  f8a757c

  Copy full SHA for f8a757c

• Modified -debug-print-instructions to allow to write directly on log file.

  Show description for eba0093
  andreamattavelli

  committed
  eba0093

  Copy full SHA for eba0093

Commits on May 16, 2016

• Merge pull request klee#392 from MartinNowack/fix_docker_stp

  Show description for e481f41
  MartinNowack

  committed
  e481f41

  Copy full SHA for e481f41

• Add cmake 2.8.11 as additional dependency

  MartinNowack

  committed
  5983409

  Copy full SHA for 5983409

Commits on Apr 19, 2016

• Merge pull request klee#369 from MartinNowack/fix_determ_solver_array

  Show description for 8fdfd4f
  MartinNowack

  committed
  8fdfd4f

  Copy full SHA for 8fdfd4f

Commits on Apr 18, 2016

• Merge pull request klee#374 from Justme0/optimize_kinstiterator

  Show description for ce8d238
  MartinNowack

  committed
  ce8d238

  Copy full SHA for ce8d238

Commits on Apr 17, 2016

• Merge pull request klee#359 from delcypher/fix_indep_solver_bug

  Show description for c2d9fc9
  ccadar

  committed
  c2d9fc9

  Copy full SHA for c2d9fc9

Commits on Apr 14, 2016

• This test passes under 2.9, so it cannot be used as an XFAIL. We can enable it after the division bug is fixed.

  ccadar

  committed
  cc26784

  Copy full SHA for cc26784

• Disabling --solver-optimize-divides by default, as the optimization is currently buggy, and we keep hitting this bug... See klee#334 for details.

  ccadar

  committed
  9efe135

  Copy full SHA for 9efe135

• Added test case with the examples from klee#334, which triggers a bug in solver-optimize-divides, and which is for now expected to fail.

  ccadar

  committed
  7616398

  Copy full SHA for 7616398

Commits on Apr 12, 2016

• remove synthesized rule of three of KInstIterator

  Justme0

  committed
  0df96ff

  Copy full SHA for 0df96ff

• Merge pull request klee#364 from MartinNowack/feat_partial_logging

  Show description for f9e0744
  ccadar

  committed
  f9e0744

  Copy full SHA for f9e0744

Commits on Apr 11, 2016

• Merge pull request klee#371 from andreamattavelli/master

  Show description for bd63c17
  ccadar

  committed
  bd63c17

  Copy full SHA for bd63c17

• Small refactoring to improve the consistency of info file handling

  andreamattavelli

  committed
  b369936

  Copy full SHA for b369936

Commits on Apr 9, 2016

• Generate unique STP and Z3 array names deterministically

  MartinNowack

  committed
  0af2851

  Copy full SHA for 0af2851

Commits on Apr 8, 2016

• Merge pull request klee#370 from delcypher/fix_tautlogical_is_local

  Show description for 2d448d8
  ccadar

  committed
  2d448d8

  Copy full SHA for 2d448d8

• Remove computation of isLocal that is always true when handling

  Show description for 5bbf240
  

  Dan Liew

  committed
  5bbf240

  Copy full SHA for 5bbf240

• Merge pull request klee#368 from delcypher/refactor_klee_out_file_to_ktest

  Show description for 386d972
  delcypher

  committed
  386d972

  Copy full SHA for 386d972

• Rename KLEE command line options from

  Show description for 5fbbd8a
  

  Dan Liew

  committed
  5fbbd8a

  Copy full SHA for 5fbbd8a

Pagination

Previous

Next