projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 932c33b) | patch
Remove antlr_tracing.h (#7608)
authorGereon Kremer <nafur42@gmail.com>
Tue, 9 Nov 2021 01:19:42 +0000 (17:19 -0800)
committerGitHub <noreply@github.com>
Tue, 9 Nov 2021 01:19:42 +0000 (01:19 +0000)
commit00a1a56f4afc93fc5e7aab7f3d4cc04b6232d96c
treeee3e6f6ca2af584a36c24efaf23ae3dae985f6cbtree
parent932c33baa92bd45377b872eaec91b2c7721ff916commit | diff
Remove antlr_tracing.h (#7608)

This PR removes the long obsolete antlr_tracing.h. The file contains an ugly hack to make lexer tracing work for ANTLR 3.2. It has been obsolete since ANTLR 3.3 (April 2011). Note that the code is only enabled with -DCVC5_TRACE_ANTLR, a flag that is never used.
src/parser/CMakeLists.txt diff | blob | history
src/parser/antlr_tracing.h [deleted file] blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/tptp/Tptp.g diff | blob | history