Extend `set_solver` with support for `set_Forall` and `set_Exists`. (!460) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/set_solver_Forall_Exists into master 2 years ago

All threads resolved!

This closes issue #178 (closed)

Activity

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 years ago

Resolved 2 years ago by Ralf Jung
Last reply by Robbert Krebbers 2 years ago

Robbert Krebbers added 1 commit 2 years ago

added 1 commit

b9d3f6c4 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

Ralf Jung resolved all threads 2 years ago

resolved all threads

Ralf Jung @jung 2 years ago

Owner

Neat!

Ralf Jung merged 2 years ago

merged

Ralf Jung mentioned in commit 2 years ago

mentioned in commit e00878be

Please register or sign in to reply