├── .envrc ├── .ghci ├── .gitignore ├── C ├── .gitignore └── Makefile ├── ChangeLog.md ├── Contributing.md ├── HashedExpression.cabal ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── VERSION ├── app ├── Examples │ ├── Brain.hs │ ├── IpoptSimple │ │ ├── IpoptSimple.hs │ │ ├── ipopt.nix │ │ ├── mumps.nix │ │ ├── shell.nix │ │ └── src │ │ │ ├── Dockerfile │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── data_out.csv │ │ │ ├── ipopt │ │ │ └── ipopt.c │ ├── LinearRegression.hs │ ├── LogisticRegression.hs │ └── NeuralNetwork.hs └── Main.hs ├── docs ├── .gitignore ├── Dockerfile ├── ThesisDefense.pdf └── images │ ├── Hash.png │ ├── Hash_Explicit.png │ ├── MRI-Image-Reconstruction.pdf │ ├── brain_after.png │ ├── brain_before.png │ ├── dag.png │ ├── ex1_after.png │ ├── ex1_before.png │ ├── ex2_after.png │ ├── ex2_before.png │ ├── nn_before.png │ ├── nn_weight.png │ └── tree.png ├── embed ├── csimple.c ├── fftw.c ├── random.c ├── readHDF5.c ├── readTXT.c ├── writeCSV.c ├── writeHDF5.c └── writeTXT.c ├── examples ├── .gitignore ├── LinearRegression │ ├── Makefile │ ├── plot.py │ ├── x.txt │ └── y.txt ├── LogisticRegression │ ├── Makefile │ ├── plot.py │ ├── x_expanded.txt │ ├── x_original.txt │ └── y.txt ├── NeuralNetwork │ ├── Makefile │ ├── data.h5 │ └── plot.py └── brain │ ├── Makefile │ ├── bound.h5 │ ├── kspace.h5 │ ├── mask.h5 │ └── plot.py ├── hie.yaml ├── highs ├── highs.nix └── shell.nix ├── ipopt ├── .gitignore ├── ipopt.nix ├── mumps.nix ├── shell.nix └── src │ ├── Dockerfile │ ├── Makefile │ ├── README.md │ └── ipopt.c ├── mps ├── options ├── prob.mps └── sample.mps ├── package.yaml ├── shell.nix ├── solvers ├── gradient_descent │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── gradient_descent.c │ └── gradient_descent_backtracking.c ├── ipopt │ ├── .gitignore │ ├── Dockerfile │ ├── Makefile │ ├── README.md │ └── ipopt.c ├── lbfgs-b │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── lbfgs-b.c │ ├── lib │ │ ├── Makefile │ │ ├── lbfgsb.c │ │ ├── lbfgsb.h │ │ ├── linesearch.c │ │ ├── linpack.c │ │ ├── miniCBLAS.c │ │ ├── print.c │ │ ├── subalgorithms.c │ │ └── timer.c │ └── plot.py ├── lbfgs │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── lbfgs.c │ └── plot.py └── plot.py ├── src ├── HashedExpression.hs └── HashedExpression │ ├── Codegen.hs │ ├── Codegen │ ├── CSIMD.hs │ ├── CSimple.hs │ └── MPS.hs │ ├── Differentiation │ ├── Reverse.hs │ └── Reverse │ │ └── State.hs │ ├── Embed.hs │ ├── Interface.hs │ ├── Internal.hs │ ├── Internal │ ├── Base.hs │ ├── Builder.hs │ ├── Hash.hs │ ├── MonadExpression.hs │ ├── Node.hs │ ├── OperationSpec.hs │ ├── Pattern.hs │ ├── Rewrite.hs │ └── Simplify.hs │ ├── Interp.hs │ ├── Modeling │ ├── Simple.hs │ ├── Typed.hs │ ├── Unit.hs │ └── Unit │ │ ├── Common.hs │ │ ├── SI.hs │ │ └── TypeInt.hs │ ├── Prettify.hs │ ├── Problem.hs │ ├── Solvers │ ├── HIGHS.hs │ └── NLOPT.hs │ ├── Utils.hs │ └── Value.hs ├── stack.yaml ├── stack.yaml.lock ├── test ├── CSimpleSpec.hs ├── CollisionSpec.hs ├── Commons.hs ├── InterpSpec.hs ├── ProblemSpec.hs ├── ReverseDifferentiationSpec.hs ├── SimplifySpec.hs ├── SolverSpec.hs ├── Spec.hs ├── StructureSpec.hs ├── TestMPS.hs ├── TestNLOptBindings.hs ├── Tutorial.hs └── Var.hs └── wercker.yml /.envrc: -------------------------------------------------------------------------------- 1 | use nix 2 | -------------------------------------------------------------------------------- /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/.ghci -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/.gitignore -------------------------------------------------------------------------------- /C/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | !Makefile 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /C/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/C/Makefile -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /Contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/Contributing.md -------------------------------------------------------------------------------- /HashedExpression.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/HashedExpression.cabal -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | 3 | main = defaultMain 4 | -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 0.0.10 2 | -------------------------------------------------------------------------------- /app/Examples/Brain.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/Brain.hs -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/IpoptSimple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/IpoptSimple.hs -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/ipopt.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/ipopt.nix -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/mumps.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/mumps.nix -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/shell.nix -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/src/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/src/Dockerfile -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/src/Makefile -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/src/README.md -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/src/data_out.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/src/data_out.csv -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/src/ipopt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/src/ipopt -------------------------------------------------------------------------------- /app/Examples/IpoptSimple/src/ipopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/IpoptSimple/src/ipopt.c -------------------------------------------------------------------------------- /app/Examples/LinearRegression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/LinearRegression.hs -------------------------------------------------------------------------------- /app/Examples/LogisticRegression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/LogisticRegression.hs -------------------------------------------------------------------------------- /app/Examples/NeuralNetwork.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Examples/NeuralNetwork.hs -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/app/Main.hs -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/Dockerfile -------------------------------------------------------------------------------- /docs/ThesisDefense.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/ThesisDefense.pdf -------------------------------------------------------------------------------- /docs/images/Hash.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/Hash.png -------------------------------------------------------------------------------- /docs/images/Hash_Explicit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/Hash_Explicit.png -------------------------------------------------------------------------------- /docs/images/MRI-Image-Reconstruction.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/MRI-Image-Reconstruction.pdf -------------------------------------------------------------------------------- /docs/images/brain_after.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/brain_after.png -------------------------------------------------------------------------------- /docs/images/brain_before.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/brain_before.png -------------------------------------------------------------------------------- /docs/images/dag.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/dag.png -------------------------------------------------------------------------------- /docs/images/ex1_after.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/ex1_after.png -------------------------------------------------------------------------------- /docs/images/ex1_before.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/ex1_before.png -------------------------------------------------------------------------------- /docs/images/ex2_after.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/ex2_after.png -------------------------------------------------------------------------------- /docs/images/ex2_before.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/ex2_before.png -------------------------------------------------------------------------------- /docs/images/nn_before.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/nn_before.png -------------------------------------------------------------------------------- /docs/images/nn_weight.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/nn_weight.png -------------------------------------------------------------------------------- /docs/images/tree.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/docs/images/tree.png -------------------------------------------------------------------------------- /embed/csimple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/csimple.c -------------------------------------------------------------------------------- /embed/fftw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/fftw.c -------------------------------------------------------------------------------- /embed/random.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/random.c -------------------------------------------------------------------------------- /embed/readHDF5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/readHDF5.c -------------------------------------------------------------------------------- /embed/readTXT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/readTXT.c -------------------------------------------------------------------------------- /embed/writeCSV.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/writeCSV.c -------------------------------------------------------------------------------- /embed/writeHDF5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/writeHDF5.c -------------------------------------------------------------------------------- /embed/writeTXT.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/embed/writeTXT.c -------------------------------------------------------------------------------- /examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/.gitignore -------------------------------------------------------------------------------- /examples/LinearRegression/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LinearRegression/Makefile -------------------------------------------------------------------------------- /examples/LinearRegression/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LinearRegression/plot.py -------------------------------------------------------------------------------- /examples/LinearRegression/x.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LinearRegression/x.txt -------------------------------------------------------------------------------- /examples/LinearRegression/y.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LinearRegression/y.txt -------------------------------------------------------------------------------- /examples/LogisticRegression/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LogisticRegression/Makefile -------------------------------------------------------------------------------- /examples/LogisticRegression/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LogisticRegression/plot.py -------------------------------------------------------------------------------- /examples/LogisticRegression/x_expanded.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LogisticRegression/x_expanded.txt -------------------------------------------------------------------------------- /examples/LogisticRegression/x_original.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LogisticRegression/x_original.txt -------------------------------------------------------------------------------- /examples/LogisticRegression/y.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/LogisticRegression/y.txt -------------------------------------------------------------------------------- /examples/NeuralNetwork/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/NeuralNetwork/Makefile -------------------------------------------------------------------------------- /examples/NeuralNetwork/data.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/NeuralNetwork/data.h5 -------------------------------------------------------------------------------- /examples/NeuralNetwork/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/NeuralNetwork/plot.py -------------------------------------------------------------------------------- /examples/brain/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/brain/Makefile -------------------------------------------------------------------------------- /examples/brain/bound.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/brain/bound.h5 -------------------------------------------------------------------------------- /examples/brain/kspace.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/brain/kspace.h5 -------------------------------------------------------------------------------- /examples/brain/mask.h5: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/brain/mask.h5 -------------------------------------------------------------------------------- /examples/brain/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/examples/brain/plot.py -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/hie.yaml -------------------------------------------------------------------------------- /highs/highs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/highs/highs.nix -------------------------------------------------------------------------------- /highs/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/highs/shell.nix -------------------------------------------------------------------------------- /ipopt/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/.gitignore -------------------------------------------------------------------------------- /ipopt/ipopt.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/ipopt.nix -------------------------------------------------------------------------------- /ipopt/mumps.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/mumps.nix -------------------------------------------------------------------------------- /ipopt/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/shell.nix -------------------------------------------------------------------------------- /ipopt/src/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/src/Dockerfile -------------------------------------------------------------------------------- /ipopt/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/src/Makefile -------------------------------------------------------------------------------- /ipopt/src/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/src/README.md -------------------------------------------------------------------------------- /ipopt/src/ipopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/ipopt/src/ipopt.c -------------------------------------------------------------------------------- /mps/options: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/mps/options -------------------------------------------------------------------------------- /mps/prob.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/mps/prob.mps -------------------------------------------------------------------------------- /mps/sample.mps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/mps/sample.mps -------------------------------------------------------------------------------- /package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/package.yaml -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/shell.nix -------------------------------------------------------------------------------- /solvers/gradient_descent/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/gradient_descent/.gitignore -------------------------------------------------------------------------------- /solvers/gradient_descent/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/gradient_descent/Makefile -------------------------------------------------------------------------------- /solvers/gradient_descent/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/gradient_descent/README.md -------------------------------------------------------------------------------- /solvers/gradient_descent/gradient_descent.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/gradient_descent/gradient_descent.c -------------------------------------------------------------------------------- /solvers/gradient_descent/gradient_descent_backtracking.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/gradient_descent/gradient_descent_backtracking.c -------------------------------------------------------------------------------- /solvers/ipopt/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/ipopt/.gitignore -------------------------------------------------------------------------------- /solvers/ipopt/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/ipopt/Dockerfile -------------------------------------------------------------------------------- /solvers/ipopt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/ipopt/Makefile -------------------------------------------------------------------------------- /solvers/ipopt/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/ipopt/README.md -------------------------------------------------------------------------------- /solvers/ipopt/ipopt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/ipopt/ipopt.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/.gitignore -------------------------------------------------------------------------------- /solvers/lbfgs-b/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/Makefile -------------------------------------------------------------------------------- /solvers/lbfgs-b/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/README.md -------------------------------------------------------------------------------- /solvers/lbfgs-b/lbfgs-b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lbfgs-b.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/Makefile -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/lbfgsb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/lbfgsb.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/lbfgsb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/lbfgsb.h -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/linesearch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/linesearch.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/linpack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/linpack.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/miniCBLAS.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/miniCBLAS.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/print.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/subalgorithms.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/subalgorithms.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/lib/timer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs-b/lib/timer.c -------------------------------------------------------------------------------- /solvers/lbfgs-b/plot.py: -------------------------------------------------------------------------------- 1 | ../plot.py -------------------------------------------------------------------------------- /solvers/lbfgs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs/.gitignore -------------------------------------------------------------------------------- /solvers/lbfgs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs/Makefile -------------------------------------------------------------------------------- /solvers/lbfgs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs/README.md -------------------------------------------------------------------------------- /solvers/lbfgs/lbfgs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/lbfgs/lbfgs.c -------------------------------------------------------------------------------- /solvers/lbfgs/plot.py: -------------------------------------------------------------------------------- 1 | ../plot.py -------------------------------------------------------------------------------- /solvers/plot.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/solvers/plot.py -------------------------------------------------------------------------------- /src/HashedExpression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression.hs -------------------------------------------------------------------------------- /src/HashedExpression/Codegen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Codegen.hs -------------------------------------------------------------------------------- /src/HashedExpression/Codegen/CSIMD.hs: -------------------------------------------------------------------------------- 1 | {-# OPTIONS_HADDOCK hide #-} 2 | 3 | module HashedExpression.Codegen.CSIMD where 4 | -------------------------------------------------------------------------------- /src/HashedExpression/Codegen/CSimple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Codegen/CSimple.hs -------------------------------------------------------------------------------- /src/HashedExpression/Codegen/MPS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Codegen/MPS.hs -------------------------------------------------------------------------------- /src/HashedExpression/Differentiation/Reverse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Differentiation/Reverse.hs -------------------------------------------------------------------------------- /src/HashedExpression/Differentiation/Reverse/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Differentiation/Reverse/State.hs -------------------------------------------------------------------------------- /src/HashedExpression/Embed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Embed.hs -------------------------------------------------------------------------------- /src/HashedExpression/Interface.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Interface.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Base.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Builder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Builder.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Hash.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Hash.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/MonadExpression.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/MonadExpression.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Node.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Node.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/OperationSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/OperationSpec.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Pattern.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Pattern.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Rewrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Rewrite.hs -------------------------------------------------------------------------------- /src/HashedExpression/Internal/Simplify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Internal/Simplify.hs -------------------------------------------------------------------------------- /src/HashedExpression/Interp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Interp.hs -------------------------------------------------------------------------------- /src/HashedExpression/Modeling/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Modeling/Simple.hs -------------------------------------------------------------------------------- /src/HashedExpression/Modeling/Typed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Modeling/Typed.hs -------------------------------------------------------------------------------- /src/HashedExpression/Modeling/Unit.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Modeling/Unit.hs -------------------------------------------------------------------------------- /src/HashedExpression/Modeling/Unit/Common.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Modeling/Unit/Common.hs -------------------------------------------------------------------------------- /src/HashedExpression/Modeling/Unit/SI.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Modeling/Unit/SI.hs -------------------------------------------------------------------------------- /src/HashedExpression/Modeling/Unit/TypeInt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Modeling/Unit/TypeInt.hs -------------------------------------------------------------------------------- /src/HashedExpression/Prettify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Prettify.hs -------------------------------------------------------------------------------- /src/HashedExpression/Problem.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Problem.hs -------------------------------------------------------------------------------- /src/HashedExpression/Solvers/HIGHS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Solvers/HIGHS.hs -------------------------------------------------------------------------------- /src/HashedExpression/Solvers/NLOPT.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Solvers/NLOPT.hs -------------------------------------------------------------------------------- /src/HashedExpression/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Utils.hs -------------------------------------------------------------------------------- /src/HashedExpression/Value.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/src/HashedExpression/Value.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /test/CSimpleSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/CSimpleSpec.hs -------------------------------------------------------------------------------- /test/CollisionSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/CollisionSpec.hs -------------------------------------------------------------------------------- /test/Commons.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/Commons.hs -------------------------------------------------------------------------------- /test/InterpSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/InterpSpec.hs -------------------------------------------------------------------------------- /test/ProblemSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/ProblemSpec.hs -------------------------------------------------------------------------------- /test/ReverseDifferentiationSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/ReverseDifferentiationSpec.hs -------------------------------------------------------------------------------- /test/SimplifySpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/SimplifySpec.hs -------------------------------------------------------------------------------- /test/SolverSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/SolverSpec.hs -------------------------------------------------------------------------------- /test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/Spec.hs -------------------------------------------------------------------------------- /test/StructureSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/StructureSpec.hs -------------------------------------------------------------------------------- /test/TestMPS.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/TestMPS.hs -------------------------------------------------------------------------------- /test/TestNLOptBindings.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/TestNLOptBindings.hs -------------------------------------------------------------------------------- /test/Tutorial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/Tutorial.hs -------------------------------------------------------------------------------- /test/Var.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/test/Var.hs -------------------------------------------------------------------------------- /wercker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/McMasterU/HashedExpression/HEAD/wercker.yml --------------------------------------------------------------------------------