| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-10-04 | Remove Autoconf/Makefile build system and adjust the TravisCI | Dan Liew |
| 2017-02-22 | Makefile: change -std-compile-opts to -O3 | Richard Trembecký |
| 2017-01-16 | Remove undocumented and unused `check-local`, `check-dg` and `check-lit` | Dan Liew |
| 2017-01-16 | Rename old build system targets so that | Dan Liew |
| 2015-03-22 | Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for ... | Cristian Cadar |
| 2013-11-08 | Fix the detection of the LLVM bitcode compiler. This is now done at KLEE | Dan Liew |
| 2013-09-21 | Merge pull request #17 from MartinNowack/LLVM33 | Cristian Cadar |
| 2013-08-28 | Link against shared library from LLVM correctly | Martin Nowack |
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2013-08-15 | Use llvm-link instead of deprecated llvm-ld | Martin Nowack |
| 2013-08-15 | Warn if compiler is not found to build .ll files | Martin Nowack |
| 2011-05-18 | Use local Makefile.rules | Peter Collingbourne |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/Makefile.rules