| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-05-05 | C: Add option to compile using __int128 rather than GMP | Alasdair | |
| Only requires a very small change to c_backend.ml. Most of this commit is duplication of the builtins and runtime in lib/int128. But the actual differences in those files is also fairly minor could be handled by some simple ifdefs for the integer builtins. | |||
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |