Skip to content

History

Revisions

  • Merge branch 'master' of https://github.com/tinelli/mochil.wiki

    @tinelli tinelli committed Jun 20, 2022
    cd26af5

  • test finished

    @tinelli tinelli committed Jun 20, 2022
    4f19e36

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jun 20, 2022
    4727912

  • another test

    @tinelli tinelli committed Jun 20, 2022
    2ba2870

  • test

    @tinelli tinelli committed Jun 20, 2022
    3655f3b

  • Initial Home page

    @tinelli tinelli committed Jun 20, 2022
    4f22c74

  • Created Intermediate Language (rest)

    @tinelli tinelli committed Jun 20, 2022
    78da519

  • various updates

    @tinelli tinelli committed Jun 20, 2022
    9882eb5

  • Added discussion on deadlock states + other improments

    @tinelli tinelli committed Sep 15, 2021
    b9369c3

  • added example with contracts

    @tinelli tinelli committed Aug 23, 2021
    2a7b296

  • moved to transition relation with previous inputs and outputs

    @tinelli tinelli committed Aug 22, 2021
    6d8c44b

  • updated some invariants in examples

    @tinelli tinelli committed Aug 16, 2021
    10b601f

  • more minor edits

    @tinelli tinelli committed Aug 16, 2021
    31bec01

  • minor

    @tinelli tinelli committed Aug 16, 2021
    bdc0fc0

  • Update initial formal description

    @tinelli tinelli committed Aug 16, 2021
    b346e03

  • Moved to Mealy-machine style

    @tinelli tinelli committed Aug 16, 2021
    603c441

  • added verify examples

    @tinelli tinelli committed Aug 10, 2021
    7e2a499

  • added verification command

    @tinelli tinelli committed Aug 10, 2021
    146e74f

  • Added examples

    @tinelli tinelli committed Aug 10, 2021
    2471030

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 14, 2021
    28e2dc8

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 13, 2021
    79dca7e

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 13, 2021
    3d266c9

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 13, 2021
    1b74f12

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 13, 2021
    124fea2

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 13, 2021
    ef3fa72

  • Updated Model Checking Intermediate Language (markdown)

    @tinelli tinelli committed Jul 13, 2021
    da92a3c

  • Updated Intermediate Language Design (markdown)

    @tinelli tinelli committed Jul 13, 2021
    3342018

  • Minor fixes

    @tinelli tinelli committed Jun 29, 2021
    f49f1c1

  • Updated Intermediate Language Design (markdown)

    @tinelli tinelli committed Jun 15, 2021
    14ac879

  • Updated Intermediate Language Design (markdown)

    @tinelli tinelli committed Jun 15, 2021
    f4c5781