Skip to content

History

Revisions

  • Updated Tutorial (markdown)

    @grayswandyr grayswandyr committed Jun 29, 2021
    54d4d72

  • Updated Tutorial (markdown)

    @grayswandyr grayswandyr committed Jun 29, 2021
    eaa8f5c

  • add liveness1.png

    @grayswandyr grayswandyr committed Jun 29, 2021
    bd02887

  • update to v2.1+

    @grayswandyr grayswandyr committed Jun 29, 2021
    d8f555d

  • Electrum modifications

    @grayswandyr grayswandyr committed Sep 11, 2020
    03e0229

  • Updated Alloy Language Reference (markdown)

    @grayswandyr grayswandyr committed Sep 11, 2020
    59bb3a7

  • Alloy 4 (slightly edited) specification

    @grayswandyr grayswandyr committed Sep 11, 2020
    07855cb

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 19, 2019
    ed717bd

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    712d43a

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    e12ab17

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    e1e78b0

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    129525b

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    fd536fe

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    a30aa3e

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    51a30c3

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    5628e34

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    77fe4b4

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    05d4758

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    66d1b96

  • Updated Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    b5969cd

  • Created Trash Can (markdown)

    @nmacedo nmacedo committed Sep 18, 2019
    64c7607

  • scenarios for 1c version

    @nmacedo nmacedo committed Jan 31, 2019
    3c7b79e

  • Merge branch 'master' of https://github.com/haslab/Electrum.wiki

    @nmacedo nmacedo committed Jan 31, 2019
    ebe87c6

  • images for 1c version

    @nmacedo nmacedo committed Jan 31, 2019
    13cccd2

  • Updated Examples (markdown)

    @nmacedo nmacedo committed May 30, 2018
    bdf30ef

  • Updated Examples (markdown)

    @nmacedo nmacedo committed May 30, 2018
    fa9ddf7

  • Created Examples (markdown)

    @nmacedo nmacedo committed May 30, 2018
    3dd2ca7

  • Updated Syntax (markdown)

    @nmacedo nmacedo committed May 29, 2018
    c2fae9c

  • Updated Syntax (markdown)

    @nmacedo nmacedo committed May 29, 2018
    b5e2998

  • Updated Syntax (markdown)

    @nmacedo nmacedo committed May 29, 2018
    522440e