tree 64863afe696bf5b66258c0567c688c4385ac8057
parent 9d3c4a95ee1f8a20184e0d42acc64cb0f40a524f
author Markus Holzemer <markus.holzemer@gmx.de> 1416442849 -0800
committer Ian Maxon <imaxon@uci.edu> 1416601803 -0800

Added writeTypeTag option to serialize function

The following commits from your working branch will be included:

commit 6c57238c99293dbb5783ea405120d863ffacf2c9
Author: Markus Holzemer <markus.holzemer@gmx.de>
Date:   Mon Nov 17 16:59:49 2014 -0800

    Added writeTypeTag option to serialize function

Change-Id: I252f96942a7bedfcc3633a07ad02793c278660ed
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/180
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>