Search results

Two reporting threads (Tickers) appear for one KnuthBendix

Status: Open.

#944 In libsemigroups/libsemigroups;

· james-d-mitchell opened on Apr 4, 2026

Congruence runners added too early

performanceLabel for pull requests or issues related to performanceLabel for pull requests or issues related to performance

Status: Open.

Bug

#943 In libsemigroups/libsemigroups;

· james-d-mitchell opened on Apr 4, 2026

Refactor update yggdrasil action to use ArchiveSource

CILabel for issues or PR about continuous integration CILabel for issues or PR about continuous integration CI

Status: Open.

Task

#935 In libsemigroups/libsemigroups;

· jswent opened on Mar 27, 2026

Update to Eigen v5

dependenciesPull requests that update a dependency filePull requests that update a dependency file

resolved-pending-releaseLabel for issues that will be resolved in the next release.Label for issues that will be resolved in the next release.

Status: Open.

Task

#932 In libsemigroups/libsemigroups;

· james-d-mitchell opened on Mar 26, 2026

3.5.1: test segfault with semigroups 5.6.0

resolved-pending-releaseLabel for issues that will be resolved in the next release.Label for issues that will be resolved in the next release.

Status: Open.

Bug

#910 In libsemigroups/libsemigroups;

· jamesjer opened on Mar 10, 2026

to_human_readable_repr: add argument for offset for transf

Status: Open.

Task

#895 In libsemigroups/libsemigroups;

· jswent opened on Feb 18, 2026

Deduplicate exceptions code where possible

refactorA label for PRs or issues that involve refactoring existing codeA label for PRs or issues that involve refactoring existing code

Status: Open.

#891 In libsemigroups/libsemigroups;

· james-d-mitchell opened on Feb 3, 2026

Add a parameter for the throw_if functions for Transf and Matrix functions that offsets the indexes and values

Status: Open.

#888 In libsemigroups/libsemigroups;

· james-d-mitchell opened on Jan 21, 2026

Make the KnuthBendix's reporting more similar to ToddCoxeter

enhancementLabel for PRs or issues that enhance something, but are not new features.Label for PRs or issues that enhance something, but are not new features.

interface-consistency

Status: Open.

#883 In libsemigroups/libsemigroups;

· Joseph-Edwards opened on Jan 16, 2026

Add missing documentation

docA label for issues or PR relating to the documentationA label for issues or PR relating to the documentation

Status: Open.

#882 In libsemigroups/libsemigroups;

· Joseph-Edwards opened on Jan 15, 2026

Add helper growth_function for WordGraph

Status: Open.

Feature

#881 In libsemigroups/libsemigroups;

· james-d-mitchell opened on Jan 15, 2026

The test timing scripts should be able to compare tests regardless of the executable used to run the test

benchmarksA label for PRs that related to benchmarksA label for PRs that related to benchmarks

Status: Open.

#873 In libsemigroups/libsemigroups;

· Joseph-Edwards opened on Dec 9, 2025