Skip to content

Resurrect substitution-to-dot#1351

Merged
lockshaw merged 3 commits intoflexflow:repo-refactorfrom
lockshaw:substitution-tools
May 23, 2024
Merged

Resurrect substitution-to-dot#1351
lockshaw merged 3 commits intoflexflow:repo-refactorfrom
lockshaw:substitution-tools

Conversation

@lockshaw
Copy link
Collaborator

@lockshaw lockshaw commented Apr 4, 2024

Description of changes:

Port substitution-to-dot over from master to repo-refactor, divide into lib/substitution-generator and bin/substitution-to-dot, and port over tests (added to CI).

Also had to improve some of the fmting code due to encountering some errors. Delegating operator<< to the fmt implementation is now opt-in rather than opt-out for arbitrary types, though it is on by default for any visitable or strong_typedef types.

Related Issues:

Linked Issues:

  • Issue #

Issues closed by this PR:

  • Closes #

This change is Reviewable

@lockshaw lockshaw requested a review from wmdi April 4, 2024 11:43
@lockshaw lockshaw enabled auto-merge (squash) April 4, 2024 11:43
Copy link
Collaborator

@wmdi wmdi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 20 of 20 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @lockshaw)

Copy link
Collaborator

@wmdi wmdi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @lockshaw)

Copy link
Collaborator

@wmdi wmdi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r2, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @lockshaw)

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.

3 participants