If you know about term rewriting or parallelization of Scala applications, please get in touch.

Elision is a project to develop a term rewriter. It is designed specifically for use in the function extraction system ("Hyperion") being developed and maintained at Oak Ridge National Laboratory (ORNL) to compute the semantics of programs.

Find the current release of the system, source, and documentation at The Elision Home Page. The source is hosted on GitHub. The Elision language specification is contained in the PDF documentation distributed from the home page.

The rewriter's feature set has stabilized for now, but there are some general tasks that remain to be done.

• The documentation is getting better, but more is needed.
• Testing, testing, testing. The system needs a lot of testing.
• Significant improvements are needed in the memoization system, especially to handle multi-threaded code.

Elision is Copyright © UT-Battelle, LLC, and is distributed under a modified BSD "two clause" license.

Our general model for working on Elision is to have folks fork the repository, and then issue pull requests. If you've forked Elision, consider joining the project.

For some suggestions on working with this repository, see Working.

If you aren't familiar with git, have a look here.