Commits

Branch selector

 master

User selector

delcypher

Datepicker

All time

Commit History

Commits on Sep 29, 2016

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

  Show description for 96b77a4
  delcypher

  authored
  96b77a4

  Copy full SHA for 96b77a4

Commits on Sep 15, 2016

• Merge pull request klee#372 from delcypher/stp_z3_crosscheck

  Show description for 9baab03
  delcypher

  authored
  9baab03

  Copy full SHA for 9baab03

Commits on Sep 2, 2016

• Merge pull request klee#463 from delcypher/fix_gtest_build

  Show description for 5bf634f
  delcypher

  authored
  5bf634f

  Copy full SHA for 5bf634f

Commits on Apr 8, 2016

• 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

Commits on Feb 22, 2016

• Merge pull request klee#339 from yotann/fix-valueisonlycalled

  Show description for f76b6c5
  delcypher

  committed
  f76b6c5

  Copy full SHA for f76b6c5

Commits on Dec 26, 2015

• Merge pull request klee#326 from domainexpert/upstream

  Show description for 3c56757
  delcypher

  committed
  3c56757

  Copy full SHA for 3c56757

Commits on Dec 23, 2015

• Merge pull request klee#323 from delcypher/support_objectsize_intrinsic

  Show description for 2287eb0
  delcypher

  committed
  2287eb0

  Copy full SHA for 2287eb0

• Merge pull request klee#321 from delcypher/fix_parser_leak

  Show description for 3159c91
  delcypher

  committed
  3159c91

  Copy full SHA for 3159c91

• Merge pull request klee#319 from delcypher/fix_inc_array_hash_expr

  Show description for 55944eb
  delcypher

  committed
  55944eb

  Copy full SHA for 55944eb

Commits on Dec 18, 2015

• Merge pull request klee#315 from delcypher/array_leak

  Show description for 535be01
  delcypher

  committed
  535be01

  Copy full SHA for 535be01

Commits on Dec 17, 2015

• Merge pull request klee#316 from delcypher/update_list_leak

  Show description for d8f9c92
  delcypher

  committed
  d8f9c92

  Copy full SHA for d8f9c92

Commits on Oct 31, 2015

• Merge pull request klee#296 from delcypher/specify_klee_uclibc_version

  Show description for 25a21e6
  delcypher

  committed
  25a21e6

  Copy full SHA for 25a21e6

Commits on Nov 13, 2014

• Merge pull request klee#177 from jirislaby/destdir

  Show description for dda8077
  delcypher

  committed
  dda8077

  Copy full SHA for dda8077

Commits on Nov 2, 2014

• Merge pull request klee#174 from delcypher/allow_stp_installed_in_root

  Show description for 50073b4
  delcypher

  committed
  50073b4

  Copy full SHA for 50073b4

Commits on Oct 31, 2014

• Merge pull request klee#167 from willemp/willem/fix_64bit_printing_bug_in_testingUtils

  Show description for 458c6b0
  delcypher

  committed
  458c6b0

  Copy full SHA for 458c6b0

Commits on Sep 15, 2014

• Merge pull request klee#134 from delcypher/coloured_error_messages

  Show description for 716a724
  delcypher

  committed
  716a724

  Copy full SHA for 716a724

Commits on Sep 14, 2014

• Merge pull request klee#154 from delcypher/travis_script_fixes

  Show description for 524ea80
  delcypher

  committed
  524ea80

  Copy full SHA for 524ea80

Commits on May 12, 2014

• Merge pull request klee#124 from pcc/sort

  Show description for 5d8db05
  delcypher

  committed
  5d8db05

  Copy full SHA for 5d8db05

Commits on Apr 24, 2014

• Merge pull request klee#122 from hpalikareva/metasmt-array-order

  Show description for d105130
  delcypher

  committed
  d105130

  Copy full SHA for d105130

• Merge pull request klee#121 from hpalikareva/domain-range-metasmt

  Show description for 7ce1eed
  delcypher

  committed
  7ce1eed

  Copy full SHA for 7ce1eed

• Merge pull request klee#116 from MartinNowack/fix_malloc

  Show description for 9dd4766
  delcypher

  committed
  9dd4766

  Copy full SHA for 9dd4766

• Merge pull request klee#120 from hpalikareva/order-link-libs

  Show description for 169b4ee
  delcypher

  committed
  169b4ee

  Copy full SHA for 169b4ee

• Merge pull request klee#112 from hpalikareva/domain-range-extra

  Show description for 292e8cc
  delcypher

  committed
  292e8cc

  Copy full SHA for 292e8cc

Commits on Apr 16, 2014

• Merge pull request klee#111 from s-falke/no_uclibc

  Show description for 7f44b93
  delcypher

  committed
  7f44b93

  Copy full SHA for 7f44b93

• Merge pull request klee#110 from pcc/domain-range

  Show description for 5cfeffa
  delcypher

  committed
  5cfeffa

  Copy full SHA for 5cfeffa

Commits on Apr 4, 2014

• Merge pull request klee#108 from pcc/pp

  Show description for 237899d
  delcypher

  committed
  237899d

  Copy full SHA for 237899d

Commits on Apr 3, 2014

• Merge pull request klee#106 from pcc/smtlib-printer

  Show description for b3d9f14
  delcypher

  committed
  b3d9f14

  Copy full SHA for b3d9f14

Commits on Feb 14, 2014

• Merge pull request klee#64 from delcypher/overshift-fix

  Show description for 66c064d
  delcypher

  committed
  66c064d

  Copy full SHA for 66c064d

• Merge pull request klee#99 from delcypher/feature_support_stp_with_boost

  Show description for d2f1684
  delcypher

  committed
  d2f1684

  Copy full SHA for d2f1684

• Merge pull request klee#70 from MartinNowack/feature_reading_archive

  Show description for 2ad968e
  delcypher

  committed
  2ad968e

  Copy full SHA for 2ad968e

Commits on Jan 17, 2014

• Merge pull request klee#94 from MartinNowack/fix_assert_library_linking

  Show description for f626bdb
  delcypher

  committed
  f626bdb

  Copy full SHA for f626bdb

Commits on Jan 12, 2014

• Merge pull request klee#68 from MartinNowack/feature_kleeInternalFunctions

  Show description for 8c03dfa
  delcypher

  committed
  8c03dfa

  Copy full SHA for 8c03dfa

Commits on Jan 10, 2014

• Merge pull request klee#86 from msoos/master

  Show description for 3eff4a2
  delcypher

  committed
  3eff4a2

  Copy full SHA for 3eff4a2

Commits on Dec 20, 2013

• Fix compilation of unittests under Clang.

  Show description for c5510ca
  delcypher

  committed
  c5510ca

  Copy full SHA for c5510ca

Commits on Dec 19, 2013

• Merge pull request klee#76 from srg-imperial/master

  Show description for 2c04a50
  delcypher

  committed
  2c04a50

  Copy full SHA for 2c04a50

Pagination

Previous

Next