diff options
| author | Shaked Flur | 2017-04-18 09:12:52 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-04-18 13:58:14 +0100 |
| commit | b780e21769e5b037c2dea5a10ffc3695dfd52a18 (patch) | |
| tree | 3b146e6bcd9e924e6950021227a7287dbf3b022d /src/pretty_print_lem.ml | |
| parent | 8ed0f4599e1edd018c061ef77975768f76a65578 (diff) | |
added transactional memory support
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index 969bc5ba..b55685f4 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -821,6 +821,7 @@ let doc_typdef_lem regtypes (TD_aux(td,_)) = match td with | Id_aux ((Id "read_kind"),_) -> empty | Id_aux ((Id "write_kind"),_) -> empty | Id_aux ((Id "barrier_kind"),_) -> empty + | Id_aux ((Id "trans_kind"),_) -> empty | Id_aux ((Id "instruction_kind"),_) -> empty | Id_aux ((Id "regfp"),_) -> empty | Id_aux ((Id "niafp"),_) -> empty @@ -909,7 +910,11 @@ let doc_typdef_lem regtypes (TD_aux(td,_)) = match td with | Id_aux ((Id "read_kind"),_) -> empty | Id_aux ((Id "write_kind"),_) -> empty | Id_aux ((Id "barrier_kind"),_) -> empty + | Id_aux ((Id "trans_kind"),_) -> empty | Id_aux ((Id "instruction_kind"),_) -> empty + | Id_aux ((Id "regfp"),_) -> empty + | Id_aux ((Id "niafp"),_) -> empty + | Id_aux ((Id "diafp"),_) -> empty | _ -> let rec range i j = if i > j then [] else i :: (range (i+1) j) in let nats = range 0 in |