Skip to content

History / Extension and Verification

Revisions

  • Updated Extension and Verification (markdown)

    @zhu48 zhu48 committed Feb 13, 2016
    c438021

  • Updated Extension and Verification (markdown)

    @zhu48 zhu48 committed Feb 13, 2016
    e93e876

  • Updated Extension and Verification (markdown)

    @zhu48 zhu48 committed Feb 13, 2016
    6fa762f

  • Updated Extension and Verification (markdown)

    @zhu48 zhu48 committed Feb 13, 2016
    dcb8fc3

  • Added instructions for generating Golden Traces, and an explanation of what is generated.

    @zhu48 zhu48 committed Feb 13, 2016
    76b7c19

  • Updated Extension and Verification (markdown)

    @zwabbit zwabbit committed Feb 4, 2016
    07b31c2

  • Updated Extension and Verification (markdown)

    @zwabbit zwabbit committed Feb 4, 2016
    ab7eb25

  • Updated Extension and Verification (markdown)

    @zwabbit zwabbit committed Jan 4, 2016
    4b117f9