diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-09-23 14:20:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-23 16:20:42 -0500 |
| commit | 6d9f47e6e97b44991c8331ae8b5db087d9c9e5fe (patch) | |
| tree | b613ef4fd6ff1689a66e0932fa9792999106d541 /src/proof/alethe/alethe_post_processor.h | |
| parent | d0ec8ff649c7649c9f33e4290c6d7b426121d854 (diff) | |
Refactor check interface of nonlinear extension (#7235)
This PR does a first step for refactoring the main check interface of the nonlinear extension. It does not change anything yet, but merely moves code around.
Diffstat (limited to 'src/proof/alethe/alethe_post_processor.h')
0 files changed, 0 insertions, 0 deletions