Search results

Inlining of Dedekind cuts not always sound

Status: Open.

#15 In psg-mit/marshall;

· bmsherman opened on Oct 27, 2019

Language tutorial

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In psg-mit/marshall;

· bmsherman opened on May 17, 2019

Smart splitting of intervals for integration

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In psg-mit/marshall;

· bmsherman opened on Mar 8, 2019

Definitions are allowed to have free variables

bugSomething isn't workingSomething isn't working

Status: Open.

#12 In psg-mit/marshall;

· bmsherman opened on Mar 7, 2019

Incorrect comparison of dyadic constants or something like that

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In psg-mit/marshall;

· bmsherman opened on Feb 23, 2019

Issue with printing?

bugSomething isn't workingSomething isn't working

Status: Open.

#9 In psg-mit/marshall;

· bmsherman opened on Feb 23, 2019

Use automatic differentiation instead of symbolic differentiation

Status: Open.

#8 In psg-mit/marshall;

· bmsherman opened on Feb 12, 2019

Implement affine arithmetic?

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In psg-mit/marshall;

· bmsherman opened on Feb 7, 2019

Optimization to refinement for maximal approximations

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In psg-mit/marshall;

· bmsherman opened on Feb 6, 2019

Bug with type polymorphism

bugSomething isn't workingSomething isn't working

Status: Open.

#5 In psg-mit/marshall;

· bmsherman opened on Feb 6, 2019

Inexact representation of constants

Status: Open.

#4 In psg-mit/marshall;

· bmsherman opened on Jan 27, 2019

Use derivatives to speed up integration

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In psg-mit/marshall;

· bmsherman opened on Jan 27, 2019