Rename simgrid to tansiv
It's only about the (still) hard-coded name of the tansiv coordinator socket.
tansiv/TANSIV already points at the tip of this branch and an end-to-end ping through tansiv between Qemu VMs succeeded.
It's only about the (still) hard-coded name of the tansiv coordinator socket.
tansiv/TANSIV already points at the tip of this branch and an end-to-end ping through tansiv between Qemu VMs succeeded.