- Apr 04, 2020
-
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
- Aug 09, 2019
-
-
Camille Coti authored
Implementation of the DiRect method (Dividing Rectangles), as described by Daniel Finkel in "DIRECT Optimization Algorithm User Guide" (2003).
-
- Feb 27, 2019
-
-
roselli authored
-
- Jan 17, 2019
-
-
Michele ROSELLI authored
-
Michele ROSELLI authored
-
Michele ROSELLI authored
-
Michele ROSELLI authored
-
- Jan 10, 2019
-
-
Michele ROSELLI authored
(speeds up by 3-4 times)
-
Camille Coti authored
-
- Jan 09, 2019
-
-
Camille Coti authored
-
- Dec 28, 2018
-
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
Camille Coti authored
-
- Dec 26, 2018
-
-
Camille Coti authored
Fixed z3-based point selection for non-numeric values. Tested on ADI src 1 and axpy5.c, that contain (continguous and non-contiguous) integers, booleans and non-numeric values, it seems to work.
-
- Dec 23, 2018
-
-
Camille Coti authored
-
- Dec 22, 2018
-
-
Camille Coti authored
-
Camille Coti authored
-
- Dec 20, 2018
-
-
Camille Coti authored
-
- Dec 19, 2018
-
-
Camille Coti authored
-
Camille Coti authored
-
Michele ROSELLI authored
-
- Dec 17, 2018
-
-
Camille Coti authored
-
- Dec 13, 2018
-
-
Camille Coti authored
Does not do anything new if z3 is not available (tries to load it in a try/except block). Inputs the variables and their definition domain (including the constraints) in the solver.
-
- Dec 10, 2018
-
-
Michele ROSELLI authored
-
- Dec 05, 2018
-
-
Camille Coti authored
-
Camille Coti authored
-
- Dec 02, 2018
-
-
Michele ROSELLI authored
problems (i.e. lots of constraints)
-
- Dec 01, 2018
-
-
Michele ROSELLI authored
-
Michele ROSELLI authored
-
- Nov 29, 2018
-
-
Michele ROSELLI authored
-
- Nov 19, 2018
-
-
Camille Coti authored
-