Skip to content
This repository was archived by the owner on Feb 12, 2022. It is now read-only.

History

Revisions

  • related work: add intro paragraphs (written but not used for an upcoming article on Runway)

    @ongardie-sfdc ongardie-sfdc committed Jun 24, 2016
    240317f

  • related: add peersim

    @ongardie-sfdc ongardie-sfdc committed Jun 21, 2016
    18dcd59

  • Updated Compiling (markdown)

    @dgryski dgryski committed Jun 11, 2016
    cb2e22b

  • Updated Compiling (markdown)

    @dgryski dgryski committed Jun 9, 2016
    dd0f92e

  • Updated Compiling (markdown)

    @dgryski dgryski committed Jun 7, 2016
    7d7ce82

  • Updated Compiling (markdown)

    @dgryski dgryski committed Jun 7, 2016
    3cbd330

  • Updated Related Work (markdown)

    @dgryski dgryski committed Jun 6, 2016
    ac8acb7

  • Add some links

    @dgryski dgryski committed Jun 6, 2016
    3447ebd

  • related: add Molly

    @ongardie ongardie committed Jun 4, 2016
    d692b3f

  • related: add Tempo and UPPAAL stubs

    @ongardie ongardie committed Jun 3, 2016
    095c754

  • related work: add B method

    @ongardie-sfdc ongardie-sfdc committed May 27, 2016
    1324ff4

  • related work: add more projects

    @ongardie ongardie committed May 24, 2016
    87ae9cb

  • sidebar: add Recent Changes feed

    @ongardie ongardie committed May 24, 2016
    1c22f43

  • sidebar: add Recent Changes

    @ongardie ongardie committed May 24, 2016
    06a5bc0

  • related work: add more projects

    @ongardie ongardie committed May 24, 2016
    04e01e8

  • registry: add stale ref concern

    @ongardie ongardie committed May 21, 2016
    1798e9f

  • Update ideas

    @ongardie ongardie committed May 21, 2016
    b267259

  • registry: add scenarios

    @ongardie-sfdc ongardie-sfdc committed May 20, 2016
    5f8b600

  • Start sidebar

    @ongardie-sfdc ongardie-sfdc committed May 20, 2016
    27a3d1d

  • stub registry page

    @ongardie-sfdc ongardie-sfdc committed May 20, 2016
    b3789f2

  • Add link to Related Work

    @ongardie-sfdc ongardie-sfdc committed May 18, 2016
    fd1c4da

  • Add some unprocessed pointers to other projects

    @ongardie-sfdc ongardie-sfdc committed May 18, 2016
    24a8b6e

  • Initial Home page

    @ongardie-sfdc ongardie-sfdc committed May 18, 2016
    8d5fbd9