Skip to content

History

Revisions

  • Updated Deterministic Instructions (markdown)

    @vmatare vmatare committed Oct 26, 2023
    b3124a9

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    e5edf6d

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    409eea8

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    c0e495f

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    f9f6fd6

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    875c0ac

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    aadf872

  • Updated Types (markdown)

    @vmatare vmatare committed Oct 26, 2023
    c11c908

  • document type subsumption and assignment validity

    @vmatare vmatare committed Oct 26, 2023
    0fa959a

  • Updated Exogenous Actions & Events (markdown)

    @vmatare vmatare committed May 23, 2023
    946c943

  • Updated Home (markdown)

    @vmatare vmatare committed May 22, 2023
    1cf476a

  • Updated Home (markdown)

    @vmatare vmatare committed May 22, 2023
    d2d1db3

  • Updated Home (markdown)

    @vmatare vmatare committed May 22, 2023
    9817764

  • Updated Home (markdown)

    @vmatare vmatare committed May 22, 2023
    546e4d5

  • Updated Types (markdown)

    @vmatare vmatare committed May 22, 2023
    600b7e9

  • Updated Types (markdown)

    @vmatare vmatare committed May 22, 2023
    74d72a1

  • Updated Types (markdown)

    @vmatare vmatare committed May 22, 2023
    e9bdb7b

  • Destroyed Exogenous Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    469b256

  • Created Exogenous Actions & Events (markdown)

    @vmatare vmatare committed May 22, 2023
    0f98db9

  • Destroyed Exogenous Functions & Sensing Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    64fbc8f

  • Created Exogenous Functions & Sensing (markdown)

    @vmatare vmatare committed May 22, 2023
    52541b8

  • Updated Exogenous Functions (markdown)

    @vmatare vmatare committed May 22, 2023
    5888906

  • Updated Exogenous Functions (markdown)

    @vmatare vmatare committed May 22, 2023
    a76dec5

  • Updated Exogenous Functions (markdown)

    @vmatare vmatare committed May 22, 2023
    068a0df

  • Created Exogenous Functions (markdown)

    @vmatare vmatare committed May 22, 2023
    1161633

  • Updated Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    b4d0616

  • Updated Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    e6a94bc

  • Updated Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    9174bc7

  • Updated Exogenous Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    007f303

  • Updated Exogenous Actions (markdown)

    @vmatare vmatare committed May 22, 2023
    d24b637