├── .gitignore ├── LICENCE.txt ├── README.md ├── doc └── scan-2014 │ ├── cut_refine.eps │ ├── cut_refine.fig │ ├── cut_refine.pdf │ ├── cuts.eps │ ├── cuts.fig │ ├── cuts.pdf │ ├── interval_lattice.eps │ ├── interval_lattice.fig │ ├── interval_lattice.pdf │ ├── interval_lattice.pdf_t │ ├── lower_upper.eps │ ├── lower_upper.fig │ ├── lower_upper.pdf │ ├── max.eps │ ├── max.fig │ ├── max.pdf │ ├── newton.eps │ ├── newton.fig │ ├── newton.pdf │ └── slides.tex ├── dune-project ├── etc └── haskell │ ├── COPYRIGHT.txt │ ├── Dyadic.hs │ ├── Interval.hs │ ├── Lipschitz.hs │ ├── README.txt │ ├── Reals.hs │ ├── Searchable.hs │ ├── Space.hs │ ├── Staged.hs │ ├── doc │ └── README.txt │ ├── monads.lhs │ ├── notes.tex │ └── test_lim.hs ├── examples └── example.asd ├── marshall.opam ├── prelude.asd └── src ├── approximate.ml ├── common.ml ├── dune ├── dyadic.ml ├── dyadic_bignum.ml ├── dyadic_mpfr.ml ├── dyadic_num.ml ├── dyadic_test.ml ├── environment.ml ├── error.ml ├── eval.ml ├── interval.ml ├── lexer.mll ├── main.ml ├── marshall.ml ├── marshall.odocl ├── message.ml ├── newton.ml ├── parser.mly ├── preamble.ml ├── print.ml ├── region.ml ├── syntax.ml └── typecheck.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENCE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/LICENCE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/README.md -------------------------------------------------------------------------------- /doc/scan-2014/cut_refine.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/cut_refine.eps -------------------------------------------------------------------------------- /doc/scan-2014/cut_refine.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/cut_refine.fig -------------------------------------------------------------------------------- /doc/scan-2014/cut_refine.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/cut_refine.pdf -------------------------------------------------------------------------------- /doc/scan-2014/cuts.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/cuts.eps -------------------------------------------------------------------------------- /doc/scan-2014/cuts.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/cuts.fig -------------------------------------------------------------------------------- /doc/scan-2014/cuts.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/cuts.pdf -------------------------------------------------------------------------------- /doc/scan-2014/interval_lattice.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/interval_lattice.eps -------------------------------------------------------------------------------- /doc/scan-2014/interval_lattice.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/interval_lattice.fig -------------------------------------------------------------------------------- /doc/scan-2014/interval_lattice.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/interval_lattice.pdf -------------------------------------------------------------------------------- /doc/scan-2014/interval_lattice.pdf_t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/interval_lattice.pdf_t -------------------------------------------------------------------------------- /doc/scan-2014/lower_upper.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/lower_upper.eps -------------------------------------------------------------------------------- /doc/scan-2014/lower_upper.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/lower_upper.fig -------------------------------------------------------------------------------- /doc/scan-2014/lower_upper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/lower_upper.pdf -------------------------------------------------------------------------------- /doc/scan-2014/max.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/max.eps -------------------------------------------------------------------------------- /doc/scan-2014/max.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/max.fig -------------------------------------------------------------------------------- /doc/scan-2014/max.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/max.pdf -------------------------------------------------------------------------------- /doc/scan-2014/newton.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/newton.eps -------------------------------------------------------------------------------- /doc/scan-2014/newton.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/newton.fig -------------------------------------------------------------------------------- /doc/scan-2014/newton.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/newton.pdf -------------------------------------------------------------------------------- /doc/scan-2014/slides.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/doc/scan-2014/slides.tex -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/dune-project -------------------------------------------------------------------------------- /etc/haskell/COPYRIGHT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/COPYRIGHT.txt -------------------------------------------------------------------------------- /etc/haskell/Dyadic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Dyadic.hs -------------------------------------------------------------------------------- /etc/haskell/Interval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Interval.hs -------------------------------------------------------------------------------- /etc/haskell/Lipschitz.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Lipschitz.hs -------------------------------------------------------------------------------- /etc/haskell/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/README.txt -------------------------------------------------------------------------------- /etc/haskell/Reals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Reals.hs -------------------------------------------------------------------------------- /etc/haskell/Searchable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Searchable.hs -------------------------------------------------------------------------------- /etc/haskell/Space.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Space.hs -------------------------------------------------------------------------------- /etc/haskell/Staged.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/Staged.hs -------------------------------------------------------------------------------- /etc/haskell/doc/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/doc/README.txt -------------------------------------------------------------------------------- /etc/haskell/monads.lhs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/monads.lhs -------------------------------------------------------------------------------- /etc/haskell/notes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/notes.tex -------------------------------------------------------------------------------- /etc/haskell/test_lim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/etc/haskell/test_lim.hs -------------------------------------------------------------------------------- /examples/example.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/examples/example.asd -------------------------------------------------------------------------------- /marshall.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/marshall.opam -------------------------------------------------------------------------------- /prelude.asd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/prelude.asd -------------------------------------------------------------------------------- /src/approximate.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/approximate.ml -------------------------------------------------------------------------------- /src/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/common.ml -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/dune -------------------------------------------------------------------------------- /src/dyadic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/dyadic.ml -------------------------------------------------------------------------------- /src/dyadic_bignum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/dyadic_bignum.ml -------------------------------------------------------------------------------- /src/dyadic_mpfr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/dyadic_mpfr.ml -------------------------------------------------------------------------------- /src/dyadic_num.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/dyadic_num.ml -------------------------------------------------------------------------------- /src/dyadic_test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/dyadic_test.ml -------------------------------------------------------------------------------- /src/environment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/environment.ml -------------------------------------------------------------------------------- /src/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/error.ml -------------------------------------------------------------------------------- /src/eval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/eval.ml -------------------------------------------------------------------------------- /src/interval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/interval.ml -------------------------------------------------------------------------------- /src/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/lexer.mll -------------------------------------------------------------------------------- /src/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/main.ml -------------------------------------------------------------------------------- /src/marshall.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/marshall.ml -------------------------------------------------------------------------------- /src/marshall.odocl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/marshall.odocl -------------------------------------------------------------------------------- /src/message.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/message.ml -------------------------------------------------------------------------------- /src/newton.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/newton.ml -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/preamble.ml: -------------------------------------------------------------------------------- 1 | module type DYADIC = 2 | sig 3 | end 4 | -------------------------------------------------------------------------------- /src/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/print.ml -------------------------------------------------------------------------------- /src/region.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/region.ml -------------------------------------------------------------------------------- /src/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/syntax.ml -------------------------------------------------------------------------------- /src/typecheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrejbauer/marshall/HEAD/src/typecheck.ml --------------------------------------------------------------------------------