Publication date
April 2016
DOIAbstract
This is a pre-release for testing (primarily of the release process). This software is still in alpha and not yet supported
This is a pre-release for testing (primarily of the release process). This software is still in alpha and not yet supported
Following a successful in-house trial of Alchex, the pre-alpha release makes code available to the p...
This is a pre-release of poppr 2.0. The release of poppr 2.0 will have the v.2.0.0 tag associated wi...
Full benchmark set of the 11th Intl. Competition on Software Verification (SV-COMP 2022) and the ...
First version as a package. Not all functionality from the alpha version has been incorporated
Major Changes Changes to the BEDPE format. BEDPE now contains additional columns to aid in the rec...
This is a pre-release of v0.4.0 to test the packaging and distribution infrastructure in preparation...
Full benchmark set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020). Licenses are ...
This is a pre-release of v0.4.0 to test the packaging and distribution infrastructure in preparation...
v0.0.0 Pre-release This is an initial beta pre-release for testing purposes. This package is not pr...
The package is used to download all SticsRPacks packages, and to manage their versions
Full benchmark set of the 1st Intl. Competition on Software Testing (Test-Comp 2019). Licenses are ...
This is a pre-release of LingPy 2.4, featuring some but not all of the new features which are planne...
Full benchmark set of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). Licenses are ...
Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020). Licenses a...
This is a pre-release of LingPy 2.4, featuring some but not all of the new features which are planne...
Following a successful in-house trial of Alchex, the pre-alpha release makes code available to the p...
This is a pre-release of poppr 2.0. The release of poppr 2.0 will have the v.2.0.0 tag associated wi...
Full benchmark set of the 11th Intl. Competition on Software Verification (SV-COMP 2022) and the ...
First version as a package. Not all functionality from the alpha version has been incorporated
Major Changes Changes to the BEDPE format. BEDPE now contains additional columns to aid in the rec...
This is a pre-release of v0.4.0 to test the packaging and distribution infrastructure in preparation...
Full benchmark set of the 2nd Intl. Competition on Software Testing (Test-Comp 2020). Licenses are ...
This is a pre-release of v0.4.0 to test the packaging and distribution infrastructure in preparation...
v0.0.0 Pre-release This is an initial beta pre-release for testing purposes. This package is not pr...
The package is used to download all SticsRPacks packages, and to manage their versions
Full benchmark set of the 1st Intl. Competition on Software Testing (Test-Comp 2019). Licenses are ...
This is a pre-release of LingPy 2.4, featuring some but not all of the new features which are planne...
Full benchmark set of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). Licenses are ...
Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020). Licenses a...
This is a pre-release of LingPy 2.4, featuring some but not all of the new features which are planne...
Following a successful in-house trial of Alchex, the pre-alpha release makes code available to the p...
This is a pre-release of poppr 2.0. The release of poppr 2.0 will have the v.2.0.0 tag associated wi...
Full benchmark set of the 11th Intl. Competition on Software Verification (SV-COMP 2022) and the ...
Add to ORKG