regraph

A pure-Racket equivalence graph

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedMonday, January 27th, 2020 10:09:37pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/herbie-fp/regraph.git65bd9f13268a083465f3ea130e5a6d482cd61de4
Last checkedSaturday, March 28th, 2020 3:11:25pm (UTC)
Last editedMonday, February 17th, 2020 9:56:55pm (UTC)
Date addedThursday, January 2nd, 2020 3:32:30pm (UTC)
Modules
  • regraph/ematch.rkt
  • regraph/main.rkt
  • regraph/egraph.rkt
  • regraph/enode.rkt
  • regraph/extraction.rkt