sosy-lab java-common-lib issues

sosy-lab / java-common-lib

SoSy-Lab Java Common Library

https://www.sosy-lab.org

Apache License 2.0

12 stars 11 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

#38: improve architecture detection

#43 kfriedberger closed 1 month ago
2
Add utility methods for concatenating a list with some elements

#42 PhilippWendler closed 1 year ago
0
Add Duration support for Timer

#41 BCSol closed 3 years ago
3
ProcessExecutor decrease loglevel on timeout and interruption

#40 BCSol closed 3 years ago
1
Suggestion: Add temporary directories

#39 KlaraCimbalnik closed 3 years ago
3
NativeLibraries could support more architectures, such as ARMv7 or ARMv8

#38 kfriedberger closed 1 month ago
1
sosy_lab.common.io.TempFile.TempFileBuilder.prefix changes the suffix, too

#37 KlaraCimbalnik closed 3 years ago
2
Replace PathCopyingPersistentTreeMap hash and size calculation

#36 Druidos opened 3 years ago
2
fix access to files that located inside a JAR.

#35 kfriedberger closed 3 years ago
1
InvalidPathException from Configuration.parse on Windows

#34 kfriedberger closed 3 years ago
3
No way to set a configuration option to an empty value

#33 MartinSpiessl opened 4 years ago
6
Curly braces in configuration options are a source for unintentional misconfiguration

#32 MartinSpiessl closed 4 years ago
8
Automatically generated documentation for configuration options confuses users into using curly braces

#31 MartinSpiessl opened 4 years ago
4
Add MultiLineLogFormatter

#30 BCSol closed 4 years ago
0
Extend ProcessExecutor log messages:

#29 BCSol closed 4 years ago
0
Add optional execution dir argument for ProcessExecutor

#28 BCSol closed 5 years ago
2
Support working dir for ProcessExecutor

#27 BCSol closed 5 years ago
0
Inheritable Options

#26 PhilippWendler opened 5 years ago
5
Modify copy mechanism of unused properties in configuration builder

#25 MartinSpiessl closed 1 year ago
5
Make tests pass on OpenBSD

#24 moritzbuhl closed 5 years ago
2
OptionCollector reports only partial default value strings.

#23 kfriedberger opened 6 years ago
0
Timer provides #getMinTime() method

#22 lembergerth closed 6 years ago
6
Fix URL of comment in API webpage

#21 lembergerth closed 6 years ago
1
Add serialVersionUID inspections to intellij idea config

#20 lembergerth closed 6 years ago
0
Bug: NoSuchElementException when calling containsAll() in PathCopyingPersistentTreeMap.entrySet()

#19 kfriedberger closed 6 years ago
0
Make Configuration serializable

#18 kfriedberger closed 4 years ago
3
Migrate away from javax.annotations

#17 PhilippWendler opened 6 years ago
2
Add PersistentNavigableMap

#16 PhilippWendler closed 6 years ago
1
Initial OrderStatisticMap/Set

#15 lembergerth closed 6 years ago
0
Log manager interface extension

#14 BCSol closed 6 years ago
0
Change LogLevelFilter.java constructor modifier to public

#13 BCSol closed 6 years ago
7
LogManager: Support format strings for user and debug exceptions

#12 BCSol closed 6 years ago
2
Skip-List implementation

#11 lembergerth closed 6 years ago
6
add PersistentMultimap and PersistentSet

#10 kfriedberger opened 7 years ago
1
Feature for appending to configuration values

#9 PhilippWendler opened 8 years ago
1
1.0 release

#8 cheshire closed 4 years ago
1
Fix the javadoc8 build

#7 cheshire closed 8 years ago
1
Suggest similarly named options

#6 PhilippWendler opened 8 years ago
0
Sub configuration as blocks in configuration files

#5 PhilippWendler opened 8 years ago
0
No duplicate inclusion of the same option in configuration files

#4 PhilippWendler opened 8 years ago
0
Compatibility with Java 8

#3 ottseb closed 8 years ago
1
HTML-based configuration export

#2 cheshire opened 8 years ago
1
ConfigurationOptions documentation

#1 cheshire closed 8 years ago
1