Skip to content
Snippets Groups Projects

use ssreflect rewrite for multiset tactics

Merged use ssreflect rewrite for multiset tactics
ralf/multiset-solver into master
All threads resolved!
Merged Ralf Jung requested to merge ralf/multiset-solver into master
All threads resolved!

Fixes #195 (closed)

Unfortunately I don't know how to condense this into a testcase, the issue needs canonical structure shenanigans to occur.

Merge request reports

Checking pipeline status.

Approval is optional

Merged by Ralf JungRalf Jung 1 year ago (Aug 28, 2023 2:37pm UTC)

Merge details

  • Changes merged into master with fe6145b9.
  • Did not delete the source branch.

  • Closed #195 (closed)

  • Auto-merge enabled

Pipeline #88074 passed

Stage: build

Pipeline passed for fe6145b9 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
  • Ralf Jung added 1 commit

    added 1 commit

    • 4395d5a8 - use ssreflect rewrite for multiset tactics

    Compare with previous version

  • Ralf Jung resolved all threads

    resolved all threads

  • Robbert Krebbers
  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung added 1 commit

    added 1 commit

    Compare with previous version

  • Ralf Jung enabled an automatic merge when the pipeline for a95c77fa succeeds

    enabled an automatic merge when the pipeline for a95c77fa succeeds

  • Robbert Krebbers
  • Ralf Jung resolved all threads

    resolved all threads

  • Ralf Jung merged

    merged

  • Ralf Jung mentioned in commit fe6145b9

    mentioned in commit fe6145b9

  • Ralf Jung mentioned in issue #203

    mentioned in issue #203

    • Please register or sign in to reply