add get_head tactic and use it in solve_proper_unfold

Tactic taken from Simuliris, originally written by @msammler.

added 1 commit

• 98b1bbf0 - add get_head tactic and use it in solve_proper_unfold

Compare with previous version

resolved all threads

LGTM, modulo changelog.

added 1 commit

• 8649f55e - this is purely syntactic

Compare with previous version

added 1 commit

• 5ca6ea31 - changelog

Compare with previous version

resolved all threads

Can you rebase? (And feel free to merge then).

added 7 commits

• 5ca6ea31...ac04787b - 4 commits from branch master
• 45d47136 - add get_head tactic and use it in solve_proper_unfold
• 0d4fd74e - this is purely syntactic
• d0e3c61f - changelog

Compare with previous version

enabled an automatic merge when the pipeline for d0e3c61f succeeds

aborted the automatic merge because source branch was updated

added 9 commits

• d0e3c61f...a83b4604 - 6 commits from branch master
• 5f77c7f3 - add get_head tactic and use it in solve_proper_unfold
• 4928754a - this is purely syntactic
• 484e994d - changelog

Compare with previous version

added 4 commits

• 653c819a - 1 commit from branch master
• 6ca0d948 - add get_head tactic and use it in solve_proper_unfold
• 093e0481 - this is purely syntactic
• ff1aafac - changelog

Compare with previous version

enabled an automatic merge when the pipeline for ff1aafac succeeds

mentioned in commit 28ed75d0

merged