History log of /seL4-l4v-master/HOL4/examples/hardware/port/tamarack2/tamarackProof1Script.sml
Revision Date Author Comments
# 12633562 23-Apr-2018 Thomas Tuerk <thomas@tuerk-brechen.de>

remove cheat in examples/hardware

this cheat was present already in the hol88 sources, however, it is nice
to fix it


# c0596cf9 22-Apr-2018 Thomas Tuerk <thomas@tuerk-brechen.de>

first attempt at porting tamarack2 example

This commits adds the files just previously mentioned in the readme to
examples/hardware. These are hol88 examples that should be ported to the
current version of HOL 4. I started with porting the tamarack2 example.
A very close port running on HOL 4 is ready, a more liberal one is work-
in-progress.