differ icon indicating copy to clipboard operation
differ copied to clipboard

Detecting Inconsistencies in Feature or Function Evaluations of Requirements

Results 16 differ issues
Sort by recently updated
recently updated
newest added

Bumps [black](https://github.com/psf/black) from 22.1.0 to 24.3.0. Release notes Sourced from black's releases. 24.3.0 Highlights This release is a milestone: it fixes Black's first CVE security vulnerability. If you run Black...

dependencies
python

Bumps [pyright](https://github.com/RobertCraigie/pyright-python) from 1.1.290 to 1.1.354. Release notes Sourced from pyright's releases. v1.1.354 No release notes provided. v1.1.353 No release notes provided. v1.1.352 No release notes provided. v1.1.351 No release...

dependencies
python

Bumps [coverage](https://github.com/nedbat/coveragepy) from 7.0.5 to 7.4.4. Changelog Sourced from coverage's changelog. Version 7.4.4 — 2024-03-14 Fix: in some cases, even with [run] relative_files=True, a data file could be created with...

dependencies
python

Bumps [isort](https://github.com/pycqa/isort) from 5.11.4 to 5.13.2. Release notes Sourced from isort's releases. 5.13.2 Changes Apply the bracket fix from issue 471 only for use_parentheses=True (#2184) @​bp72 confine pre-commit to stages...

dependencies
python

Bumps [actions/setup-python](https://github.com/actions/setup-python) from 4 to 5. Release notes Sourced from actions/setup-python's releases. v5.0.0 What's Changed In scope of this release, we update node version runtime from node16 to node20 (actions/setup-python#772)....

dependencies
github_actions

Bumps [sphinx-rtd-theme](https://github.com/readthedocs/sphinx_rtd_theme) from 0.5.1 to 2.0.0. Changelog Sourced from sphinx-rtd-theme's changelog. 2.0.0 Added Support for Sphinx versions 6.x and 7.x Support for docutils <=0.20 Deprecations The HTML4 writer is now...

dependencies
python

Bumps [invoke](https://github.com/pyinvoke/invoke) from 2.0.0 to 2.2.0. Commits 07b836f Cut 2.2.0 71d5596 Nuke the somewhat broken class check for Config.clone(into=) ee9d862 Cut 2.1.3 aa8b815 Look at task tree sibling location for...

dependencies
python

Bumps [actions/setup-node](https://github.com/actions/setup-node) from 3 to 4. Release notes Sourced from actions/setup-node's releases. v4.0.0 What's Changed In scope of this release we changed version of node runtime for action from node16...

dependencies
github_actions

Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. Release notes Sourced from actions/checkout's releases. v4.0.0 What's Changed Update default runtime to node20 by @​takost in actions/checkout#1436 Support fetching without the --progress option...

dependencies
github_actions

Right now CI runs our samples as integration tests. This is good but ultimately we will have to expect some false positives with this tool. We should probably reduce CI...