diff options
| author | Robert Norton | 2019-05-30 14:45:00 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-05-30 14:45:49 +0100 |
| commit | 308207df86f824501efec740532f45e617da1a2e (patch) | |
| tree | 58dbafded5abf3777aa98054a06237b02dbab6f2 /src/specialize.ml | |
| parent | 101065d9c2c7f0d84f352019f157db9b1498a31a (diff) | |
Implement ones builtin in sail_lib and add to interpreter. However currently this is implemented in lib/vector_dec.sail as sail function that calls not_vec on sail_zeros.
Diffstat (limited to 'src/specialize.ml')
0 files changed, 0 insertions, 0 deletions