neovim

mirrors/neovim

Fork 0

mirror of https://github.com/neovim/neovim.git synced 2025-09-12 22:38:16 +00:00

Commit Graph

Author	SHA1	Message	Date
ZyX	c03dc13bb7	klee: Fix possible assertion error No idea how it did not happen to hit me yet.	2017-10-16 03:05:27 +03:00
ZyX	9fa8f7fc0a	viml/parser/expressions: Add a way to adjust lexer It also adds support for kExprLexOr which for some reason was forgotten. It was only made sure that KLEE test compiles in non-KLEE mode, not that something works or that KLEE is able to run tests.	2017-10-08 22:25:08 +03:00
ZyX	7c97f78393	klee: Start preparing for klee tests 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.	2017-10-08 22:25:05 +03:00

Author

SHA1

Message

Date

ZyX

c03dc13bb7

klee: Fix possible assertion error

No idea how it did not happen to hit me yet.

2017-10-16 03:05:27 +03:00

ZyX

9fa8f7fc0a

viml/parser/expressions: Add a way to adjust lexer

It also adds support for kExprLexOr which for some reason was forgotten.

It was only made sure that KLEE test compiles in non-KLEE mode, not that
something works or that KLEE is able to run tests.

2017-10-08 22:25:08 +03:00

ZyX

7c97f78393

klee: Start preparing for klee tests

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.

2017-10-08 22:25:05 +03:00

3 Commits