diff options
| author | Alasdair | 2019-04-13 17:47:26 +0100 |
|---|---|---|
| committer | Alasdair | 2019-04-13 17:47:26 +0100 |
| commit | 7cfbabc2bfba4f7d2ba0d3f91c7068ac3b1a84d1 (patch) | |
| tree | fcd9dd98fc2c1ae2a30c0e4379e9d4550126b3c1 /src/specialize.ml | |
| parent | e89581c010b88de474f3f31748cb815a3b21d1af (diff) | |
SMT: Add count_leading_zeros and more builtins
Diffstat (limited to 'src/specialize.ml')
| -rw-r--r-- | src/specialize.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/specialize.ml b/src/specialize.ml index 3063e4d5..05f675b2 100644 --- a/src/specialize.ml +++ b/src/specialize.ml @@ -490,6 +490,7 @@ let initial_calls = ref (IdSet.of_list mk_id "execute"; mk_id "decode"; mk_id "initialize_registers"; + mk_id "prop"; mk_id "append_64" (* used to construct bitvector literals in C backend *) ]) |