History log of /seL4-l4v-master/HOL4/src/portableML/FlagDB.sml
Revision Date Author Comments
# b2b4683c 11-Nov-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Implement generic universally-typed database of "flags"

A value like this will eventually need to how we store things like
Globals.priming, as well as traces from Feedback. A FlagDB value can
be stored in a reference and accessed in concurrency-aware ways.
References such as Globals.priming can't.