# ILAng

## ILAng

- [Introduction](https://bo-yuan-huang.gitbook.io/ilang/master.md)
- [Getting Started](https://bo-yuan-huang.gitbook.io/ilang/start.md)
- [Installing ILAng](https://bo-yuan-huang.gitbook.io/ilang/start/installation.md)
- [ILAng with CMake](https://bo-yuan-huang.gitbook.io/ilang/start/cmake.md)
- [ILAng with Python](https://bo-yuan-huang.gitbook.io/ilang/start/python.md)
- [ILAng in Docker](https://bo-yuan-huang.gitbook.io/ilang/start/docker.md)
- [Modeling](https://bo-yuan-huang.gitbook.io/ilang/modeling.md)
- [ILA Model](https://bo-yuan-huang.gitbook.io/ilang/modeling/ila-model.md)
- [Architectural States](https://bo-yuan-huang.gitbook.io/ilang/modeling/state.md)
- [Expressions](https://bo-yuan-huang.gitbook.io/ilang/modeling/state/expressions.md)
- [Uninterpreted function](https://bo-yuan-huang.gitbook.io/ilang/modeling/state/uninterpreted-function.md)
- [Instructions](https://bo-yuan-huang.gitbook.io/ilang/modeling/instruction.md)
- [Hierarchical ILA](https://bo-yuan-huang.gitbook.io/ilang/modeling/hierarchy.md)
- [Conclusion](https://bo-yuan-huang.gitbook.io/ilang/modeling/conclusion.md)
- [Synthesis](https://bo-yuan-huang.gitbook.io/ilang/synthesis.md)
- [Writing Templates](https://bo-yuan-huang.gitbook.io/ilang/synthesis/template.md)
- [Interfacing Simulators](https://bo-yuan-huang.gitbook.io/ilang/synthesis/simulator.md)
- [Synthesis Results](https://bo-yuan-huang.gitbook.io/ilang/synthesis/result.md)
- [Conclusion](https://bo-yuan-huang.gitbook.io/ilang/synthesis/example.md)
- [Verification](https://bo-yuan-huang.gitbook.io/ilang/verification.md)
- [Refinement Relation](https://bo-yuan-huang.gitbook.io/ilang/verification/refinement.md)
- [Verification Target](https://bo-yuan-huang.gitbook.io/ilang/verification/target.md)
- [Examples](https://bo-yuan-huang.gitbook.io/ilang/verification/example.md)
- [Notes](https://bo-yuan-huang.gitbook.io/ilang/verification/notes.md): Some useful tricks
- [Development](https://bo-yuan-huang.gitbook.io/ilang/development.md)
- [Release Notes](https://bo-yuan-huang.gitbook.io/ilang/development/releases.md)