Quentin Bourgerie d9c9ecbf0b fix(manp): Use the active bits to square a the constant in the 2-norm computation to allow more program to be analyzed

2022-08-25 09:46:51 +02:00

..

CMakeLists.txt

feat(optimizer): create optimizer dag and use it

2022-08-11 10:10:27 +02:00

ConcreteOptimizer.cpp

feat(optimizer): connect to new entry point supporting woppbs

2022-08-16 08:40:14 +02:00

MANP.cpp

fix(manp): Use the active bits to square a the constant in the 2-norm computation to allow more program to be analyzed

2022-08-25 09:46:51 +02:00

utils.cpp

feat(optimizer): create optimizer dag and use it

2022-08-11 10:10:27 +02:00