diff options
| author | Alasdair Armstrong | 2019-11-08 17:22:25 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-08 17:22:25 +0000 |
| commit | bf657ba085f40838a4048b18b19ce889310f3ddd (patch) | |
| tree | f3e266de5dc0fe1cb0589d3d016cedf4719a2179 /src/spec_analysis.ml | |
| parent | 90a5dcd4bfb2f414cda201d1c7e3c6a0e6f173de (diff) | |
Refactor Jib compilation
Split the dynamic context into the ctx struct, and the static
configuration into a module which parameterises the sail->jib
compilation step rather than just having a giant ctx struct.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions