tree ee768b2a1ef43f6868bc718c9306a333f1445d84
parent d0dd10469bb051366b068e5ae487d00ef98cb2c3
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1562842253 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1563894129 +0200

Add session saving/loading

For now, the header (version+format bytes) is duplicated. This might be
optimized later.