Commits

History for

Commits on Jan 11, 2021

Mixed multiplication
Fred
committed
ea65bf6

Commits on Jan 8, 2021

Mixed multiplication
Fred
committed
6f8a173

Commits on Jan 7, 2021

Mixed addition and subtraction
Fred
committed
1fc7c1d

Commits on Jan 6, 2021

Added division of approximating pairs
Fred
committed
3c86cba

Commits on Dec 21, 2020

Commits on Dec 20, 2020

Rocco: setup utils
rospoly
committed
4ff732a
Rocco: cleaning some usage of decimal
rospoly
committed
4b25fc2
Rocco: cleaning
rospoly
committed
fc71135
Rocco: operations
rospoly
committed
f10ff0e
Rocco: minimal clean
rospoly
committed
816b557
Rocco: cleaning
rospoly
committed
57a4d70
We ralax cdf values for z3, remove the LP with numpy
rospoly
committed
47b7475

Commits on Dec 14, 2020

Merge?
Fred
committed
12bbc53
Addition and subtraction - development
Fred
committed
476c526

Commits on Nov 30, 2020

Commits on Nov 26, 2020

Fred: instructions for the new min-max methods
rospoly
committed
2522009

Commits on Nov 25, 2020

Propagate the symbolic forms throguh the AST of the expression
rospoly
committed
defe02a
Path to GELPHIA for global optimization of symbolic forms
rospoly
committed
9ecec26
Symbolic forms for operations
rospoly
committed
35d28a8
The model has symbolic forms
rospoly
committed
d0672e4
PBOX tentative to track input variables through the AST of the expression
rospoly
committed
860b0dd
Error model has symbolic forms
rospoly
committed
bb3c6b2
Symbolic Affine arithmetic
rospoly
committed
9d5fa26