Skip to content

Add term rewriting#5

Merged
belovdv merged 2 commits into
masterfrom
trs
Jun 23, 2026
Merged

Add term rewriting#5
belovdv merged 2 commits into
masterfrom
trs

Conversation

@belovdv

@belovdv belovdv commented Jun 19, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

Added:

  • Conversion LIRA <-> DFG
  • Conversion DFG <-> egglog::EGraph

Usage example: rust/lira_trs/tests/rewrite.rs

@belovdv belovdv marked this pull request as draft June 19, 2026 10:52
@belovdv belovdv marked this pull request as ready for review June 22, 2026 16:29
@belovdv belovdv requested a review from uslsteen June 22, 2026 16:30
@belovdv belovdv merged commit 2ff7513 into master Jun 23, 2026
4 checks passed
@uslsteen uslsteen added enhancement New feature or request Rust Relates to Rust LIRA Lirbrary Library Issue relates to LIRA library labels Jun 23, 2026
@belovdv belovdv deleted the trs branch June 23, 2026 16:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@uslsteen uslsteen Awaiting requested review from uslsteen

Assignees

No one assigned

Labels

enhancement New feature or request Library Issue relates to LIRA library Rust Relates to Rust LIRA Lirbrary

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@belovdv @uslsteen