Changes between Version 23 and Version 24 of Language


Ignore:
Timestamp:
05/19/23 17:45:06 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language

    v23 v24  
    557557=== Specifying local regions: `$local_start` and `$local_end`
    558558
     559{{{
     560$system void $local_start();
     561$system void $local_end();
     562}}}
     563
    559564CIVL-C provides primitives to constrain the interleaving semantics of a program.
    560565The program state has a single atomic lock, initially free.