diff options
author | Lachnitt <lachnitt@stanford.edu> | 2021-09-15 11:19:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-15 18:19:53 +0000 |
commit | c6e663987150cab74d0e75393eef36595f9764b9 (patch) | |
tree | 75c1c5b39395e432a788ad92dedc16131567ef18 /COPYING | |
parent | 42fdf7d5ac4db85b75ac43de0b6ae524d3ce63d5 (diff) |
[proofs] Alethe: Added Callback Function to alethe_proof_processor (#7186)
Added alethe_proof_processor header file and introduced callback class.
Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions