diff options
| author | Kathy Gray | 2015-05-13 17:55:15 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-05-13 17:55:26 +0100 |
| commit | b0fc4a976b4d34d71c041ebe479a522c0aa15588 (patch) | |
| tree | eaac0b4a7e6ab9366ba308acacfd4bdf872194d7 /language/l2.lem | |
| parent | 5c2831b32692fbe7a933e7a2b00fe06b9ae0b03c (diff) | |
Add dynamic footprint dependency check event/outcome
Also fix type checker bug in not reporting modifications to parameter values
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem index 5441587d..6291acba 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -68,6 +68,7 @@ type base_effect_aux = (* effect *) | BE_rmem (* read memory *) | BE_wmem (* write memory *) | BE_barr (* memory barrier *) + | BE_depend (* dynamic footprint *) | BE_undef (* undefined-instruction exception *) | BE_unspec (* unspecified values *) | BE_nondet (* nondeterminism from intra-instruction parallelism *) |