diff options
| author | Alasdair Armstrong | 2018-02-26 20:56:14 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-26 20:57:16 +0000 |
| commit | a8d905a0628c783b564e1ac35de3c93e9dad2956 (patch) | |
| tree | 2216ad70bcf4ca534b7a99bf68fe62037ff3354b /src/gen_lib/sail_values.lem | |
| parent | 0073077e7dfec96811b2ea5b024bb63cf2ef4b54 (diff) | |
Add some obvious optimisations to C backend.
With these optimisations on, now get about 10x performance over OCaml.
Diffstat (limited to 'src/gen_lib/sail_values.lem')
0 files changed, 0 insertions, 0 deletions