-
Notifications
You must be signed in to change notification settings - Fork 2
simedw/PureEqSat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
# Info about the project This work has been done for the course Frontiers of Programming Languages during the month of September in 2010. It presents a novel way of doing optimizations in the style of equality saturation. This explores the space of equivalent terms to and the best i.e. the optimized term. In d to other approaches all terms will be saved and can be used to and new equivalent terms. # How to build Make sure you have Haskell version 6.12 or newer. Run the following commands > cabal configure > cabal build # How to use To try an example program to optimize first build the project and then run > ./dist/build/PureEqSat/PureEqSat -f examples/ex1.pes To see the various flags PureEqSat accepts run the program with --help WORD OF CAUTION: ex6.pes and ex7.pes are examples where the rule engine don't cut it. Waiting for the results can lead to the end of the universe...
About
Equality Saturation for a small pure language
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published