GitLab

Basic behavioral memory simulator that implements the new memory protocol.
Co-authored-by: Antoine Kaufmann <antoinek@mpi-sws.org>
Co-authored-by: Jonas Kaufmann <jokau03@gmail.com>