Commits

Branch selector

 pbox

User selector

All users

All time

Commit History

Commits on Jan 11, 2021

• Mixed multiplication

  

  Fred

  committed
  ea65bf6

  Copy full SHA for ea65bf6

Commits on Jan 8, 2021

• Mixed multiplication

  

  Fred

  committed
  6f8a173

  Copy full SHA for 6f8a173

Commits on Jan 7, 2021

• Mixed addition and subtraction

  

  Fred

  committed
  1fc7c1d

  Copy full SHA for 1fc7c1d

Commits on Jan 6, 2021

• Added division of approximating pairs

  

  Fred

  committed
  3c86cba

  Copy full SHA for 3c86cba

Commits on Dec 21, 2020

• Rocco: the timeout in Gelpia is independent from eventual constraints

  rospoly

  committed
  e415789

  Copy full SHA for e415789

• Rocco: constants are rounded to nearest (in this way we simulate ieee single precision; The center of the symbolic expression is evaluated only once and it provided to each process;

  rospoly

  committed
  7a49a0d

  Copy full SHA for 7a49a0d

• Minimal clean

  rospoly

  committed
  84e3cd8

  Copy full SHA for 84e3cd8

• Rocco: sometimes we do need to call Gelpia with output_espilon set to zero

  rospoly

  committed
  0ea1095

  Copy full SHA for 0ea1095

• Rocco: bug in the benchmarks

  rospoly

  committed
  fc630dd

  Copy full SHA for fc630dd

• Rocco: bug in the benchmarks

  rospoly

  committed
  9010b21

  Copy full SHA for 9010b21

Commits on Dec 20, 2020

• Rocco: setup utils

  rospoly

  committed
  4ff732a

  Copy full SHA for 4ff732a

• Rocco: cleaning some usage of decimal

  rospoly

  committed
  4b25fc2

  Copy full SHA for 4b25fc2

• Rocco: cleaning

  rospoly

  committed
  fc71135

  Copy full SHA for fc71135

• Rocco: operations

  rospoly

  committed
  f10ff0e

  Copy full SHA for f10ff0e

• Rocco: minimal clean

  rospoly

  committed
  816b557

  Copy full SHA for 816b557

• Rocco: cleaning

  rospoly

  committed
  57a4d70

  Copy full SHA for 57a4d70

• We ralax cdf values for z3, remove the LP with numpy

  rospoly

  committed
  47b7475

  Copy full SHA for 47b7475

Commits on Dec 19, 2020

• In gelpia we do not encode eps cause Gelpia has imprecision towards small number

  rospoly

  committed
  5e61b87

  Copy full SHA for 5e61b87

• Rocco: smarter manage of non-linearity in the affine forms

  rospoly

  committed
  26ada7b

  Copy full SHA for 26ada7b

• Rocco: utility functions, cleaning, sterbenz theorem

  rospoly

  committed
  eef8ec0

  Copy full SHA for eef8ec0

• Rocco: inverse is done with intervals, Intervals have proxy_precision of 200 bits

  rospoly

  committed
  fa66287

  Copy full SHA for fa66287

Commits on Dec 14, 2020

• Merge?

  

  Fred

  committed
  12bbc53

  Copy full SHA for 12bbc53

• Addition and subtraction - development

  

  Fred

  committed
  476c526

  Copy full SHA for 476c526

Commits on Nov 30, 2020

• Rocco: bug found in the method fromPBoxToDsi

  rospoly

  committed
  d7fe1fc

  Copy full SHA for d7fe1fc

• Constants become variables in the solver, with a nickname Constant_ and a progressive number

  rospoly

  committed
  cb6912b

  Copy full SHA for cb6912b

• SEVERE: potential bug in dreal

  rospoly

  committed
  8fbc48b

  Copy full SHA for 8fbc48b

• Rocco: no more solver pruning for the computation of the error, bug in the quantized number expression, and improved error model (from fptaylor) for symbolic error expressions

  rospoly

  committed
  f70265a

  Copy full SHA for f70265a

• Rocco: bug in symbolic model for numbers

  rospoly

  committed
  e9760e6

  Copy full SHA for e9760e6

• Roco: Symbolic affine arithmetic improved model for errors, new nickname for symbolic terms SYM_E

  rospoly

  committed
  19e8d0d

  Copy full SHA for 19e8d0d

Commits on Nov 26, 2020

• Fred: instructions for the new min-max methods

  rospoly

  committed
  2522009

  Copy full SHA for 2522009

Commits on Nov 25, 2020

• Propagate the symbolic forms throguh the AST of the expression

  rospoly

  committed
  defe02a

  Copy full SHA for defe02a

• Path to GELPHIA for global optimization of symbolic forms

  rospoly

  committed
  9ecec26

  Copy full SHA for 9ecec26

• Symbolic forms for operations

  rospoly

  committed
  35d28a8

  Copy full SHA for 35d28a8

• The model has symbolic forms

  rospoly

  committed
  d0672e4

  Copy full SHA for d0672e4

• PBOX tentative to track input variables through the AST of the expression

  rospoly

  committed
  860b0dd

  Copy full SHA for 860b0dd