regraph

A pure-Racket equivalence graph

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedTuesday, May 24th, 2022 7:45:32am (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/regraph.git53177afac7697c1e46e16b145bb7a8793573e7c2
Last checkedFriday, July 1st, 2022 6:16:10am (UTC)
Last editedMonday, February 17th, 2020 9:56:55pm (UTC)
Date addedThursday, January 2nd, 2020 3:32:30pm (UTC)
Modules
  • regraph/infra/time-regraph.rkt
  • regraph/enode.rkt
  • regraph/infra/precompute.rkt
  • regraph/main.rkt
  • regraph/egraph.rkt
  • regraph/ematch.rkt
  • regraph/extraction.rkt
  • regraph/infra/index.rkt