82,505 research outputs found
XML-Comp/XML-Comp: windows support
No full text<p>Thanks to @while-loop we now have official support to windows!</p>
<p>If you want to know more about this, just visit: <a href="https://github.com/XML-Comp/XML-Comp/pull/54">https://github.com/XML-Comp/XML-Comp/pull/54</a></p>
math-comp/math-comp: The Mathematical Components Library 1.19.0
No full text<p>This release is compatible with Coq 8.16 to 8.19.</p>
<p>See the <a href="https://github.com/math-comp/math-comp/blob/mathcomp-1.19.0/CHANGELOG.md">CHANGELOG.md</a> file for more details.</p>
SMT-COMP 2024: OpenSMT executable
No full text<p>SMT-COMP 2024: https://smt-comp.github.io/2024/</p>
<p>Solver description: https://github.com/usi-verification-and-security/opensmt-doc/blob/master/smt-comp/abstract-2024.pdf</p>
NCAR/geocat-comp: GeoCAT-comp v2021.04.0
No full textRelease Notes:
New functions:
Note: Refer to GeoCAT-comp API reference for detailed information about below functions:
get_skewt_vars
max_daylight (Previously daylight_fao56 in NCL)
showalter_index
Developer Notes:
pre-commit hooks configured for yapf and some other check
comp-physics/RBC3D: RBC v0.5
No full text<h2>What's Changed</h2>
<ul>
<li>Rearrange cases by @suzm10 in https://github.com/comp-physics/RBC3D/pull/14</li>
<li>Add Sample Files Documentation and Refactor Initcond_Random by @smullangi3 in https://github.com/comp-physics/RBC3D/pull/15</li>
<li>Add AB2 and RK2; Randomized Cell Placement Support for Different Cell Types by @smullangi3 in https://github.com/comp-physics/RBC3D/pull/16</li>
<li>Random Case Fix by @suzm10 in https://github.com/comp-physics/RBC3D/pull/18</li>
<li>Fixing Sickle Cell Model, Reintroducing Intercellular Repulsion by @smullangi3 in https://github.com/comp-physics/RBC3D/pull/21</li>
</ul>
<p><strong>Full Changelog</strong>: https://github.com/comp-physics/RBC3D/compare/v0.4...v0.5</p>
GDart-LLVM (SV-COMP 2023)
No full text<p>Version from SV-COMP 2023.</p>
<p>In comparison to version svcomp23 (https://doi.org/10.5281/zenodo.10397071), this version contains the README and license files from the SV-COMP 2023 archives repository (https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/tree/main/2023).</p>
dhicks/comp-HOPOS: v1.0
No full text<p>This is the first official release of the scripts used to construct the Comp HOPOS dataset.</p>
Geoscience Community Analysis Toolkit: GeoCAT-comp
No full text<p><!-- Release notes generated using configuration in .github/release.yml at main --></p>
<h2>What's Changed</h2>
<h3>Documentation</h3>
<ul>
<li>New NSF NCAR Branding by @cyschneck in https://github.com/NCAR/geocat-comp/pull/541</li>
</ul>
<h3>Maintenance</h3>
<ul>
<li>CI Improvements by @anissa111 in https://github.com/NCAR/geocat-comp/pull/528</li>
<li>Upstream CI Improvements by @anissa111 in https://github.com/NCAR/geocat-comp/pull/527</li>
<li>Standardize and improve ci-release.yml by @anissa111 in https://github.com/NCAR/geocat-comp/pull/531</li>
<li>Add retry step to linkcheck and CI by @anissa111 in https://github.com/NCAR/geocat-comp/pull/532</li>
<li>Switch to PyPI Trusted Publishing by @anissa111 in https://github.com/NCAR/geocat-comp/pull/534</li>
<li>Update nightly wheels source by @anissa111 in https://github.com/NCAR/geocat-comp/pull/537</li>
</ul>
<h3>Misc</h3>
<ul>
<li>Bump actions/setup-python from 4.7.1 to 5.0.0 by @dependabot in https://github.com/NCAR/geocat-comp/pull/526</li>
<li>Bump actions/upload-artifact from 3 to 4 by @dependabot in https://github.com/NCAR/geocat-comp/pull/535</li>
<li>Update release-notes.rst for v2024.01.0 by @anissa111 in https://github.com/NCAR/geocat-comp/pull/544</li>
</ul>
<p><strong>Full Changelog</strong>: https://github.com/NCAR/geocat-comp/compare/v2023.12.0...v2024.01.0</p>If you use this software, please cite it as below
Geoscience Community Analysis Toolkit: GeoCAT-comp
No full text<p><!-- Release notes generated using configuration in .github/release.yml at main --></p>
<h2>What's Changed</h2>
<h3>Bug Fixes</h3>
<ul>
<li>Fix delta_pressure to handle the case when pressure levels are greater than the surface pressure by @kafitzgerald in https://github.com/NCAR/geocat-comp/pull/571</li>
</ul>
<h3>Maintenance</h3>
<ul>
<li>pre-commit hook for codespell by @cyschneck in https://github.com/NCAR/geocat-comp/pull/579</li>
<li>Move dask compatibility tests to their own testing module by @anissa111 in https://github.com/NCAR/geocat-comp/pull/568</li>
<li>Add M1 runners to CI by @kafitzgerald in https://github.com/NCAR/geocat-comp/pull/581</li>
<li>Geocat-comp ruff cleanup by @cyschneck in https://github.com/NCAR/geocat-comp/pull/584</li>
</ul>
<h3>Misc</h3>
<ul>
<li>Bump pypa/gh-action-pypi-publish from 1.8.11 to 1.8.12 by @dependabot in https://github.com/NCAR/geocat-comp/pull/574</li>
<li>Bump pypa/gh-action-pypi-publish from 1.8.12 to 1.8.14 by @dependabot in https://github.com/NCAR/geocat-comp/pull/575</li>
<li>Update release notes for v2024.03.0 by @anissa111 in https://github.com/NCAR/geocat-comp/pull/586</li>
<li>Forgot date on release notes by @anissa111 in https://github.com/NCAR/geocat-comp/pull/587</li>
</ul>
<p><strong>Full Changelog</strong>: https://github.com/NCAR/geocat-comp/compare/v2024.02.0...v2024.03.0</p>If you use this software, please cite it as below
- …
