Skip to content

History

Revisions

  • Created Home (markdown)

    @hengxin hengxin committed Feb 1, 2019
    2ebeae6

  • Destroyed Homefe (markdown)

    @hengxin hengxin committed Feb 1, 2019
    a78829f

  • Updated Home (markdown)

    @hengxin hengxin committed Feb 1, 2019
    116d1f5

  • Destroyed XJupiterImplCJupiter (markdown)

    @hengxin hengxin committed Feb 1, 2019
    6f1c254

  • Destroyed XJupiterExtended (markdown)

    @hengxin hengxin committed Feb 1, 2019
    9a1c293

  • Destroyed XJupiter.tla (markdown)

    @hengxin hengxin committed Feb 1, 2019
    c0fbd13

  • Destroyed TODO (markdown)

    @hengxin hengxin committed Feb 1, 2019
    6363a46

  • Destroyed Model Checking Results (markdown)

    @hengxin hengxin committed Feb 1, 2019
    fdcb2d1

  • Destroyed Jupiter TLA (markdown)

    @hengxin hengxin committed Feb 1, 2019
    b1f7c08

  • Destroyed General Problems (markdown)

    @hengxin hengxin committed Feb 1, 2019
    fe30e4d

  • Destroyed CJupiter.tla (markdown)

    @hengxin hengxin committed Feb 1, 2019
    0b2e796

  • Destroyed AJupiter.tla (markdown)

    @hengxin hengxin committed Feb 1, 2019
    1f31c8c

  • Destroyed AbsJupiter.tla (markdown)

    @hengxin hengxin committed Feb 1, 2019
    6a75a9a

  • Destroyed AJupiterH (markdown)

    @hengxin hengxin committed Feb 1, 2019
    924d965

  • +model checking results

    hengxin committed Jan 18, 2019
    967d075

  • +model checking results

    hengxin committed Dec 15, 2018
    d535172

  • jupiter-tla: +model checking results

    hengxin committed Dec 4, 2018
    a9fde88

  • +XJupiterExtended.md, +XJupiterImplCJupiter.md, +result

    hengxin committed Nov 14, 2018
    1f390f3

  • +.gitignore, +AJupiterH.md, +TODO.md

    hengxin committed Oct 11, 2018
    8ed1a71

  • create page; +description

    @hengxin hengxin committed Aug 30, 2018
    df847b3

  • Initial Home page

    @hengxin hengxin committed Aug 30, 2018
    329e46f