Skip to content

Upgrade scip bindings to v0.7.1#205

Merged
jupblb merged 2 commits intomainfrom
michal/scip-0.7.1
Apr 14, 2026
Merged

Upgrade scip bindings to v0.7.1#205
jupblb merged 2 commits intomainfrom
michal/scip-0.7.1

Conversation

@jupblb
Copy link
Copy Markdown
Collaborator

@jupblb jupblb commented Apr 14, 2026

No description provided.

@jupblb jupblb force-pushed the michal/scip-0.7.1 branch from 0d75811 to 4863cb5 Compare April 14, 2026 14:12
jupblb added 2 commits April 14, 2026 16:34
Multiple case clauses in a type switch share the same obj.Pos(),
so caseClauses[obj.Pos()] = obj was last-write-wins on a Go map,
producing random types (bool vs interface{}) across runs.

Skip SignatureDocumentation for type-switch locals since the per-case
type info is already emitted via override_documentation on references.
@jupblb jupblb force-pushed the michal/scip-0.7.1 branch from 5b4f821 to 9e7fd8a Compare April 14, 2026 14:35
@jupblb jupblb merged commit edf715c into main Apr 14, 2026
5 checks passed
@jupblb jupblb deleted the michal/scip-0.7.1 branch April 14, 2026 14:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant