Skip to content
Snippets Groups Projects

add inv and oinv tactics that are basically a smarter and fixed inversion_clear

Merged Ralf Jung requested to merge ralf/inv into master
All threads resolved!

Fixes #40 (closed)

Sadly I couldn't figure out how to make inv 1 work. See Zulip

Merge request reports

Merge request pipeline #91198 passed

Merge request pipeline passed for 9a6c8a2b

Approval is optional

Merged by Ralf JungRalf Jung 1 year ago (Oct 14, 2023 2:49pm UTC)

Merge details

  • Changes merged into master with f25cad12.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #91199 passed

Pipeline passed for f25cad12 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
  • Ralf Jung added 2 commits

    added 2 commits

    • fd5a8e96 - add inv and oinv tactics that are basically a smarter and fixed inversion_clear
    • 1bd4d13b - use the new tactics in a few spots

    Compare with previous version

  • Ralf Jung added 2 commits

    added 2 commits

    • d3023dce - add inv and oinv tactics that are basically a smarter and fixed inversion_clear
    • e2062129 - use the new tactics in a few spots

    Compare with previous version

  • Ralf Jung resolved all threads

    resolved all threads

  • Can you add a CHANGELOG and merge?

  • Ralf Jung added 10 commits

    added 10 commits

    Compare with previous version

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

    enabled an automatic merge when the pipeline for 9a6c8a2b succeeds

  • merged

  • Ralf Jung mentioned in commit f25cad12

    mentioned in commit f25cad12

  • mentioned in issue #40 (closed)

  • Please register or sign in to reply
    Loading