aboutsummaryrefslogtreecommitdiff
path: root/test/symbolic
Commit message (Collapse)AuthorAge
* keymap: Do not use vim_isIDc in keymap.cZyX2017-11-30
| | | | | | | | Note: there are three changes to ascii_isident. Reverting first two (in find_special_key and first in get_special_key_code) normally fails the new test with empty &isident, but reverting the third does not. Hence adding `>` to &isident. Ref vim/vim#2389.
* unittests,viml/parser/expressions: Start adding asgn parsing testsZyX2017-11-13
|
* viml/parser/expressions: Add support for parsing assignmentsZyX2017-11-12
|
* charset: Refactor vim_str2nrZyX2017-11-06
|
* klee: Update vim_str2nr in mock as wellZyX2017-10-29
|
* viml/parser/expressions: Remove unused flagZyX2017-10-16
|
* klee: Add run.sh --help and run.sh -sZyX2017-10-16
|
* klee: Fix possible assertion errorZyX2017-10-16
| | | No idea how it did not happen to hit me yet.
* klee: Update key_name_entry tableZyX2017-10-16
|
* klee: Include colors in testZyX2017-10-16
|
* charset: Do not call strlen() from vim_str2nrZyX2017-10-16
|
* charset: Avoid overflow in vim_str2nrZyX2017-10-16
|
* viml/parser/expressions,klee: Fix some problems found by KLEE runZyX2017-10-15
|
* viml/parser/expressions,tests: Add AST freeing, with sanity checksZyX2017-10-15
|
* viml/parser/expressions: Create tests for latest additionsZyX2017-10-15
|
* klee: Fix some errors made in …parser.cZyX2017-10-15
|
* viml/parser/expressions: Finish parserZyX2017-10-15
| | | | | | | Note: formatc.lua was unable to swallow some newer additions to ExprASTNodeType (specifically `kExprNodeOr = '|'` and probably something else), so all `= …` were dropped: in any case they only were there in order to not bother updating viml_pexpr_debug_print_ast_node and since it is now known all nodes which will be present it is not much of an issue.
* viml/parser/expressions: Add support for string parsingZyX2017-10-15
|
* viml/parser/expressions: Make lexer parse numbers, support non-decimalZyX2017-10-15
|
* viml/parser/expressions: Add support for comparison operatorsZyX2017-10-15
|
* viml/parser/expressions: Add a way to adjust lexerZyX2017-10-08
| | | | | | | 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.
* klee: Start preparing for klee testsZyX2017-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.