-
Notifications
You must be signed in to change notification settings - Fork 4
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#87 In libsemigroups/Semigroups.jl;
- Status: Open.#80 In libsemigroups/Semigroups.jl;
Support
Pathsjulia-side transform wrappersbindingsRelated to C++ bindings code or C++ <-> Julia interactionRelated to C++ bindings code or C++ <-> Julia interactionenhancementNew feature or requestNew feature or requestjuliaPull requests that update julia codePull requests that update julia codeStatus: Open.Port comprehensive tests for
Pathsfromtest-paths.cppenhancementNew feature or requestNew feature or requestjuliaPull requests that update julia codePull requests that update julia codeStatus: Open.Add
AGENTS.mdfile for development guidanceenhancementNew feature or requestNew feature or requestStatus: Open.#73 In libsemigroups/Semigroups.jl;Migrate to Runic.jl for formatting
enhancementNew feature or requestNew feature or requestjuliaPull requests that update julia codePull requests that update julia codeStatus: Open.#71 In libsemigroups/Semigroups.jl;Add doctest examples
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.Implement additional tests for froidure pin
juliaPull requests that update julia codePull requests that update julia codeStatus: Open.Update docstrings to match C++
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#37 In libsemigroups/Semigroups.jl;CI: Docs should be deployed per-release instead of on main push
ci/cdChanges to the project CI/CDChanges to the project CI/CDdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.CI: docs should be deployed with JLLs
documentationImprovements or additions to documentationImprovements or additions to documentationenhancementNew feature or requestNew feature or requestStatus: Open.