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

..

Analysis

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

IR

docs: use consistent style for comment blocks

2022-07-07 16:11:19 +01:00

CMakeLists.txt

chore: rename dialects

2021-12-29 15:13:34 +01:00