History log of /seL4-l4v-master/HOL4/developers/generateBuildSummary.sml
Revision Date Author Comments
# e234fc21 11-Jan-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

generateBuildSummary now handles early failures that don't output much.


# 9161e21e 11-Jan-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

generateBuildSummary dies with slightly cleaner exception statement.


# bd47fa8e 19-Jul-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix generateBuildSummary so that it works again when build fails.


# ee241fa2 01-Jul-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

regression summary: make sure null characters still can't get through.


# 2442df44 01-Jul-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Make success reports slightly prettier.


# 98a55592 01-Jul-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Tidy regression mail message to make success reports much shorter.


# ea231bbd 14-Jun-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Some minor tidy-ups in generateBuildSummary.


# 54806f07 14-Jun-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Make messages on failure just present last 4kB of log.


# 1bf5b824 14-Jun-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Make generated mail messages identify as 8-bit UTF8.


# 9cd58640 13-Jun-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Remove character 0 from input (mail systems don't like it, it seems).


# 4f33d587 08-Jun-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Reworked generateBuildSummary to no longer depend on buggy SML time/date code.


# 1eb458c9 19-May-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

Dates on mail-message are 'local'; more info at head of generated message.


# 08ca46e0 11-May-2010 Michael Norrish <Michael.Norrish@nicta.com.au>

New tools to generate regression test reports.