History log of /seL4-l4v-master/HOL4/src/n-bit/interactive_tests/Holmakefile
Revision Date Author Comments
# 5f7b69ef 22-May-2020 Hrutvik Kanabar <hrutvikkanabar@yahoo.co.uk>

Add regression tests for words pretty-printing fixes


# e48aefc6 17-Nov-2018 Michael Norrish <Michael.Norrish@nicta.com.au>

Fully protect wordsLib's use of parser

Because it is using various functions from Q, it can't just rebind the
Parse structure, but must update the global grammar variable
directly (and then remember to set it back).

With regression test