Thibaud Lambert e2dd19c39c mic (perfmodels): merge trunk 13 lat temu
..
examples df72333352 mic (perfmodels): Update perfmodels initialization 13 lat temu
include 9f20f53ce9 fix size_ctxs (do not consider ready tasks for size, only for resize), speed is computed on fixed value of the time 13 lat temu
src e2dd19c39c mic (perfmodels): merge trunk 13 lat temu
Makefile.am e72c552c82 revert r9733: distinguish the effective ABI versions of the different libraries 13 lat temu