Permalink
Commits on May 2, 2016
  1. Merge pull request #6 from bmsherman/master

    Fix error in computing rational Dedekind cuts
    committed May 2, 2016
Commits on Apr 26, 2016
Commits on Jun 17, 2015
  1. Merge pull request #5 from dasimmet/master

    added a Applicative instance, and removed some Tab from Interval.hs, close #4. Thanks a lot!
    committed Jun 17, 2015
Commits on Jun 16, 2015
Commits on Sep 23, 2014
  1. SCAN 2014 slides

    committed Sep 23, 2014
Commits on Sep 17, 2014
  1. Remade the autoconf files

    committed Sep 17, 2014
  2. Add newline to configure.ac to avoid m4 1.4.6 bug.

    Apparently in m4 version 1.4.6 there's a bug which is
    "fixed" by adding a newline to `configure.ac`.
    committed Sep 17, 2014
  3. Removing GNU fluff

    committed Sep 17, 2014
Commits on May 14, 2013
  1. Merge pull request #3 from comius/master

    newton + alpha
    committed May 14, 2013
  2. Implemented proper alpha rule

    comius committed May 14, 2013
Commits on May 13, 2013
  1. Implemented basic alpha rule

    comius committed May 13, 2013
  2. fix on estimate_non_positive

    comius committed May 13, 2013
Commits on May 11, 2013
  1. Cleaned up newton method, added estimates on upper end of interval, a…

    …dded some examples
    comius committed May 11, 2013
  2. Renaming variables in newton.ml

    comius committed May 11, 2013
Commits on Feb 18, 2013
  1. Newton method reinclusion and fix

    comius committed Feb 10, 2013
Commits on Feb 5, 2013
  1. minor fix on inverse interval

    comius committed Feb 5, 2013
Commits on Feb 3, 2013
Commits on Aug 21, 2012
  1. Merge pull request #2 from ericyu3/master

    Small fix
    committed Aug 21, 2012
  2. Fixed to compile on GHC 7.4.1

    ericyu3 committed Aug 21, 2012
  3. Fixed to compile on GHC 7.4.1

    ericyu3 committed Aug 21, 2012
Commits on Jun 5, 2012
  1. updated README.md

    committed Jun 5, 2012
  2. Fixing up parser and main to resemble eff toplevel and parser (which …

    …is in much better shape than Marshall)
    committed Jun 5, 2012
  3. Fixing up parser and main to resemble eff toplevel and parser (which …

    …is in much better shape than Marshall)
    committed Jun 5, 2012
Commits on Jun 1, 2012
  1. Moving stuff around to get a more standard layout of files.

    Also, the haskell implementation does not really deserve such a
    prominent place, so that is moved to etc/haskell.
    committed Jun 1, 2012
  2. changing names of main programs, temporarily disabling the MPFR versi…

    …on (no way to build it)
    committed Jun 1, 2012
Commits on May 31, 2012
  1. Merge pull request #1 from comius/patch-1

    Update ocaml/COPYRIGHT.txt
    committed May 31, 2012