regraph

A pure-Racket equivalence graph

Build status: ok passing tests missing license metadata

README Download
Authors
Documentation
    Tags
    License
      Language familiesRacket
      Last updatedTuesday, May 24th, 2022 7:45:32am (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Build platformsany platform
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/herbie-fp/regraph.git53177afac7697c1e46e16b145bb7a8793573e7c2
      Last checkedTuesday, June 23rd, 2026 10:31:11pm (UTC)
      Last editedMonday, February 17th, 2020 9:56:55pm (UTC)
      Date addedThursday, January 2nd, 2020 3:32:30pm (UTC)
      Modules
      • regraph/extraction.rkt
      • regraph/main.rkt
      • regraph/egraph.rkt
      • regraph/ematch.rkt
      • regraph/enode.rkt
      • regraph/infra/index.rkt
      • regraph/infra/time-regraph.rkt
      • regraph/infra/precompute.rkt