Porting octane (crypto)
Porting octane (richards - NON-FUNCTIONAL COMMIT)
Finished raytrace (fixed mutabilities)
Finished richards (mutability changes)
Merged master
Merge pull request #10 from UCSD-PL/octane

Octane: fixed mutabilities in raytrace and richards