projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 89cfae2) | patch
Refactor lexer for SMT-LIB in sphinx (#6805)
authorGereon Kremer <nafur42@gmail.com>
Fri, 2 Jul 2021 06:42:28 +0000 (08:42 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Jul 2021 06:42:28 +0000 (06:42 +0000)
commitf0084555f6a9781dc0238d6a96b10e88ca56cc50
tree5f4cb8c7e797e9fe532b7da58e9fdcae8a556e83tree
parent89cfae28cfa8013db596f2cb766b07e2188c5610commit | diff
Refactor lexer for SMT-LIB in sphinx (#6805)

This PR refactors the lexer used by sphinx for highlighting SMT-LIB files. This new lexer properly checks for word boundaries and uses the proper character sets from the SMT-LIB standard.
docs/ext/smtliblexer.py diff | blob | history