lakeroad icon indicating copy to clipboard operation
lakeroad copied to clipboard

Published 20 hours ago • verified publisher icon uwsampl

Enumerate all submodules in the permuter, modulo rewrites

Open gussmith23 opened this issue 1 year ago • 4 comments

  • [ ] Figure out what's causing infinite loop
  • [ ] Enumerate all modules into Rust object (I can get them as strings; see below)
  • [ ] #405

gussmith23 avatar Dec 03 '23 00:12 gussmith23