projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 847ce36) | patch
Clean up and document PP context. (#7102)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 1 Sep 2021 23:54:47 +0000 (16:54 -0700)
committerGitHub <noreply@github.com>
Wed, 1 Sep 2021 23:54:47 +0000 (23:54 +0000)
commit351fe43811e35f04ced22ca459fa31f7dd94937f
treeb4b95d3fa9bc5545256f4b50b89346019aa090eetree
parent847ce3697de4a26e085049496ae1efb7cfb85a99commit | diff
Clean up and document PP context. (#7102)

This marks methods const where possible and adds missing documentation.
src/preprocessing/passes/sort_infer.cpp diff | blob | history
src/preprocessing/preprocessing_pass.cpp diff | blob | history
src/preprocessing/preprocessing_pass_context.cpp diff | blob | history
src/preprocessing/preprocessing_pass_context.h diff | blob | history