mathic 0.2.0

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
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

[package]
name = "mathic"
version = "0.2.0"
description = "A compiler with builtin support of symbolic operations, built with LLVM/MLIR"
edition = "2024"
license = "Apache-2.0"
repository = "https://github.com/FrancoGiachetta/mathic"
keywords = ["compiler", "mlir", "llvm"]
categories = ["compilers"]
readme = "README.md"

[[bin]]
name = "euler"

[dependencies]
ariadne = "0.6.0"
clap = { version = "4.5.24", features = ["derive"] }
libc = "0.2.182"
llvm-sys = "211.0.0"
logos = "0.16.0"
logos-display = "0.1.3"
melior = { version = "0.26.3", features = ["helpers"]}
mlir-sys = "210.0.1"
rstest = "0.26.1"
thiserror = "2.0.10"
tracing = "0.1.44"
tracing-subscriber = { version = "0.3.22", features = ["env-filter"] }

# Profile Settings

[profile.optimized-dev]
inherits = "dev"
opt-level = 3

[profile.ci]
inherits = "dev"
opt-level = 3
debug = "line-tables-only"

[profile.release]
codegen-units = 1
lto = true

# Set the default for dependencies.
[profile.dev.package."*"]
opt-level = 2

[package.metadata.cargo-machete]
ignored = ["libc"]

[dev-dependencies]
criterion = { version = "0.5", features = ["html_reports"] }
pyo3 = { version = "0.23", features = ["auto-initialize"] }

[[bench]]
name = "eval"
harness = false