Skip to content

History

Revisions

  • Updated TLAConf 2019 Demo (markdown)

    @fhackett fhackett committed Sep 6, 2019
    c12594d

  • Updated TLAConf 2019 Demo (markdown)

    @fhackett fhackett committed Sep 6, 2019
    98062bf

  • Add slides link at top.

    @bestchai bestchai committed Sep 6, 2019
    4b5147f

  • Edits throughout the demo script

    @bestchai bestchai committed Sep 6, 2019
    0054ccd

  • Created TLAConf 2019 Demo (markdown)

    @fhackett fhackett committed Sep 5, 2019
    af357e5

  • Update line numbers

    @atgeller atgeller committed Feb 20, 2019
    28b3393

  • Use tagged version of load_balancer spec.

    @rmascarenhas rmascarenhas committed Feb 17, 2019
    042ca56

  • Updated PGo Usage (markdown)

    Do Nhat Minh committed Feb 7, 2019
    e49aa51

  • Updated PGo Usage (markdown)

    Do Nhat Minh committed Feb 2, 2019
    a30b32a

  • Updated PGo Usage (markdown)

    Do Nhat Minh committed Feb 2, 2019
    ffa65a2

  • Updated Modular PlusCal (markdown)

    Do Nhat Minh committed Feb 2, 2019
    540445a

  • Updated Modular PlusCal Usage Instructions (markdown)

    Do Nhat Minh committed Feb 2, 2019
    1a2e023

  • Updated Modular PlusCal Usage Instructions (markdown)

    Do Nhat Minh committed Feb 1, 2019
    eec96ba

  • added screenshots

    Do Nhat Minh committed Feb 1, 2019
    916ed0f

  • Updated Modular PlusCal Usage Instructions (markdown)

    Do Nhat Minh committed Feb 1, 2019
    e75810e

  • Updated Modular PlusCal (markdown)

    Do Nhat Minh committed Feb 1, 2019
    811b7a7

  • Created Modular PlusCal feature: Interleaving (markdown)

    Do Nhat Minh committed Feb 1, 2019
    ff64926

  • Destroyed Modular PlusCal feature: Interleaving (markdown)

    Do Nhat Minh committed Feb 1, 2019
    5382562

  • Created Modular PlusCal Usage Instructions (markdown)

    Do Nhat Minh committed Feb 1, 2019
    17c7e6d

  • Created Modular PlusCal feature: Interleaving (markdown)

    Do Nhat Minh committed Feb 1, 2019
    5b9fca0

  • TLA+ constants are accessible to archetypes.

    @rmascarenhas rmascarenhas committed Jan 30, 2019
    eacc5c8

  • Fix typo in mapping macro.

    @rmascarenhas rmascarenhas committed Jan 14, 2019
    20e023c

  • Updated PGo SPLASH (markdown)

    @atgeller atgeller committed Nov 5, 2018
    92314ca

  • Updated PGo SPLASH (markdown)

    @atgeller atgeller committed Nov 5, 2018
    4ba4a9e

  • Updated PGo (markdown)

    @atgeller atgeller committed Nov 5, 2018
    7b61bdb

  • Updated SPLASH Poster (markdown)

    @atgeller atgeller committed Nov 5, 2018
    09d2012

  • Updated SPLASH Poster (markdown)

    @atgeller atgeller committed Nov 5, 2018
    261c00e

  • Created SPLASH Poster (markdown)

    @atgeller atgeller committed Nov 5, 2018
    2eddadc

  • Update order of mapping macro declarations.

    @rmascarenhas rmascarenhas committed Sep 29, 2018
    a7b4bf9

  • Wording fix.

    @rmascarenhas rmascarenhas committed Sep 22, 2018
    d4d63d0