1#![recursion_limit = "256"]
16#![feature(assert_matches)]
17#![feature(box_patterns)]
18#![feature(deref_pure_trait)]
19#![feature(if_let_guard)]
20#![feature(impl_trait_in_assoc_type)]
21#![feature(iterator_try_collect)]
22#![feature(let_chains)]
23#![feature(trait_alias)]
24#![feature(register_tool)]
25#![register_tool(charon)]
27
28#[macro_use]
29pub mod ids;
30#[macro_use]
31pub mod logger;
32pub mod ast;
33pub mod common;
34pub mod errors;
35pub mod export;
36pub mod name_matcher;
37pub mod options;
38pub mod pretty;
39pub mod transform;
40
41pub use ast::{builtins, expressions, gast, llbc_ast, meta, names, types, ullbc_ast, values};
43pub use pretty::formatter;
44pub use transform::{graphs, reorder_decls, ullbc_to_llbc};
45
46const VERSION: &str = env!("CARGO_PKG_VERSION");
48
49pub fn deserialize_llbc(path: &std::path::Path) -> anyhow::Result<ast::TranslatedCrate> {
51 use crate::export::CrateData;
52 use anyhow::Context;
53 use serde::Deserialize;
54 use std::fs::File;
55 use std::io::BufReader;
56 let file = File::open(&path)
57 .with_context(|| format!("Failed to read llbc file {}", path.display()))?;
58 let reader = BufReader::new(file);
59 let mut deserializer = serde_json::Deserializer::from_reader(reader);
60 deserializer.disable_recursion_limit();
62 let deserializer = serde_stacker::Deserializer::new(&mut deserializer);
64 Ok(CrateData::deserialize(deserializer)?.translated)
65}