Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago

- split Abstract_memory into multiple file
- move from kernel_services to value/domains/multidim