diff options
| author | Kathy Gray | 2013-09-26 12:11:25 -0400 |
|---|---|---|
| committer | Kathy Gray | 2013-09-26 12:11:25 -0400 |
| commit | 7841e635dec210e2dfc011df8e3c53d05d76141c (patch) | |
| tree | 148df128e160b7c2a512e388281f0e2c85a62308 /src/lem_interp/ast.lem | |
| parent | b4e24ef7e0e559c0705e626e7fed53b9f2224c0b (diff) | |
Adding undefined
Also interpreter now supports reading and writing of basic registers (i.e with no subranges yet)
Diffstat (limited to 'src/lem_interp/ast.lem')
| -rw-r--r-- | src/lem_interp/ast.lem | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lem_interp/ast.lem b/src/lem_interp/ast.lem index aebbebc6..51831898 100644 --- a/src/lem_interp/ast.lem +++ b/src/lem_interp/ast.lem @@ -8,7 +8,7 @@ type l = | Trans of string * option l | Range of num * num - val disjoint : forall 'a . set 'a -> set 'a -> bool +val disjoint : forall 'a . set 'a -> set 'a -> bool let disjoint s1 s2 = let diff = s1 inter s2 in diff = Pervasives.empty @@ -122,6 +122,7 @@ type lit = (* Literal constant *) | L_num of num (* natural number constant *) | L_hex of string (* bit vector constant, C-style *) | L_bin of string (* bit vector constant, C-style *) + | L_undef (* constant representing undefined values *) | L_string of string (* string constant *) |