about summary refs log tree commit diff homepage
path: root/runtime/Intrinsic
AgeCommit message (Expand)Author
2018-07-04Reorganise runtime libraries provided by KLEEMartin Nowack
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-24Moved klee_choose from klee-libc to KLEE intrinsics.Cristian Cadar
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2015-04-25Clean up the installation/building of the runtime libraries.Dan Liew
2015-04-01[runtime] Fix include in klee_intMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-08-27Port to LLVM 3.3Martin Nowack
2011-12-11This is a workaround for the infinite loop reported at Cristian Cadar
2009-08-01A few type fixes for libc functions, for 64-bit.Daniel Dunbar
2009-08-01Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency.Daniel Dunbar
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 08:38:49 +0000