Merge branch 'main' of https://gitlab.insa-rennes.fr/kvargany/profiling_openvvc

Cmp_SMID_notSMID/.gitkeep

Cmp_SMID_notSMID/Missing_function

Cmp_SMID_notSMID/Modification_toolinfo

Cmp_SMID_notSMID/perfNSIMD.report

Cmp_SMID_notSMID/perfSIMD.report

Cmp_SMID_notSMID/profiling_default.json

Cmp_SMID_notSMID/profiling_thread1.json

Cmp_SMID_notSMID/profiling_thread12.json

Cmp_SMID_notSMID/profiling_thread2.json

Cmp_SMID_notSMID/profiling_thread4.json

Cmp_SMID_notSMID/profiling_thread8.json

Scripts_profiling/.gitkeep