diff options
| author | Prashanth Mundkur | 2018-05-21 15:33:02 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-05-21 18:00:03 -0700 |
| commit | 715edc44ce58bd2d4f3b2206623fe89f65118ad5 (patch) | |
| tree | 04b76c2fa0f399446abe2a8a584e04302213cc9c /src/c_backend.ml | |
| parent | b55481d0bafff8520ff6872dbca4ca616bce41ac (diff) | |
Add in the platform files and update the ocaml build. Disable the isabelle build until we add suitable platform definitions/stubs.
The platform bits are not yet hooked into the model, but only into the build, so are untested.
Diffstat (limited to 'src/c_backend.ml')
0 files changed, 0 insertions, 0 deletions