| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-03-05 | Fix SELinux signatures in runtime | Laszlo Szekeres | |
| The SELinux function signatures have changed between version 2.2 and 2.3. In particular, the type of the "security context" parameter was changed from char * to const char *, with the following patch: SELinuxProject/selinux@9eb9c9327563014ad6a807814e7975424642d5b9. Recent Linux distributions (e.g. Ubuntu 15.10) ship with the updated version of libselinux. This change makes the SELinux runtime compatible with the newer versions of the library by replacing security_context_t with its original char * definition and defining it as const only if the installed library does so. Whether the system uses const char * types is detected with the configure script. Fixes klee/klee#303. | |||
| 2016-02-27 | Travis: Run TCMalloc runs explicitly | Martin Nowack | |
| 2016-02-27 | Update travis configuration to use tcmalloc | Martin Nowack | |
| We have to build our own tcmalloc, as the version provided with Ubtuntu 12.04 is too old. | |||
| 2016-02-14 | Add TravisCI and Docker support for building KLEE with Z3 support | Dan Liew | |
| 2015-10-30 | Make sure TravisCI does a few builds where it uses the development | Dan Liew | |
| branch for klee-uclibc. | |||
| 2015-10-30 | Teach TravisCI and the Docker build to use the tagged | Dan Liew | |
| "klee_uclibc_v1.0.0" release of uclibc. | |||
| 2015-08-30 | Support KLEE with different STP versions; Disable r940 | Martin Nowack | |
| Build STP version based on provided branch. Build current STP version 2.1.0 by default and test with master branch as well | |||
| 2015-06-15 | encrypted secrets with main klee repo key | Timotej | |
| 2015-06-15 | added zcov integration to travis CI | Timotej | |
| 2015-04-25 | Make sure TravisCI tests at least one Debug+Asserts build. | Dan Liew | |
| 2015-04-25 | Remove boost requirements from TravisCI build. | Dan Liew | |
| 2014-09-14 | [Travis] Stop building with both Clang and GCC for now, see comment. | Daniel Dunbar | |
| 2014-09-15 | Clean up travis build scripts a little. | Dan Liew | |
| 2014-09-14 | Remove dependence on the bc tool. Use python instead because we are | Dan Liew | |
| already dependent on it. | |||
| 2014-09-13 | Enable ASSERTS in Travis builds. | Daniel Dunbar | |
| 2014-09-13 | Add TravisCI testing infrastructure files. | Dan Liew | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |
path: root/.travis.yml