diff options
| author | Brian Campbell | 2018-04-18 14:32:39 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-04-18 14:34:29 +0100 |
| commit | d2e1042f01099e11e04cbfe9529c32db41363e1a (patch) | |
| tree | a10179b026f53cfea4df38c1cebc5622de96239c /src/Makefile | |
| parent | 7cab45aa4faac2990eb5e1991c0481b72e3c83ec (diff) | |
Move Lem shl_int, shr_int implementations from aarch64_extras to sail lib
(note that they're already declared in lib/arith.sail)
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions