Publication date
September 2022
DOIAbstract
Removed postcondition check with SymSolve: Postconditions now should be checked using the java assert method
Removed postcondition check with SymSolve: Postconditions now should be checked using the java assert method
TurbulenceConvection v0.34.2 Diff since v0.34.1 API Changes: Features Documentation Fixe
Updated dependencies Minimum Java version raised to 17 Fixed group id in pom.xml Removed compile dep...
TurbulenceConvection v0.18.0 Diff since v0.17.4 API Changes: Features Documentation Fixe
This repository is deprecated, the new version can be found in: https://github.com/JuanmaCopia/spf-p...
Manually writing pre-And postconditions to document the behavior of a large library is a time-consum...
Added some descriptions to help to better understand the artifact. Fixed some typos
TurbulenceConvection v0.34.7 Diff since v0.34.6 API Changes: Features Documentation Fixe
TurbulenceConvection v0.28.0 Diff since v0.27.2 API Changes: Features Documentation Fixe
TurbulenceConvection v0.27.0 Diff since v0.26.0 API Changes: Features Documentation Fixe
TurbulenceConvection v0.32.0 Diff since v0.31.0 API Changes: Features Documentation Fixes Fix s...
TurbulenceConvection v0.34.6 Diff since v0.34.5 API Changes: Features Documentation Fixe
TurbulenceConvection v0.29.2 Diff since v0.29.0 API Changes: Features Documentation Fixe
TurbulenceConvection v0.34.5 Diff since v0.34.4 API Changes: Features Documentation Fixe
<p>Compatibility with Julia versions 1.0 and 0.7, dropping 0.6 support.</p>
TurbulenceConvection v0.34.4 Diff since v0.34.3 API Changes: Features Documentation Fixe
TurbulenceConvection v0.34.2 Diff since v0.34.1 API Changes: Features Documentation Fixe
Updated dependencies Minimum Java version raised to 17 Fixed group id in pom.xml Removed compile dep...
TurbulenceConvection v0.18.0 Diff since v0.17.4 API Changes: Features Documentation Fixe
This repository is deprecated, the new version can be found in: https://github.com/JuanmaCopia/spf-p...
Manually writing pre-And postconditions to document the behavior of a large library is a time-consum...
Added some descriptions to help to better understand the artifact. Fixed some typos
TurbulenceConvection v0.34.7 Diff since v0.34.6 API Changes: Features Documentation Fixe
TurbulenceConvection v0.28.0 Diff since v0.27.2 API Changes: Features Documentation Fixe
TurbulenceConvection v0.27.0 Diff since v0.26.0 API Changes: Features Documentation Fixe
TurbulenceConvection v0.32.0 Diff since v0.31.0 API Changes: Features Documentation Fixes Fix s...
TurbulenceConvection v0.34.6 Diff since v0.34.5 API Changes: Features Documentation Fixe
TurbulenceConvection v0.29.2 Diff since v0.29.0 API Changes: Features Documentation Fixe
TurbulenceConvection v0.34.5 Diff since v0.34.4 API Changes: Features Documentation Fixe
<p>Compatibility with Julia versions 1.0 and 0.7, dropping 0.6 support.</p>
TurbulenceConvection v0.34.4 Diff since v0.34.3 API Changes: Features Documentation Fixe
TurbulenceConvection v0.34.2 Diff since v0.34.1 API Changes: Features Documentation Fixe
Updated dependencies Minimum Java version raised to 17 Fixed group id in pom.xml Removed compile dep...
TurbulenceConvection v0.18.0 Diff since v0.17.4 API Changes: Features Documentation Fixe
Add to ORKG