Commits

Branch selector

 v1.3.0

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 30, 2016

• Release notes for 1.3.0

  ccadar

  committed
  3cc70a0

  Copy full SHA for 3cc70a0

• Switching version to 1.3.0

  ccadar

  committed
  537f3bd

  Copy full SHA for 537f3bd

Commits on Nov 3, 2016

• Merge pull request #491 from andreamattavelli/fix_raiseasm_macos

  Show description for 48abc42
  MartinNowack

  authored
  48abc42

  Copy full SHA for 48abc42

• Adds support for Darwin platform in RaiseAsm pass

  andreamattavelli

  committed
  bf9f4a9

  Copy full SHA for bf9f4a9

Commits on Nov 2, 2016

• Merge pull request #487 from hoangmle/master

  Show description for deb3584
  ccadar

  authored
  deb3584

  Copy full SHA for deb3584

Commits on Oct 27, 2016

• apply clang-format

  

  Hoang M. Le

  committed
  393e4a2

  Copy full SHA for 393e4a2

• update comments

  

  Hoang M. Le

  committed
  71214ea

  Copy full SHA for 71214ea

• upgrade to boolector-2.2.0 & remove the no longer needed aux array vector

  

  Hoang M. Le

  committed
  dac2e7b

  Copy full SHA for dac2e7b

Commits on Oct 26, 2016

• move the query creation part into runAndGetCex() (to be consistent with runAndGetCexForked())

  

  Hoang M. Le

  committed
  68becff

  Copy full SHA for 68becff

• change signature of runAndGetCex() to match runAndGetCexForked()

  

  Hoang M. Le

  committed
  fafc1ea

  Copy full SHA for fafc1ea

• remove outdated FIXME (metaSMT-Z3 implements assumption via push/pop)

  

  Hoang M. Le

  committed
  b3ebc94

  Copy full SHA for b3ebc94

Commits on Oct 18, 2016

• Merge pull request #484 from delcypher/fix_misleading_indentation

  Show description for 35f6c2b
  ccadar

  authored
  35f6c2b

  Copy full SHA for 35f6c2b

• Fix `-Wmisleading-indentation` warning and also correctly set the

  Show description for e20ba28
  

  Dan Liew

  committed
  e20ba28

  Copy full SHA for e20ba28

Commits on Oct 14, 2016

• Use newer trusty-based Travis CI (#452)

  

  MartinNowack

  authored and

  delcypher

  committed
  b816fe6

  Copy full SHA for b816fe6

Commits on Oct 2, 2016

• Merge pull request #475 from delcypher/klee_fix_asan

  Show description for c1cc00e
  ccadar

  authored
  c1cc00e

  Copy full SHA for c1cc00e

Commits on Oct 1, 2016

• Merge pull request #426 from hoangmle/metaSMT_remove_ITE_chain_for_shift

  Show description for 53d4e2c
  MartinNowack

  authored
  53d4e2c

  Copy full SHA for 53d4e2c

Commits on Sep 29, 2016

• When building KLEE with the sanitizers make sure the runtime is not

  Show description for 2208776
  

  Dan Liew

  committed
  2208776

  Copy full SHA for 2208776

• Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)

  Show description for 96b77a4
  delcypher

  authored
  96b77a4

  Copy full SHA for 96b77a4

• Merge pull request #474 from jirislaby/timestamp

  Show description for a936dcb
  ccadar

  authored
  a936dcb

  Copy full SHA for a936dcb

• remove mimic_stp option and the associated ITE chain construction for shift operators

  

  Hoang M. Le

  committed
  35a12d6

  Copy full SHA for 35a12d6

• configure: run AutoRegen.sh

  Show description for 576baba
  

  Jiri Slaby

  committed
  576baba

  Copy full SHA for 576baba

• configure: add option to enable timestamping

  Show description for 906ce86
  

  Jiri Slaby

  committed
  906ce86

  Copy full SHA for 906ce86

• Merge pull request #471 from domainexpert/argv-arg

  Show description for b6eb108
  andreamattavelli

  authored
  b6eb108

  Copy full SHA for b6eb108

• Fixed the description of -posix-runtime option

  Show description for 5c86a82
  

  Andrew Santosa

  committed
  5c86a82

  Copy full SHA for 5c86a82

Commits on Sep 26, 2016

• Merge pull request #444 from andreamattavelli/refactor_warnings

  Show description for 43d5145
  MartinNowack

  authored
  43d5145

  Copy full SHA for 43d5145

• Modified logging information to steer the usage of klee_message, klee_warning, and klee_error

  andreamattavelli

  committed
  2fdd5aa

  Copy full SHA for 2fdd5aa

Commits on Sep 20, 2016

• Merge pull request #443 from MartinNowack/feat_assembler_raising

  Show description for 1823ab8
  ccadar

  authored
  1823ab8

  Copy full SHA for 1823ab8

Commits on Sep 16, 2016

• Avoid internalization of non-standard entry point (i.e. not the main function) (#455)

  

  andreamattavelli

  authored and

  delcypher

  committed
  1bfdbc6

  Copy full SHA for 1bfdbc6

Commits on Sep 15, 2016

• Merge pull request #372 from delcypher/stp_z3_crosscheck

  Show description for 9baab03
  delcypher

  authored
  9baab03

  Copy full SHA for 9baab03

• Rename `-debug-cross-check-core-solver` option to

  Show description for 3200fe7
  

  Dan Liew

  committed
  3200fe7

  Copy full SHA for 3200fe7

• Correct out of date comments for some of the klee error handling

  Show description for c9778f9
  

  Dan Liew

  committed
  c9778f9

  Copy full SHA for c9778f9

• Add ``-debug-cross-check-core-solver`` option to allow cross-checking

  Show description for d34a946
  

  Dan Liew

  committed
  d34a946

  Copy full SHA for d34a946

• Clang-format ``ConstructSolverChain.cpp``

  

  Dan Liew

  committed
  746c255

  Copy full SHA for 746c255

• Check the existence of the entry point during the initialization of the POSIX runtime. If the check fails, exit with an error. (#457)

  

  andreamattavelli

  authored and

  delcypher

  committed
  2a3b9fa

  Copy full SHA for 2a3b9fa

Commits on Sep 2, 2016

• Merge pull request #463 from delcypher/fix_gtest_build

  Show description for 5bf634f
  delcypher

  authored
  5bf634f

  Copy full SHA for 5bf634f

Pagination

Previous

Next