Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | klee: Start preparing for klee tests | ZyX | 2017-10-08 |
| | | | | | | | | | | | First stage: something compiling without klee, but with a buch of dirty hacks - done. Second stage: something running under klee, able to emit useful results, but still using dirty hacks - done. Third stage: make CMake care about clang argumnets - not done, may be omitted if proves to be too hard. Not that klee can be run on CI in any case. | ||
* | *: Fix errors from new linter checks | ZyX | 2016-06-11 |
| | |||
* | shada: Fix linter errors | ZyX | 2015-10-08 |
| | |||
* | shada: Initial support for merging history | ZyX | 2015-10-08 |
Currently only merges history when reading ShaDa file. No tests yet. |