egg 0.9.2

An implementation of egraphs
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

all: test nits


.PHONY: test

test:
	cargo test --release

	cargo test --release --features=lp

	# don't run examples in proof-production mode
	cargo test --release --features "test-explanations"

	


.PHONY: nits

nits:
	rustup component add rustfmt clippy

	cargo fmt -- --check

	cargo clean --doc

	cargo doc --no-deps --all-features

	cargo deadlinks


	cargo clippy --tests
	cargo clippy --tests --features "test-explanations"
	cargo clippy --tests --features "serde-1"
	cargo clippy --tests --all-features

.PHONY: docs

docs:
	RUSTDOCFLAGS="--cfg docsrs" cargo +nightly doc --all-features --open