{"version":1,"pages":[{"id":"-LXsvQOlquNVzHLz5bWJ","title":"Introduction","pathname":"/ilang","siteSpaceId":"sitesp_kRojb","description":""},{"id":"-LY0hTd45CTysaaWoWUn","title":"Getting Started","pathname":"/ilang/start","siteSpaceId":"sitesp_kRojb","description":""},{"id":"-LXtMefzbnbXMRe3uKq2","title":"Installing ILAng","pathname":"/ilang/start/installation","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Getting Started"}]},{"id":"-LY0h386akE5G9k1ZUb9","title":"ILAng with CMake","pathname":"/ilang/start/cmake","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Getting Started"}]},{"id":"-LY0h38GFlp2Eu3LteEi","title":"ILAng with Python","pathname":"/ilang/start/python","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Getting Started"}]},{"id":"-LY0h38HNACbvA-ObF3H","title":"ILAng in Docker","pathname":"/ilang/start/docker","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Getting Started"}]},{"id":"-LXtNyFPGkMZrIssu5jw","title":"Modeling","pathname":"/ilang/modeling","siteSpaceId":"sitesp_kRojb","description":""},{"id":"-LYDaOlUPofWvr-ucDGr","title":"ILA Model","pathname":"/ilang/modeling/ila-model","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"}]},{"id":"-LY0h38OBFIkNEVTMvZ6","title":"Architectural States","pathname":"/ilang/modeling/state","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"}]},{"id":"-LYDYTz0fp-hdJ7l8eL6","title":"Expressions","pathname":"/ilang/modeling/state/expressions","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"},{"label":"Architectural States"}]},{"id":"-LYO6NX-ByQzVIKeS7bG","title":"Uninterpreted function","pathname":"/ilang/modeling/state/uninterpreted-function","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"},{"label":"Architectural States"}]},{"id":"-LY0h38PEviaoieMz8tQ","title":"Instructions","pathname":"/ilang/modeling/instruction","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"}]},{"id":"-LY0h38QnpP44lQfdQ0o","title":"Hierarchical ILA","pathname":"/ilang/modeling/hierarchy","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"}]},{"id":"-LYO6SQEQDtikVH1En-3","title":"Conclusion","pathname":"/ilang/modeling/conclusion","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Modeling"}]},{"id":"-LXtOFsjbxS-A_T8ll2c","title":"Synthesis","pathname":"/ilang/synthesis","siteSpaceId":"sitesp_kRojb","description":""},{"id":"-LY0h38U-xIyexj4BbYr","title":"Writing Templates","pathname":"/ilang/synthesis/template","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Synthesis"}]},{"id":"-LY0h38VFXI4MLdrtTXP","title":"Interfacing Simulators","pathname":"/ilang/synthesis/simulator","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Synthesis"}]},{"id":"-LY0h38WjVMzctucKR3S","title":"Synthesis Results","pathname":"/ilang/synthesis/result","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Synthesis"}]},{"id":"-LY7WyzH1ZCKRI5JdGVV","title":"Conclusion","pathname":"/ilang/synthesis/example","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Synthesis"}]},{"id":"-LXtOI-ELuzytvw-jTkd","title":"Verification","pathname":"/ilang/verification","siteSpaceId":"sitesp_kRojb","description":""},{"id":"-LY0h38_P-XBB1EoNhKv","title":"Refinement Relation","pathname":"/ilang/verification/refinement","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Verification"}]},{"id":"-LY0h38ahTwuOqDoI88H","title":"Verification Target","pathname":"/ilang/verification/target","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Verification"}]},{"id":"-ML5z5PR2cPl10HTvumw","title":"Examples","pathname":"/ilang/verification/example","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Verification"}]},{"id":"-Lga-8SOr8NTvtTTxtor","title":"Notes","pathname":"/ilang/verification/notes","siteSpaceId":"sitesp_kRojb","description":"Some useful tricks","breadcrumbs":[{"label":"Verification"}]},{"id":"-LY0h38eznL7ycqF98uM","title":"Development","pathname":"/ilang/development","siteSpaceId":"sitesp_kRojb","description":""},{"id":"-LY0h38Ik_aGwbBUemLg","title":"Release Notes","pathname":"/ilang/development/releases","siteSpaceId":"sitesp_kRojb","description":"","breadcrumbs":[{"label":"Development"}]}]}