egglog 3.0.0

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
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

disallowed-types = [
    # prefer hashbrown
    "std::collections::HashMap",
    "std::collections::HashSet",
]

disallowed-macros = [
    # only allowed in main.rs
    "std::print",
    "std::println",
    # use log crate instead
    "std::eprint",
    "std::eprintln",
]

# Run time of these methods scales linearly with the number of cores.
# Useful for performance debugging
# disallowed-methods = [
#     "dashmap::DashMap::len",
#     "dashmap::DashMap::iter",
#     "dashmap::DashMap::clear",
# ]

type-complexity-threshold = 350