Skip to content

History

Revisions

  • Updated Release Checklist (markdown)

    @jubnzv jubnzv committed Feb 1, 2023
    070f8ed

  • Updated Scilla AST comparison (markdown)

    @anton-trunov anton-trunov committed Sep 13, 2022
    81150b9

  • Created Scilla AST comparison (markdown)

    @anton-trunov anton-trunov committed Sep 13, 2022
    df73429

  • Updated UI design for inputting ADT values (markdown)

    @anton-trunov anton-trunov committed Aug 19, 2022
    8f330dd

  • Updated Home (markdown)

    @anton-trunov anton-trunov committed Jul 19, 2022
    007d96c

  • Created VS Code Snippets (markdown)

    @anton-trunov anton-trunov committed Jul 18, 2022
    54c8a93

  • Updated Git process for contributing to Scilla (markdown)

    @anton-trunov anton-trunov committed Jul 8, 2022
    c763fdb

  • Updated macOS troubleshooting (markdown)

    @anton-trunov anton-trunov committed Oct 8, 2021
    8b082b8

  • Updated macOS troubleshooting (markdown)

    @anton-trunov anton-trunov committed Sep 29, 2021
    a20e826

  • Updated macOS troubleshooting (markdown)

    @anton-trunov anton-trunov committed Jun 1, 2021
    eaca734

  • Updated macOS troubleshooting (markdown)

    @anton-trunov anton-trunov committed Jun 1, 2021
    00a6978

  • Updated Stdlib (markdown)

    @anton-trunov anton-trunov committed Jan 29, 2021
    0b8e9ee

  • Updated Stdlib (markdown)

    @anton-trunov anton-trunov committed Jan 29, 2021
    28ecac7

  • Updated Stdlib (markdown)

    @anton-trunov anton-trunov committed Jan 29, 2021
    49fae30

  • Updated Stdlib (markdown)

    @anton-trunov anton-trunov committed Jan 29, 2021
    ab2e1f6

  • Created Stdlib (markdown)

    @anton-trunov anton-trunov committed Jan 29, 2021
    a05f1c4

  • Updated macOS troubleshooting (markdown)

    @anton-trunov anton-trunov committed Sep 4, 2020
    4920edb

  • Updated Home (markdown)

    @anton-trunov anton-trunov committed Aug 13, 2020
    542d748

  • Created macOS troubleshooting (markdown)

    @anton-trunov anton-trunov committed Aug 13, 2020
    135475c

  • Updated UI design for inputting ADT values (markdown)

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    32adb3a

  • Updated UI design for inputting ADT values (markdown)

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    08efe03

  • Updated UI design for inputting ADT values (markdown)

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    7e5ac58

  • Updated UI design for inputting ADT values (markdown)

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    6148462

  • Updated UI design for inputting ADT values (markdown)

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    70185c7

  • Updated UI design for inputting ADT values (markdown)

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    021d4c5

  • UI design for inputting ADT values

    @vaivaswatha vaivaswatha committed Apr 17, 2020
    20e7444

  • Updated Scilla Server API (markdown)

    @vaivaswatha vaivaswatha committed Feb 16, 2020
    faac5d8

  • Add a demo C++ client

    @vaivaswatha vaivaswatha committed Feb 16, 2020
    00882c9

  • Updated Scilla Server API (markdown)

    @vaivaswatha vaivaswatha committed Feb 15, 2020
    5cdddeb

  • Updated Scilla Server API (markdown)

    @vaivaswatha vaivaswatha committed Feb 15, 2020
    06c6dd6