-
Notifications
You must be signed in to change notification settings - Fork 4
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
feat: render specs in generated documentation
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.docs: update docs for changes to pre/post-conditions
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.feat: runtime-check data specs (a.k.a. type refinements)
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.feat:
anodized-fuzztoolenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#161 In anodized-rs/anodized;[anodized-fmt] feat: run
rustfmtbefore spec formattingenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.[anodized-core] feat: runtime-check loop specs
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#123 In anodized-rs/anodized;[anodized-core] feat: retain arbitrary attributes on
SpecelementsenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#114 In anodized-rs/anodized;feat: integrate with the
hegelsystemenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#112 In anodized-rs/anodized;[anodized-fmt] bug: should preserve comments
bugSomething isn't workingSomething isn't workinghelp wantedExtra attention is neededExtra attention is neededStatus: Open.#102 In anodized-rs/anodized;Support for distributions as "requires" and "ensures" items
enhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requestedStatus: Open.#96 In anodized-rs/anodized;feat: custom lints for specs
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#87 In anodized-rs/anodized;feat: a
libraryruntime behavior feature for cratesenhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#85 In anodized-rs/anodized;