Skip to content

No labels!

There aren’t any labels for this repository quite yet.

benchmark-needed
benchmark-needed
benchmarking
benchmarking
broken build
broken build
cannot-be-merged
cannot-be-merged
changes requested
changes requested
Code bug
Code bug
Compatibility
Compatibility
compilation warning
compilation warning
development process
development process
diff-too-big-for-lazy-maintainer
diff-too-big-for-lazy-maintainer
Documentation
Documentation
Feature request
Feature request
for next major release
for next major release
high-priority
high-priority
INRIA-SED-angel-needed
INRIA-SED-angel-needed
installation bug
installation bug
low-priority
low-priority
medium-priority
medium-priority
merge-after-release
merge-after-release
Multithreaded
Multithreaded
needs-review
needs-review
packaging
packaging
performance bug
performance bug