Skip to content

History

Revisions

  • Varset expression now optional inside replicated expressions

    @joey-coleman joey-coleman committed Jul 16, 2014
    cc08e41

  • Delete the 'commonInterleaving' replicated action that corresponded to `[|| nameset ||] replDecl @ action`

    @joey-coleman joey-coleman committed Jul 15, 2014
    c690b27

  • Delete syntax for configuration blocks

    @joey-coleman joey-coleman committed Jul 7, 2014
    83477df

  • Remove non-deterministic assignment definitions (fix #10)

    @joey-coleman joey-coleman committed Jul 7, 2014
    44778a4

  • Fix #21

    @joey-coleman joey-coleman committed Jul 7, 2014
    cad4168

  • typo

    @joey-coleman joey-coleman committed Jul 7, 2014
    5c1195b

  • Remove Chaos keyword from actions (fix #24)

    @joey-coleman joey-coleman committed Jul 7, 2014
    950589f

  • Add bare identifiers as allowed actions (fix #25)

    @joey-coleman joey-coleman committed Jul 7, 2014
    e33c2fd

  • Updated CMLGrammar (markdown => rest)

    @joey-coleman joey-coleman committed Feb 20, 2014
    e264366

  • Updated CMLGrammar (rest => markdown)

    @joey-coleman joey-coleman committed Feb 20, 2014
    03b0cb7

  • Updated CMLGrammar (rest)

    @joey-coleman joey-coleman committed Feb 20, 2014
    ce0c6db

  • Updated CMLGrammar (rest)

    @joey-coleman joey-coleman committed Feb 20, 2014
    9faf950

  • Updated CMLGrammar (rest)

    @joey-coleman joey-coleman committed Feb 20, 2014
    b5fd70c

  • Change block naming brackets from parens to squares

    @joey-coleman joey-coleman committed Dec 18, 2013
    c85c687

  • Updated Home (markdown)

    @joey-coleman joey-coleman committed Dec 18, 2013
    9dd79a9

  • Correct a typo for the interleaving action with state

    @joey-coleman joey-coleman committed Nov 12, 2013
    598e08c

  • Remove some of the parallel operators that aren’t supposed to be in CML.

    @joey-coleman joey-coleman committed Nov 12, 2013
    8cf50b5

  • Updated CMLGrammar (rest)

    @joey-coleman joey-coleman committed Nov 7, 2013
    54b8310

  • Updated CMLGrammar (rest)

    @joey-coleman joey-coleman committed Nov 7, 2013
    669c442

  • Simplify configuration blocks a bit

    @joey-coleman joey-coleman committed Nov 6, 2013
    5c37827

  • Remove overenthusiastic |s

    @joey-coleman joey-coleman committed Nov 5, 2013
    0a73c33

  • missed a link

    @joey-coleman joey-coleman committed Nov 5, 2013
    f6e8eea

  • minor fixes

    @joey-coleman joey-coleman committed Nov 5, 2013
    2f09999

  • Use "line block" formatting for the rules

    @joey-coleman joey-coleman committed Nov 5, 2013
    1b72425

  • Add configuration blocks; normalise spacing

    @joey-coleman joey-coleman committed Nov 5, 2013
    79c8c4d

  • Add ToC

    @joey-coleman joey-coleman committed Nov 5, 2013
    31d50dc

  • missed a link

    @joey-coleman joey-coleman committed Oct 31, 2013
    d87e07d

  • Updated Home (markdown)

    @joey-coleman joey-coleman committed Oct 31, 2013
    7e8c019

  • Flatten the hierarchy

    @joey-coleman joey-coleman committed Oct 31, 2013
    adf895b

  • Minor change to move the action process (begin ... @ ... end) out of the main process production.

    @joey-coleman joey-coleman committed Oct 31, 2013
    cabe765