Skip to content
Snippets Groups Projects

numbers.v: Don't Qed Decision instances

Merged numbers.v: Don't Qed Decision instances
Blaisorblade/stdpp:paolo/qed-decision into master
All threads resolved!
Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:paolo/qed-decision into master
All threads resolved!

Noticed from a compute_done failure.

Also, use abstract to still hide proof-irrelevant terms from computation.

Merge request reports

Merge request pipeline #106723 passed

Stage: build

Merge request pipeline passed for ffb2184e

Merged by Robbert KrebbersRobbert Krebbers 8 months ago (Sep 8, 2024 7:00am UTC)

Loading

Pipeline #106724 passed

Stage: build

Pipeline passed for d37b5e70 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Robbert Krebbers resolved all threads

    resolved all threads

  • Robbert Krebbers added 1 commit

    added 1 commit

    Compare with previous version

  • Robbert Krebbers enabled an automatic merge when the pipeline for ffb2184e succeeds

    enabled an automatic merge when the pipeline for ffb2184e succeeds

  • Robbert Krebbers
    Robbert Krebbers @robbertkrebbers
    Owner

    Thanks!

  • Robbert Krebbers mentioned in commit d37b5e70

    mentioned in commit d37b5e70

  • Robbert Krebbers merged

    merged

    • Please register or sign in to reply