History log of /seL4-l4v-10.1.1/l4v/spec/haskell/src/SEL4/Model/Preemption.lhs
Revision Date Author Comments
# 333f0160 26-Aug-2018 Ilya Yanok <ilya.yanok@gmail.com>

haskell: switch from deprecated ErrorT to ExceptT

and remove Error instances that are not needed anymore.
# de745cb2 14-Mar-2017 Gerwin Klein <gerwin.klein@data61.csiro.au>

haskell: adopt new getActiveIRQ parameter
# ebc7cbe5 23-May-2016 Japheth Lim <Japheth.Lim@nicta.com.au>

haskell: move Haskell kernel into spec/