Dominik Maier 4f6f76e857
Streamline ShMem API (#472)
* from warning

* fix latest clippy

* clippy fixes++

* renamed shmem parameters

* renamed map to shmem

* make forkserver executor work for any (non-system) shmem

* Mem -> ShMem

* rework windows

* fix nit

* fix symbolic
2022-01-17 18:28:26 +01:00
..
2022-01-17 18:28:26 +01:00
2021-09-27 09:39:32 +02:00
2021-09-27 09:39:32 +02:00