Issues

• Inlining of Dedekind cuts not always sound

  psg-mit/marshall#15 · Filter by author bmsherman opened on Oct 27, 2019

• Language tutorial

  enhancement
  psg-mit/marshall#14 · Filter by author bmsherman opened on May 17, 2019

• Smart splitting of intervals for integration

  enhancement
  psg-mit/marshall#13 · Filter by author bmsherman opened on Mar 8, 2019

• Definitions are allowed to have free variables

  bug
  psg-mit/marshall#12 · Filter by author bmsherman opened on Mar 7, 2019
  1

• Incorrect comparison of dyadic constants or something like that

  bug
  psg-mit/marshall#10 · Filter by author bmsherman opened on Feb 23, 2019
  1

• Issue with printing?

  bug
  psg-mit/marshall#9 · Filter by author bmsherman opened on Feb 23, 2019
  1

• Use automatic differentiation instead of symbolic differentiation

  psg-mit/marshall#8 · Filter by author bmsherman opened on Feb 12, 2019

• Implement affine arithmetic?

  enhancement
  psg-mit/marshall#7 · Filter by author bmsherman opened on Feb 7, 2019

• Optimization to refinement for maximal approximations

  enhancement
  psg-mit/marshall#6 · Filter by author bmsherman opened on Feb 6, 2019

• Bug with type polymorphism

  bug
  psg-mit/marshall#5 · Filter by author bmsherman opened on Feb 6, 2019

• Inexact representation of constants

  psg-mit/marshall#4 · Filter by author bmsherman opened on Jan 27, 2019

• Use derivatives to speed up integration

  enhancement
  psg-mit/marshall#3 · Filter by author bmsherman opened on Jan 27, 2019

• Implicit function theorem

  enhancement
  psg-mit/marshall#2 · Filter by author bmsherman opened on Jan 27, 2019

• Detect loops and halt

  enhancement
  psg-mit/marshall#1 · Filter by author bmsherman opened on Jan 23, 2019