summaryrefslogtreecommitdiff
path: root/pkgs/development/python-modules/model-checker (follow)
Commit message (Expand)AuthorAgeFilesLines
* python313Packages.model-checker: 0.9.17 -> 0.9.18Fabian Affolter2025-04-231-2/+2
* python312Packages.model-checker: 0.9.16 -> 0.9.17Fabian Affolter2025-04-181-2/+2
* python313Packages.model-checker: 0.9.11 -> 0.9.16Fabian Affolter2025-04-161-2/+2
* python313Packages.model-checker: 0.8.25 -> 0.9.11Fabian Affolter2025-04-141-2/+4
* python313Packages.model-checker: 0.8.20 -> 0.8.25Fabian Affolter2025-04-071-2/+2
* python313Packages.model-checker: 0.8.19 -> 0.8.20Fabian Affolter2025-04-061-2/+2
* python313Packages.model-checker: 0.8.13 -> 0.8.19Fabian Affolter2025-04-051-2/+2
* python313Packages.model-checker: 0.8.8 -> 0.8.13Fabian Affolter2025-04-021-2/+2
* python313Packages.model-checker: 0.8.6 -> 0.8.8Fabian Affolter2025-03-131-2/+2
* python313Packages.model-checker: 0.8.5 -> 0.8.6Fabian Affolter2025-03-031-2/+2
* python312Packages.model-checker: 0.8.2 -> 0.8.5R. Ryantm2025-02-261-2/+2
* python313Packages.model-checker: 0.7.17 -> 0.8.2Fabian Affolter2025-02-191-2/+2
* python313Packages.model-checker: 0.7.3 -> 0.7.17Fabian Affolter2025-01-251-2/+2
* python313Packages.model-checker: 0.7.1 -> 0.7.3Fabian Affolter2025-01-151-2/+2
* python313Packages.model-checker: 0.6.10 -> 0.7.1Fabian Affolter2025-01-081-2/+2
* python312Packages.model-checker: 0.6.6 -> 0.6.10R. Ryantm2025-01-051-2/+2
* python312Packages.model-checker: 0.6.2 -> 0.6.6R. Ryantm2024-12-261-2/+2
* python311Packages.model-checker: 0.5.6 -> 0.6.2Fabian Affolter2024-12-251-2/+2
* treewide: format all inactive Nix files•••After final improvements to the official formatter implementation, this commit now performs the first treewide reformat of Nix files using it. This is part of the implementation of RFC 166. Only "inactive" files are reformatted, meaning only files that aren't being touched by any PR with activity in the past 2 months. This is to avoid conflicts for PRs that might soon be merged. Later we can do a full treewide reformat to get the rest, which should not cause as many conflicts. A CI check has already been running for some time to ensure that new and already-formatted files are formatted, so the files being reformatted here should also stay formatted. This commit was automatically created and can be verified using nix-build https://github.com/infinisil/treewide-nixpkgs-reformat-script/archive/a08b3a4d199c6124ac5b36a889d9099b4383463f.tar.gz \ --argstr baseRev b32a0943687d2a5094a6d92f25a4b6e16a76b5b7 result/bin/apply-formatting $NIXPKGS_PATH Silvan Mosberger2024-12-101-1/+0
* python311Packages.model-checker: 0.4.12 -> 0.5.6Fabian Affolter2024-08-171-4/+8
* python312Packages.model-checker: 0.4.9 -> 0.4.12R. Ryantm2024-07-161-2/+2
* treewide: remove pythonRelaxDepsHook references•••It is is now provided automatically, when `pythonRelaxDeps` or `pythonRemoveDeps` is defined through `mk-python-derivation`. Martin Weinelt2024-06-141-2/+0
* python311Packages.model-checker: 0.4.4 -> 0.4.9R. Ryantm2024-06-111-2/+2
* treewide: Remove indefinite article from meta.description•••nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/' Alexis Hildebrandt2024-06-091-1/+1
* python312Packages.model-checker: 0.3.21 -> 0.4.4Fabian Affolter2024-05-261-2/+2
* python311Packages.model-checker: 0.3.13 -> 0.3.21R. Ryantm2024-05-221-2/+2
* python312Packages.model-checker: init at 0.3.13•••A hyperintensional theorem prover for counterfactual conditionals and modal operators https://pypi.org/project/model-checker/ Fabian Affolter2024-05-211-0/+45
generated by cgit v1.2.3 (git 2.52.0) at 2026-01-19 08:02:39 +0000