Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Allow CTerm to consume mlTop/mlBottom #146

Closed
wants to merge 5 commits into from
Closed

Allow CTerm to consume mlTop/mlBottom #146

wants to merge 5 commits into from

Conversation

ehildenb
Copy link
Member

@ehildenb ehildenb commented Dec 13, 2022

Currently, CTerm attempts to split configuration and constraints on the Kast passed to it. This allows it to handle mlTop() and mlBottom() as well.

@ehildenb ehildenb self-assigned this Dec 13, 2022
@ehildenb ehildenb changed the title Cell map variable sort inference, better CTerm top/bottom Allow CTerm to consume mlTop/mlBottom Jan 27, 2023
@ehildenb ehildenb removed their assignment Mar 21, 2023
@iFrostizz
Copy link
Contributor

closed in favor of #621

@iFrostizz iFrostizz closed this Aug 23, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants