This is an old revision of the document!
Navigation
- Library
- Language
Relision
Relision will be a term rewriting library written in Rust.
WhatRelision is, in some ways, a successor to Elision. Elision is a term rewriter written in Scala and donated to Oak Ridge National Laboratory (ORNL), where it became the core of ORNL's Hyperion static analysis system. |
WhyRelision focuses on performance through improved concurrency and the elimination of garbage collection, and a simplified language for expressing rewriting rules and strategies. |
StatusRelision is under development right now, but as it develops documentation will appear here. If you want to follow the development, you can visit my blog. |