alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

incremental mode (SMT2): Support save/replay used context per check-sat

Open iguerNL opened this issue 3 years ago • 0 comments

Original question in review of https://github.com/OCamlPro/alt-ergo/pull/371

Another question related to save/replay used-context: an extra work is probably needed. This is probably already done for native-lang's multi-goals feature, and we could adapt it for push/pop

iguerNL avatar Dec 02 '20 11:12 iguerNL