Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 9, 2014

• Fix typo in documentation

  bmsherman

  committed
  7fc0f38

Commits on Oct 11, 2014

• More encapsulation for SNat and Vect

  bmsherman

  committed
  3d66010

Commits on Oct 8, 2014

• Newtypes and other small changes

  bmsherman

  committed
  ca4979e

Commits on Oct 6, 2014

• Create length-indexed lists to do static sizing right

  bmsherman

  committed
  7adb914

Commits on Oct 5, 2014

• Update documentation

  bmsherman

  committed
  5f9acae

• Revert some of the stricter typing stuff

  bmsherman

  committed
  10f35cd

Commits on Oct 3, 2014

• Stricter static typing of sizes and better type inference

  bmsherman

  committed
  2ef3f01

Commits on Sep 29, 2014

• Update interface and documentation

  bmsherman

  committed
  2648612

Commits on Sep 25, 2014

• Rework interface with static array sizes. Include HMatrix backend.

  bmsherman

  committed
  3b23a71

Commits on Sep 15, 2014

• Clarify what LinAlg is

  bmsherman

  committed
  b1f376f

Commits on May 22, 2014

• Add link to docs in readme.

  bmsherman

  committed
  55b47be

• Add installation instructions to readme.

  bmsherman

  committed
  832550b

• Improve the readme.

  bmsherman

  committed
  b861755

• Update README with links to backends.

  bmsherman

  committed
  e2e3c81

Commits on May 20, 2014

• I don't know my own email!

  bmsherman

  committed
  ae93ce3

• Create a README describing LinAlg

  bmsherman

  committed
  0e82c22

• Initial public commit.

  bmsherman

  committed
  eb4e758