liberty-db

Highlight Features

• Support all liberty attributes with typed datastructure, rather than syntax tree (AST) only, in the definition of Liberty Version R-2020.09, September 2020
• Support liberty boolean expression syntax, employ binary decesion diagram (BDD) to identify (hashing)
• Parser & formatter are implemented by static macros, providing a decent preformance and tiny ~3MB parser & formatter binary. See benchmark summary
• Support define define_group user-defined attributes
• Verified with library-complier, well defined document, and examples provided

Usage

This library is implemented in Rust, with document.

[dependencies]
liberty_db = "0.7"

You can run examples with commands:

# example0
cargo run --example 0_parse_fmt
# example1
cargo run --example 1_parse_fmt_file -- dev/tech/cases/ocv.lib
# example2
cargo run --example 2_prune_lib -- dev/tech/cases/ocv.lib

Benchmark

Basic information as follow, see latest benchmark summary.

Project Comparison

Self Regression

Dev

Run unit-test and regression.

cargo test
cargo test --package dev

Run benchmark, it will takes 5h.

cargo bench --bench dev

TODO

• stream input
• Linked Group
• like IndexMap, only sort once and store
• CI: only do comparsion after tag new version
• CI: fast regression self in build.yml
• Fix error when make_golden
  • intrinsic_parasitic group
  • leakage_current group
  • dynamic_current group
• user define
• remove GroupWapper, ComplexWapper, SimpleWapper. At leaset remove it in parser and formatter
• fix missing newline at endding
• recursive parse boolean expression
• macros
• format to liberty
• support multi-line \
• support comment
• Use MutSet to store GroupMap