diff options
| author | Alasdair Armstrong | 2019-05-01 16:58:51 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-01 18:00:39 +0100 |
| commit | c7a3389c34eebac4fed7764f339f4cd1b2b204f7 (patch) | |
| tree | 63a1825a90e8fdf52e1493b3505d22bbaf10036b /language | |
| parent | 89f6064f6b0a1b5a6ba5e515ce38d7cf4ff37d22 (diff) | |
SMT: Fix some C optimisations that were disabled
Need to get these working again before we can thing about merging back
into sail2
Diffstat (limited to 'language')
| -rw-r--r-- | language/jib.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/jib.ott b/language/jib.ott index 558c4db7..4ab0e22e 100644 --- a/language/jib.ott +++ b/language/jib.ott @@ -73,6 +73,7 @@ op :: '' ::= % Bitvector ops | bvor :: :: bvor | bvand :: :: bvand + | concat :: :: concat | zero_extend nat :: :: zero_extend | sign_extend nat :: :: sign_extend |