1 Pull request opened by 1 person

• Thread-safe EGraph struct

  #517 opened Jan 31, 2025

1 Issue opened by 1 person

• Can EGraph be Sync + Send?

  #516 opened Jan 27, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Typechecker tests for variable shadowing

  #330 commented on Jan 30, 2025 • 2 new comments

• Subsume should succeed even when the tuple is not present

  #487 commented on Jan 31, 2025 • 1 new comment