├── .gitignore ├── .gitmodules ├── .travis.yml ├── HerbiePlugin.cabal ├── LICENSE ├── README.md ├── Setup.hs ├── data └── Herbie.db ├── src ├── Herbie.hs ├── Herbie │ ├── CoreManip.hs │ ├── ForeignInterface.hs │ ├── MathExpr.hs │ ├── MathInfo.hs │ └── Options.hs └── Show.hs ├── stack.yaml └── test ├── SpecialFunctions.hs ├── Tests.hs └── ValidRewrite.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/.gitmodules -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/.travis.yml -------------------------------------------------------------------------------- /HerbiePlugin.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/HerbiePlugin.cabal -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /data/Herbie.db: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/data/Herbie.db -------------------------------------------------------------------------------- /src/Herbie.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Herbie.hs -------------------------------------------------------------------------------- /src/Herbie/CoreManip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Herbie/CoreManip.hs -------------------------------------------------------------------------------- /src/Herbie/ForeignInterface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Herbie/ForeignInterface.hs -------------------------------------------------------------------------------- /src/Herbie/MathExpr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Herbie/MathExpr.hs -------------------------------------------------------------------------------- /src/Herbie/MathInfo.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Herbie/MathInfo.hs -------------------------------------------------------------------------------- /src/Herbie/Options.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Herbie/Options.hs -------------------------------------------------------------------------------- /src/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/src/Show.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/SpecialFunctions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/test/SpecialFunctions.hs -------------------------------------------------------------------------------- /test/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/test/Tests.hs -------------------------------------------------------------------------------- /test/ValidRewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mikeizbicki/HerbiePlugin/HEAD/test/ValidRewrite.hs --------------------------------------------------------------------------------