Permalink
Switch branches/tags
Nothing to show
Commits on Dec 18, 2014
Commits on Apr 25, 2014
  1. add missing method

    jwaldmann committed Apr 25, 2014
Commits on Apr 24, 2014
  1. export arctic.direct

    jwaldmann committed Apr 24, 2014
Commits on Feb 18, 2014
  1. adapt to current interface

    jwaldmann committed Feb 18, 2014
  2. repair imports

    jwaldmann committed Feb 18, 2014
  3. put back exotic stuff

    jwaldmann committed Feb 18, 2014
Commits on Jan 21, 2013
Commits on Jan 20, 2013
  1. add more checks

    jwaldmann committed Jan 20, 2013
Commits on Jan 15, 2013
  1. version (more reports)

    jwaldmann committed Jan 15, 2013
  2. import Semiring instance

    jwaldmann committed Jan 15, 2013
  3. arctic numbers (unary)

    jwaldmann committed Jan 15, 2013
  4. include arctic

    jwaldmann committed Jan 15, 2013
Commits on Jan 13, 2013
Commits on Jan 11, 2013
  1. add missing line

    jwaldmann committed Jan 11, 2013
  2. include missing file

    jwaldmann committed Jan 11, 2013
  3. missing file

    jwaldmann committed Jan 11, 2013
  4. workaround (for missing file)

    jwaldmann committed Jan 11, 2013
Commits on Jan 8, 2013
  1. version

    jwaldmann committed Jan 8, 2013
  2. times needs _lo and _hi

    jwaldmann committed Jan 8, 2013
Commits on Jan 7, 2013
  1. slightly better

    jwaldmann committed Jan 7, 2013
  2. better approximation

    jwaldmann committed Jan 7, 2013
  3. use OBDD (not efficient)

    jwaldmann committed Jan 7, 2013
Commits on Jan 3, 2013
Commits on Jan 2, 2013
  1. Opt Int

    jwaldmann committed Jan 2, 2013
Commits on Jan 1, 2013
  1. fix typo in matrix.make

    jwaldmann committed Jan 1, 2013
  2. linear functions

    jwaldmann committed Jan 1, 2013
  3. matrix operations

    jwaldmann committed Jan 1, 2013