Issues

• Performance debug and optimize replace_type_try_transport

  help wanted
  mit-plv/rewriter#146 · Filter by author JasonGross opened on Dec 25, 2023

• Handle rewrite rules with binders as arguments to constructors under literals

  mit-plv/rewriter#84 · Filter by author JasonGross opened on Oct 23, 2022

• Rewrite the Rewriter

  mit-plv/rewriter#15 · Filter by author JasonGross opened on Jul 7, 2020

• Flesh out demo file

  mit-plv/rewriter#14 · Filter by author JasonGross opened on Jul 7, 2020

• Add debugging support to the rewriter

  mit-plv/rewriter#41 · Filter by author JasonGross opened on Apr 1, 2020