Search results

Add AVL Tree as an Alternative Backend Data-Structures for Copy-Efficent (Persistent) Data-Structures

Status: Open.

#60 In sosy-lab/java-common-lib;

· baierd opened on Apr 29, 2026

Adopt data structures to Java 21 changes

package collect

Status: Open.

#58 In sosy-lab/java-common-lib;

· PhilippWendler opened on Apr 21, 2026

Add Alternative Backend Data-Structures for Copy-Efficent (Persistent) Data-Structures

Status: Open.

#50 In sosy-lab/java-common-lib;

· baierd opened on Apr 15, 2026

Add Union-Find Data-Structure

Status: Open.

Task

#49 In sosy-lab/java-common-lib;

· baierd opened on Apr 15, 2026

Extend Persistent Data-Structures with Deque

Status: Open.

Task

#48 In sosy-lab/java-common-lib;

· baierd opened on Apr 15, 2026

Migrate away from classic reflection API

package configuration

Status: Open.

#44 In sosy-lab/java-common-lib;

· PhilippWendler opened on Sep 4, 2025

No way to set a configuration option to an empty value

package configuration

Status: Open.

#33 In sosy-lab/java-common-lib;

· MartinSpiessl opened on Sep 15, 2020

Automatically generated documentation for configuration options confuses users into using curly braces

package configuration

Status: Open.

#31 In sosy-lab/java-common-lib;

· MartinSpiessl opened on Sep 15, 2020

Inheritable Options

package configuration

Status: Open.

#26 In sosy-lab/java-common-lib;

· PhilippWendler opened on Jan 23, 2019

OptionCollector reports only partial default value strings.

package configuration

Status: Open.

#23 In sosy-lab/java-common-lib;

· kfriedberger opened on Oct 19, 2018

Migrate away from javax.annotations

Status: Open.

#17 In sosy-lab/java-common-lib;

· PhilippWendler opened on Dec 11, 2017

add PersistentMultimap and PersistentSet

enhancement

package collect

Status: Open.

#10 In sosy-lab/java-common-lib;

· kfriedberger opened on Jul 20, 2017