Search results

Delete old anodize crate

Status: Open.

#111 In mkovaxx/anodized;

· tj-smith47 opened on Apr 10, 2026

[anodized-fmt] test: prop-tests to increase coverage and reduce fixture complexity

Status: Open.

#110 In mkovaxx/anodized;

· mkovaxx opened on Mar 10, 2026

[anodized-fmt] bug: should preserve comments

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#102 In mkovaxx/anodized;

· mkovaxx opened on Feb 15, 2026

Support for distributions as "requires" and "ensures" items

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#96 In mkovaxx/anodized;

· luketpeterson opened on Feb 4, 2026

feat: custom lints for specs

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#87 In mkovaxx/anodized;

· mkovaxx opened on Jan 31, 2026

feat: a library runtime behavior feature for crates

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#85 In mkovaxx/anodized;

· ranger-ross opened on Jan 29, 2026

feat: a Result interface

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#84 In mkovaxx/anodized;

· ranger-ross opened on Jan 29, 2026

feat: support quantifiers forall and exists

enhancementNew feature or requestNew feature or request

Status: Open.

#82 In mkovaxx/anodized;

· mkovaxx opened on Jan 26, 2026

feat: support #[spec] on a module

enhancementNew feature or requestNew feature or request

Status: Open.

#81 In mkovaxx/anodized;

· mkovaxx opened on Jan 26, 2026

doc: explain trait instrumentation in anodized-core's README

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#80 In mkovaxx/anodized;

· mkovaxx opened on Jan 25, 2026

doc: extend README in anodized with trait specs

documentationImprovements or additions to documentationImprovements or additions to documentation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#79 In mkovaxx/anodized;

· mkovaxx opened on Jan 25, 2026

bug: conditions should be parsed using Expr::parse_without_eager_brace

bugSomething isn't workingSomething isn't working

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#77 In mkovaxx/anodized;

· mkovaxx opened on Jan 20, 2026