sail/lib/int128, branch sail2 Formal specification language for ISAs C: Add option to compile using __int128 rather than GMP 2019-05-05T18:02:05+00:00 Alasdair 2019-05-05T15:24:02+00:00 39168f905eb9e671813cfc43309ddae44828123a 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. 
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.