projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86aefbc) | patch
Remove broken/unused `--mmap` option (#8178)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 28 Feb 2022 19:21:16 +0000 (11:21 -0800)
committerGitHub <noreply@github.com>
Mon, 28 Feb 2022 19:21:16 +0000 (19:21 +0000)
commit6b459fe9160bd8fc4f94fde7ccd6c7fae116c178
tree79072c41cd34abed937975bae69206b2cbad1e91tree
parent86aefbc07acff372225852ce8ac9a5d734046058commit | diff
Remove broken/unused `--mmap` option (#8178)

Fixes #2705. This commit removes the broken and unused --mmap option.
Given that we are planning to change to a different parser at some
point, it is not worth attempting to fix the option.
src/main/driver_unified.cpp diff | blob | history
src/options/parser_options.toml diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
src/parser/antlr_input.cpp diff | blob | history
src/parser/antlr_input.h diff | blob | history
src/parser/input.cpp diff | blob | history
src/parser/input.h diff | blob | history
src/parser/memory_mapped_input_buffer.cpp [deleted file] blob | history
src/parser/memory_mapped_input_buffer.h [deleted file] blob | history
test/unit/parser/parser_builder_black.cpp diff | blob | history