sparta 0.1.2

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

/*
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 *
 * This source code is licensed under the MIT license found in the
 * LICENSE file in the root directory of this source tree.
 */

mod abstract_domain;
mod abstract_environment;
mod abstract_partition;
mod bitvec;
mod hash_set_impl;
mod lifted_domain;
mod patricia_tree_impl;
mod patricia_tree_map;
mod patricia_tree_set;
mod powerset;

pub use abstract_domain::*;
pub use abstract_environment::*;
pub use abstract_partition::*;
pub use hash_set_impl::*;
pub use lifted_domain::*;
pub use patricia_tree_map::*;
pub use patricia_tree_set::*;
pub use powerset::*;

extern crate sparta_proc_macros;
pub use sparta_proc_macros::DisjointUnion;