Separation between Felt, Bool, and Uint types#423

Open

Soulthym wants to merge 44 commits into0xMiden:nextfrom

massalabs:feat-numeric-types

Commits on Jul 29, 2025

Commits on Aug 1, 2025

Commits on Aug 6, 2025

fix(mir): fix type-mismatch check on ListComprehension in translate
Soulthym
committed
feat(mir): better error reporting for translate on bin exprs + ? case
Soulthym
committed
fix(parser): fix BindingType.ty() + .kind() + sema's call handling
Soulthym
committed

Commits on Aug 7, 2025

fix(typing): re-infer BinExpr bin_ty after updating its arguments
Soulthym
committed
fix(typing): sema: report diagnostic on non-constant exponents
Soulthym
committed

Commits on Aug 8, 2025

Commits on Aug 26, 2025

refactor(typing): rename typing crate to air_types
Soulthym
committed

Commits on Sep 10, 2025

Merge remote-tracking branch 'upstream/next' into feat-numeric-types-update
Soulthym
committed

Commits on Sep 11, 2025

feat(types): FunctionType::check_args_kinds
Soulthym
committed

Commits on Sep 12, 2025

feat: implement typing for MIR nodes
Leo-Besancon
committed

Commits on Sep 15, 2025

Commits on Sep 17, 2025

Commits on Sep 19, 2025

fix(types): fix Evaluator argument types
Soulthym
committed

Commits on Sep 24, 2025