History log of /seL4-camkes-master/tools/pruner/dict.h
Revision Date Author Comments
# 9b112d39 31-Aug-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Fix Licenses
# 99ce2e1b 18-Mar-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Support custom value destructors for dicts.
# 92918bb0 21-Jul-2014 TrustworthySystems <gatekeeper@sel4.systems>

Release snapshot