diff options
| author | Thomas Bauereiss | 2019-04-23 21:24:27 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-04-23 21:24:27 +0100 |
| commit | 69f29a485af953a20005fd1d739e51ca576d4ecc (patch) | |
| tree | a149375c983f21eba334b99155f0595c9b7f1995 /src/jib/c_backend.mli | |
| parent | 7dc18d54da0804c9a99bd91eda2bc17b419d426e (diff) | |
SMT: Add signed builtin
Diffstat (limited to 'src/jib/c_backend.mli')
0 files changed, 0 insertions, 0 deletions