Search results

discussion: azoth version divergence in Nomad nodes

Discussion

Unimportant

Status: Open.

#69 In MiragePrivacy/Azoth;

· g4titanx opened on Aug 14, 2025

refactor(core): split cfg_ir into modules

Easygood first issuegood first issue

Unimportant

Status: Open.

#67 In MiragePrivacy/Azoth;

· g4titanx opened on Aug 10, 2025

feat(core): update <code>parse_selector_check</code> to Handle GT Patterns

Unimportant

Status: Open.

#64 In MiragePrivacy/Azoth;

· g4titanx opened on Aug 4, 2025

chore(transforms): rm <code>max_opaque_ratio</code> from <code>PassConfig</code>

Easygood first issuegood first issue

Unimportant

Status: Open.

Task

#58 In MiragePrivacy/Azoth;

· g4titanx opened on Jul 28, 2025

chore(errors): update utils/ with all errors used in azoth

Easygood first issuegood first issue

Unimportant

Status: Open.

#56 In MiragePrivacy/Azoth;

· g4titanx opened on Jul 26, 2025

discussion: statistical indistinguishability in azoth

Discussion

Status: Open.

#52 In MiragePrivacy/Azoth;

· g4titanx opened on Jul 22, 2025

refactor(formal): refactor <code>practical/mod.rs</code> and tighten correctness guarantees

Hard

Status: Open.

#30 In MiragePrivacy/Azoth;

· g4titanx opened on Jul 11, 2025

feat(formal): implement full SMT-LIB support and remove stubs in <code>smt.rs</code>

Hard

UrgentDo we need this for the next deadline?Do we need this for the next deadline?

Status: Open.

#29 In MiragePrivacy/Azoth;

· g4titanx opened on Jul 11, 2025

refactor: introduce domain-specific types for better type safety

Easygood first issuegood first issue

Unimportant

Status: Open.

#24 In MiragePrivacy/Azoth;

· EmperorOrokuSaki opened on Jun 25, 2025

feat: improve error messages with more context

Easygood first issuegood first issue

Unimportant

Status: Open.

Feature

#22 In MiragePrivacy/Azoth;

· EmperorOrokuSaki opened on Jun 25, 2025

refactor: improve variable naming throughout codebase

Easygood first issuegood first issue

Unimportant

Status: Open.

#14 In MiragePrivacy/Azoth;

· EmperorOrokuSaki opened on Jun 25, 2025

refactor(transforms): replace magic numbers with named constants

Easygood first issuegood first issue

Unimportant

Status: Open.

#13 In MiragePrivacy/Azoth;

· EmperorOrokuSaki opened on Jun 25, 2025