regraph

A pure-Racket equivalence graph

Build status: ok dependency problems passing tests

Authors
Documentation
Tags
Last updatedTuesday, June 30th, 2020 5:55:13pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/regraph.git1725355df2cd1ffef7e0c8f01cde848d0f3dcfbf
Last checkedMonday, July 6th, 2020 8:22:07am (UTC)
Last editedMonday, February 17th, 2020 9:56:55pm (UTC)
Date addedThursday, January 2nd, 2020 3:32:30pm (UTC)
Modules
  • regraph/ematch.rkt
  • regraph/infra/index.rkt
  • regraph/infra/precompute.rkt
  • regraph/extraction.rkt
  • regraph/main.rkt
  • regraph/egraph.rkt
  • regraph/infra/time-regraph.rkt
  • regraph/enode.rkt