egg 0.2.0

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
27
28
29
30
31
32
33
34

.PHONY:
test: test-egg test-web
	cargo fmt -- --check
	cargo doc --no-deps
	cargo deadlinks

.PHONY: test-egg
test-egg:
	cargo build
	cargo test
	cargo clippy --tests

	cargo build          --features "parent-pointers"
	cargo test           --features "parent-pointers"
	cargo clippy --tests --features "parent-pointers"

	cargo clippy --tests --features "serde-1"

.PHONY: test-web
test-web:
	cd web-demo; cargo web build
	 # cargo web test ${CI+--verbose}
	cd web-demo; cargo clippy
	cd web-demo; cargo fmt -- --check

.PHONY: deploy-web-demo
deploy-web-demo:
	cd web-demo; cargo web deploy --release
	rsync -a target/deploy/ ~/src/site/stuff/egg/
	cd ~/src/site; make deploy

# makefile hack to run my hacky benchmarks
bench-%:
	cargo test --release -- --test-threads=1 --nocapture $*