Commits

Commits on Feb 24, 2014

Improved DumpStatesOnHalt.c to make sure there is always more than one instruction in main().
ccadar
committedFeb 24, 2014
Improved help message for make-concrete-symbolic and fixed some typos.
ccadar
committedFeb 24, 2014
Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations are enabled.
ccadar
committedFeb 24, 2014

Commits on Feb 9, 2014

Merge pull request klee#100 from delcypher/pass-param-llvm-lit
ccadar
committedFeb 9, 2014

Commits on Feb 4, 2014

Merge pull request klee#101 from delcypher/fix_isatty_llvm33
ccadar
committedFeb 4, 2014

Commits on Jan 21, 2014

Merge pull request klee#92 from delcypher/fix_llvm-lit
ccadar
committedJan 21, 2014

Commits on Dec 22, 2013

Merge pull request klee#78 from delcypher/fix_klee_install
ccadar
committedDec 22, 2013

Commits on Dec 20, 2013

Merge pull request klee#81 from delcypher/fix_unittest_llvm33_clang
ccadar
committedDec 20, 2013

Commits on Dec 12, 2013

Patch by Daniel Lupei, fixing a performance bug with the
ccadar
committedDec 12, 2013

Commits on Dec 11, 2013

Merge pull request klee#31 from antiAgainst/chroot-replay
ccadar
committedDec 11, 2013

Commits on Dec 5, 2013

Merge pull request klee#11 from MartinNowack/Memleaks
ccadar
committedDec 5, 2013

Commits on Nov 25, 2013

Merge pull request klee#67 from MartinNowack/fix_asm_address
ccadar
committedNov 25, 2013

Commits on Nov 15, 2013

Merge branch 'master' of https://github.com/ccadar/klee
ccadar
committedNov 15, 2013
Removed testing-env file. As for testing-dir that was removed in a
ccadar
committedNov 15, 2013
Merge pull request klee#69 from MartinNowack/fix_runtime_posix
ccadar
committedNov 15, 2013

Commits on Nov 13, 2013

Merge pull request klee#60 from MartinNowack/fix_posix
ccadar
committedNov 13, 2013
Merge pull request klee#65 from delcypher/detect-bitcode-compiler
ccadar
committedNov 13, 2013

Commits on Oct 22, 2013

Merge pull request klee#41 from hpalikareva/metasmt-multisolver
ccadar
committedOct 22, 2013

Commits on Oct 20, 2013

Merge pull request klee#47 from 251/stubs_path_max
ccadar
committedOct 20, 2013

Commits on Oct 18, 2013

Merge pull request klee#45 from hpalikareva/test-expr-logging
ccadar
committedOct 18, 2013

Commits on Oct 15, 2013

Merge pull request klee#43 from hpalikareva/test-large-ints
ccadar
committedOct 15, 2013

Commits on Oct 14, 2013

Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.com/ccadar/klee/issues/32 ) and fixed an #include in one of the tests.
ccadar
committedOct 14, 2013

Commits on Oct 11, 2013

Commits on Oct 8, 2013

Merge pull request klee#34 from ddcc/master
ccadar
committedOct 8, 2013

Commits on Sep 25, 2013

Merge pull request klee#25 from paulmar/master
ccadar
committedSep 25, 2013
Merge pull request klee#27 from antiAgainst/intrinsic-trap
ccadar
committedSep 25, 2013

Commits on Sep 21, 2013

Merge pull request klee#17 from MartinNowack/LLVM33
ccadar
committedSep 21, 2013

Commits on Sep 18, 2013

Merge pull request klee#23 from MartinNowack/fix_putchar
ccadar
committedSep 18, 2013

Commits on Sep 17, 2013

Merge pull request klee#21 from delcypher/fix_query_logging
ccadar
committedSep 17, 2013
Merge branch 'fix_runtime_build_mode' of https://github.com/delcypher/klee into delcypher-fix_runtime_build_mode
ccadar
committedSep 17, 2013

Commits on Aug 30, 2013

Merge pull request klee#20 from delcypher/remove_pointless_loop
ccadar
committedAug 30, 2013
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into MartinNowack-CompilerWarnings
ccadar
committedAug 30, 2013