Commits

Author Commit Message Labels Comments Date
Jacob Hinkle
Changed printTestCase to counterexample in tests
Jacob Hinkle
Add failure dep to default.nix
Jacob Hinkle
Nix expression
Jacob Hinkle
Documentation updates. Full haddock coverage now
Jacob Hinkle
Use Data.Tagged instead of custom Phantom type
Jacob Hinkle
Added haddock coverage test
Jacob Hinkle
Added .travis.yml
Jacob Hinkle
Converted tests to use tasty
Jacob Hinkle
fix new hlint warning
Jacob Hinkle
Updated to ignore cabal sandbox-related stuff
Jacob Hinkle
Added -Wall and cleaned up ensuing warnings
Jacob Hinkle
Removed Data. from module names
Jacob Hinkle
Fixed up rotations tests a bit
Jacob Hinkle
Tests working with a little more generic setup
Jacob Hinkle
Library is now Safe
Jacob Hinkle
Fix Quatern test. not a group
Jacob Hinkle
Stub for dualpair tests
Jacob Hinkle
Added Lie tests with Quatern failing Group tests
Jacob Hinkle
Started LieTest, with Monoid and Group tests
Jacob Hinkle
More reasonable ~~ impl. for Quatern
Jacob Hinkle
Updated diffgeom.cabal to allow hpc with --enable-library-coverage
Jacob Hinkle
Ignore .hpc
Jacob Hinkle
Added inner product tests
Jacob Hinkle
Updated testing floating point compares
Jacob Hinkle
Tighten up dependencies
Jacob Hinkle
Started FiberTest and SmoothTest
Jacob Hinkle
Added VectorSpaceTest with Vec3
Jacob Hinkle
fix sphere shrink methods
Jacob Hinkle
Added some sphere-specific tests
Jacob Hinkle
Sphere(Co)Tangent show and arbitrary instances
  1. Prev
  2. Next