{"version":1,"pages":[{"id":"r531D8X5imQdUyyGt16c","title":"Galois Tools","pathname":"/","siteSpaceId":"sitesp_pjaEu","description":""},{"id":"w5OoiDqg5QoGqy5HNJmn","title":"CAMET Library","pathname":"/camet","siteSpaceId":"sitesp_o8q3t","description":""},{"id":"AjPo5TPdVYaKQIJZyaUC","title":"Training Resources","pathname":"/camet/overview/training-resources","siteSpaceId":"sitesp_o8q3t","emoji":"1f3a6","breadcrumbs":[{"label":"Overview"}]},{"id":"ns02YjTcDFZPvRNO19Qs","title":"CAMET Tools","pathname":"/camet/overview/camet-tools","siteSpaceId":"sitesp_o8q3t","emoji":"2692","description":"The CAMET® Library supports a range of modeling methodologies and technical standards throughout a project life-cycle, from system requirements through system integration.","breadcrumbs":[{"label":"Overview"}]},{"id":"HZTQCEMrA4qasOPgAfdQ","title":"Subscription","pathname":"/camet/overview/subscription","siteSpaceId":"sitesp_o8q3t","emoji":"1f3c1","breadcrumbs":[{"label":"Overview"}]},{"id":"AgGKnccc8vFlLbwsFNj0","title":"Cryptol: The Language of Cryptography","pathname":"/cryptol","siteSpaceId":"sitesp_FLl41"},{"id":"M3ZB4Pr2C8UUQW8ks5wG","title":"Documentation","pathname":"/cryptol/get-started/documentation","siteSpaceId":"sitesp_FLl41","breadcrumbs":[{"label":"GET STARTED"}]},{"id":"4Fnc1R74xgirgj1rvj9Z","title":"Open Source","pathname":"/cryptol/get-started/open-source","siteSpaceId":"sitesp_FLl41","description":"","breadcrumbs":[{"label":"GET STARTED"}]},{"id":"gH2oLtfCS3BxQDSa66Oe","title":"Download","pathname":"/cryptol/get-started/download","siteSpaceId":"sitesp_FLl41","breadcrumbs":[{"label":"GET STARTED"}]},{"id":"9S4YlO6mf33eFyoDkZCs","title":"SAW: The Software Analysis Workbench","pathname":"/saw","siteSpaceId":"sitesp_eIvjO"},{"id":"M2iqSPSWxaqjI4es4NSI","title":"SAW Tutorials and Manual","pathname":"/saw/documentation/saw-tutorials-and-manual","siteSpaceId":"sitesp_eIvjO","emoji":"1f4cb","breadcrumbs":[{"label":"DOCUMENTATION"}]},{"id":"5QJBonrnBby4HN4HKQ8l","title":"Publications","pathname":"/saw/documentation/publications","siteSpaceId":"sitesp_eIvjO","emoji":"1f4da","breadcrumbs":[{"label":"DOCUMENTATION"}]},{"id":"d3de8tjWecwWCc3ZqBnJ","title":"What is Crux?","pathname":"/saw/crux/what-is-crux","siteSpaceId":"sitesp_eIvjO","emoji":"1f523","breadcrumbs":[{"label":"Crux"}]},{"id":"tMgzJp9vCNcDnb2l4T5E","title":"When should I use Crux?","pathname":"/saw/crux/when-should-i-use-crux","siteSpaceId":"sitesp_eIvjO","emoji":"2753","breadcrumbs":[{"label":"Crux"}]},{"id":"ZlCqarUZRU5C3IpM3t76","title":"Download Crux","pathname":"/saw/crux/download-crux","siteSpaceId":"sitesp_eIvjO","emoji":"2b07","breadcrumbs":[{"label":"Crux"}]},{"id":"GsPaaZN4dpIdKlq9j1P3","title":"Overview","pathname":"/saw/open-source/overview","siteSpaceId":"sitesp_eIvjO","breadcrumbs":[{"label":"OPEN SOURCE"}]},{"id":"nOMsdFVRVHHLT2ipGbRw","title":"How to Contribute","pathname":"/saw/open-source/how-to-contribute","siteSpaceId":"sitesp_eIvjO","breadcrumbs":[{"label":"OPEN SOURCE"}]},{"id":"VYos3gWle445mjw0ixBE","title":"Get SAW","pathname":"/saw/download/get-saw","siteSpaceId":"sitesp_eIvjO","description":"","breadcrumbs":[{"label":"Download"}]},{"id":"J5BpQb5zCV6ypSF8ay6d","title":"Public Key","pathname":"/saw/download/get-saw/public-key","siteSpaceId":"sitesp_eIvjO","breadcrumbs":[{"label":"Download"},{"label":"Get SAW"}]},{"id":"oE012xL5PSUDFG3j5V9l","title":"Swanky Documentation","pathname":"/swanky","siteSpaceId":"sitesp_bhCMD"},{"id":"oE012xL5PSUDFG3j5V9l","title":"C2Rust","pathname":"/c2rust","siteSpaceId":"sitesp_KN7il"},{"id":"znjfynBMEpqA9jDQmI2I","title":"Documentation","pathname":"/c2rust/c2rust/documentation","siteSpaceId":"sitesp_KN7il","breadcrumbs":[{"label":"C2Rust"}]},{"id":"I87aRsUWojLwqYQZ9hYR","title":"FAQ","pathname":"/c2rust/c2rust/faq","siteSpaceId":"sitesp_KN7il","breadcrumbs":[{"label":"C2Rust"}]}]}