Changes between Version 5 and Version 6 of CIVL-C


Ignore:
Timestamp:
07/22/22 11:21:04 (4 years ago)
Author:
Alex Wilton
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CIVL-C

    v5 v6  
    2929* CIVL-C language and library must be completely well-defined and documented.
    3030* CIVL-IR must be completely well-defined and documented.
    31 * Remove StatePredicate abstraction and just check for deadlocks directly in the enabler.
     31* Remove `StatePredicate` abstraction and just check for deadlocks directly in the enabler.
    3232* Break up Evaluator by removing big switch:
    33   * Have "Executable Expression" and "Executable Statement"-type classes which have an evaluate method and extend the syntactic Expression and Statement classes.
     33  * Have "`ExecutableExpression`" and "`ExecutableStatement`"-type classes which have an evaluate method and extend the syntactic `Expression` and `Statement` classes.
    3434* Components:
    3535  * Util - uses nothing