Commits

History for

Commits on Apr 29, 2021

Sometimes the PATH might not include the path to dreal and z3
rospoly
committed
b5f2e9f

Commits on Apr 27, 2021

Timeout for gelpia constraints is now an input parameter
rospoly
committed
085385e
new parameter z3 input
rospoly
committed
1f87d18

Commits on Apr 22, 2021

Now PAF has a argument parser
rospoly
committed
102737d

Commits on Apr 21, 2021

Now the path to gelpia is relative
rospoly
committed
22124eb

Commits on Apr 14, 2021

Better safe then sorry: setup_utils update
rospoly
committed
9f52869

Commits on Apr 13, 2021

Rocco: no need to use symbolic expressions for constants you can measure the error using interval arithmetic
rospoly
committed
e33d262

Commits on Apr 11, 2021

Rocco: proper handling of prec, exp in mpfr
rospoly
committed
0bd944f

Commits on Apr 6, 2021

Do not quantize negation
rospoly
committed
44609e0

Commits on Mar 26, 2021

Rocco: default options
rospoly
committed
ff3974c
Rocco: custom plotting label
rospoly
committed
c0f1b4f
Minimal fix
rospoly
committed
8a4c727

Commits on Mar 20, 2021

Rocco: fix bug in plotting
rospoly
committed
1db3873
We use the real constraints for any operation
rospoly
committed
82194d1
Rocco: non-linearity is computed exactly, using eps without any substitution e.g. [-1, +1]
rospoly
committed
d73d051

Commits on Mar 18, 2021

Rocco: constraint probability is no longer a vector
rospoly
committed
16e9c01
Rocco: minimal fix plotting
rospoly
committed
f323e6e
Rocco: now we handle only one probability per execution
rospoly
committed
8496f9a
Rocco: coefficients for division is now symbolic
rospoly
committed
5a4d8dd
Rocco: correct division and inverse in sAA. Also, now we properly handle non-linearity using Probabilistic AA
rospoly
committed
dd12dbf

Commits on Mar 11, 2021

Commits on Mar 9, 2021

Rocco: Probabilistic Symbolic AA
rospoly
committed
40bd6ad
Rocco: call to execute should disappear sooner or later
rospoly
committed
7080c34
Rocco: better handling of sampling. I implemented it only for Rayleigh
rospoly
committed
cde233b

Commits on Mar 5, 2021

Commits on Mar 4, 2021

Rocco: I am trying to find a way to remove setup_utils from the tracking files
rospoly
committed
64b0395

Commits on Feb 26, 2021

Rocco: in case of error/misterious output from the solver do not exit but return error value 2
rospoly
committed
e9f5d29