[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Deriving encoders/decoders

To: mirageos-devel@xxxxxxxxxxxxxxxxxxxx
From: Hannes Mehnert <hannes@xxxxxxxxxxx>
Date: Sun, 18 Mar 2018 13:20:58 +0000
Delivery-date: Sun, 18 Mar 2018 13:21:56 +0000
List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

thanks for the pointer, code btw at
https://github.com/mit-plv/fiat/tree/master/src/Narcissus

hannes

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel

References:
- [MirageOS-devel] Deriving encoders/decoders
  - From: Richard Mortier

Prev by Date: Re: [MirageOS-devel] Deriving encoders/decoders
Next by Date: Re: [MirageOS-devel] Deriving encoders/decoders
Previous by thread: Re: [MirageOS-devel] Deriving encoders/decoders
Next by thread: Re: [MirageOS-devel] Deriving encoders/decoders
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.