Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | unittests,viml/parser/expressions: Start adding asgn parsing tests | ZyX | 2017-11-13 |
| | |||
* | viml/parser/expressions: Add support for parsing assignments | ZyX | 2017-11-12 |
| | |||
* | viml/parser/expressions: Remove unused flag | ZyX | 2017-10-16 |
| | |||
* | klee: Include colors in test | ZyX | 2017-10-16 |
| | |||
* | viml/parser/expressions,klee: Fix some problems found by KLEE run | ZyX | 2017-10-15 |
| | |||
* | viml/parser/expressions,tests: Add AST freeing, with sanity checks | ZyX | 2017-10-15 |
| | |||
* | klee: Fix some errors made in …parser.c | ZyX | 2017-10-15 |
| | |||
* | viml/parser/expressions: Add support for string parsing | ZyX | 2017-10-15 |
| | |||
* | viml/parser/expressions: Add support for comparison operators | ZyX | 2017-10-15 |
| | |||
* | 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. |