add tactic for solving computable goals (!261) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/compute_done into master 3 years ago

All threads resolved!

Fixes #83 (closed)

Activity

Michael Sammler @msammler started a thread on the diff 3 years ago

Resolved 3 years ago by Ralf Jung
Last reply by Ralf Jung 3 years ago

Ralf Jung added 1 commit 3 years ago

added 1 commit

c85d0f7a - expand compute_done to handle a few more kinds of goals

Compare with previous version

Ralf Jung resolved all threads 3 years ago

resolved all threads

Ralf Jung added 1 commit 3 years ago

added 1 commit

14ccc4c8 - add compute_by

Compare with previous version

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

Resolved 3 years ago by Ralf Jung

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

Resolved 3 years ago by Ralf Jung

Ralf Jung added 1 commit 3 years ago

added 1 commit

c17ab51c - coqdoc

Compare with previous version

Ralf Jung resolved all threads 3 years ago

resolved all threads

Robbert Krebbers mentioned in commit 3 years ago

mentioned in commit 53f3a83d

Robbert Krebbers merged 3 years ago

merged

Please register or sign in to reply