Skip to content

IR crate #6

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
0xddom wants to merge 21 commits into
base: main
Choose a base branch
from
Open

IR crate #6

Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
8d21548
Lowering crate
0xddom Dec 9, 2025
8346a07
Update type name
0xddom Dec 9, 2025
ad3bb78
WIP until I'm back
0xddom Dec 12, 2025
198ee54
IR crate (WIP)
0xddom Jan 20, 2026
269ce70
Fix merge conflict
0xddom Jan 20, 2026
2690da0
Updated version of IR crate
0xddom Jan 20, 2026
fe186a6
Bump patch version to include the changes in core that I did on this …
0xddom Jan 20, 2026
def5c0a
The rest of IR objects
0xddom Jan 21, 2026
8e245dc
Bump versions
0xddom Jan 21, 2026
e8b6d98
Emit if statement
0xddom Jan 23, 2026
125f891
Bump versions
0xddom Jan 23, 2026
574d0f7
Metadata information for IR statements
0xddom Jan 23, 2026
8aa82f6
Bump versions
0xddom Jan 23, 2026
1635f25
Refactor diagnostics type
0xddom Feb 2, 2026
f5a7f2b
Tweak types
0xddom Feb 2, 2026
6796a6b
Autoformatting
0xddom Feb 6, 2026
748b7df
Fix docs
0xddom Feb 6, 2026
7338adf
Apply some PR feedback
0xddom Feb 9, 2026
3a1de1b
Add more tests in canon.rs and refactor a bit
0xddom Feb 9, 2026
a70823f
Add tests to aexpr.rs
0xddom Feb 9, 2026
fe1f891
Tweak names to remove uninteresting files from coverage report
0xddom Feb 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
239 changes: 232 additions & 7 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

11 changes: 8 additions & 3 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,17 +1,21 @@
[workspace]
members = [
"core"
members = [
"core",
"lowering",
"ir"
]
resolver = "2"

[workspace.package]
version = "0.3.0"
version = "0.5.3"
authors = ["Daniel Dominguez (Veridise) <daniel@veridise.com>"]
edition = "2024"
rust-version = "1.85"
readme = "README.md"
repository = "https://github.com/project-llzk/haloumi"
license-file = "LICENSE"
categories = ["compilers"]
keywords = ["halo2", "llzk", "haloumi"]

[workspace.dependencies]
ff = "0.13"
Expand All @@ -20,4 +24,5 @@ internment = "0.8.6"
num-bigint = "0.4"
log = "0.4"
eqv = "0.1"
bit-set = "0.8"

1 change: 1 addition & 0 deletions core/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ rust-version = {workspace = true}
readme = "README.md"
repository = {workspace = true}
license-file = {workspace = true}
categories = {workspace = true}

[dependencies]
ff.workspace = true
Expand Down
Loading