mathic 0.1.1

A compiler with builtin support of symbolic operations, built with LLVM/MLIR
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

.PHONY: build
build: 
	cargo build --release

.PHONY: clean
clean: clean-dumps 
	cargo clean

.PHONY: check
check: 
	cargo fmt --all -- --check
	cargo clippy --all-targets --all-features -- -D warnings

.PHONY: test
test:
	cargo nextest run

.PHONY: clean-dumps
clean-dumps:
	rm -f *.mlir *.mathir