nixpkgs/pkgs/applications/science/logic
Artturin e0464e4788 treewide: replace stdenv.is with stdenv.hostPlatform.is
In preparation for the deprecation of `stdenv.isX`.

These shorthands are not conducive to cross-compilation because they
hide the platforms.

Darwin might get cross-compilation for which the continued usage of `stdenv.isDarwin` will get in the way

One example of why this is bad and especially affects compiler packages
https://www.github.com/NixOS/nixpkgs/pull/343059

There are too many files to go through manually but a treewide should
get users thinking when they see a `hostPlatform.isX` in a place where it
doesn't make sense.

```
fd --type f "\.nix" | xargs sd --fixed-strings "stdenv.is" "stdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "stdenv'.is" "stdenv'.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "clangStdenv.is" "clangStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "gccStdenv.is" "gccStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "stdenvNoCC.is" "stdenvNoCC.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "inherit (stdenv) is" "inherit (stdenv.hostPlatform) is"
fd --type f "\.nix" | xargs sd --fixed-strings "buildStdenv.is" "buildStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "effectiveStdenv.is" "effectiveStdenv.hostPlatform.is"
fd --type f "\.nix" | xargs sd --fixed-strings "originalStdenv.is" "originalStdenv.hostPlatform.is"
```
2024-09-25 00:04:37 +03:00
..
abc treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
abella
acgtk treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
aiger
alt-ergo treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
anders
aspino
avy
beluga beluga: 1.1.1 -> 1.1.2 2024-07-22 12:24:09 +00:00
bitwuzla treewide: finalAttrs.doCheck -> finalAttrs.finalPackage.doCheck 2024-07-30 18:32:01 +02:00
boolector treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
btor2tools treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
cadical cadical: 1.9.5 -> 2.0.0 2024-06-19 00:28:24 +00:00
cbmc treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
cedille treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
celf
clprover
coq ocamlPackages.elpi: use release tarball (#343266) 2024-09-23 09:52:07 +02:00
cryptominisat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
cryptoverif cryptoverif: 2.09 -> 2.10 2024-08-24 16:32:43 -05:00
cubicle treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
cvc3 treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
cvc4 treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
cvc5 cvc5: enable tests 2024-08-18 14:56:37 +01:00
dafny dafny: 4.6.0 -> 4.7.0 2024-06-27 16:10:28 -07:00
drat-trim treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
easycrypt
egglog treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
ekrhyper
elan treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
eprover eprover: 3.0.03 -> 3.1 2024-05-02 00:48:29 +00:00
fast-downward treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
formula treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
gappa
glucose
hol treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
hol_light hol_light: 2024-05-10 → 2024-07-07 2024-07-22 20:42:35 +02:00
iprover treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
key treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
kissat treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
klee klee: add mainProgram 2024-06-17 23:15:33 -07:00
lci
lean treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
lean2 treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
lean4 lean4: 4.9.0 -> 4.9.1 (#331445) 2024-09-19 17:06:09 +08:00
leo2 treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
leo3 treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
lingeling
logisim treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
logisim-evolution treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
ltl2ba
mcrl2 treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
mcy treewide: buildPhase="true" -> dontBuild=true 2024-08-23 12:21:08 +02:00
metis-prover
minisat
monosat monosat: remove 'with lib;' 2024-08-16 16:09:03 +02:00
msat treewide: remove unused lib (and other) arguments 2024-07-26 11:18:09 +02:00
netlistsvg
nusmv nusmv: fix homepage URL 2024-09-13 14:13:49 +00:00
nuXmv treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
open-wbo treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
opensmt treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
ott treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
picosat treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
poly
potassco
prooftree treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
prover9 treewide: remove unused with statements from maintainer lists 2024-07-29 10:06:20 +08:00
proverif
redprl treewide: sha256 -> hash attribute for fetchgit 2024-07-14 19:10:08 +08:00
satallax treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
saw-tools
sharpsat-td treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
spass
statverif
stp stp: add numinit as maintainer 2024-07-19 01:56:57 -07:00
surelog treewide: fix uses of repo = finalAttrs.pname 2024-07-12 20:18:43 -04:00
symfpu
tamarin-prover treewide: replace stdenv.is with stdenv.hostPlatform.is 2024-09-25 00:04:37 +03:00
tlaplus tlaplus: 1.7.3 -> 1.7.4 2024-08-14 08:30:57 +00:00
tptp
twelf
uhdm treewide: fix uses of repo = finalAttrs.pname 2024-07-12 20:18:43 -04:00
vampire treewide: Remove the definite article from meta.description 2024-06-09 23:08:46 +02:00
verifast verifast: 21.04 -> 24.08.30 2024-09-03 05:02:45 +00:00
verit treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
why3 treewide: Remove indefinite article from meta.description 2024-06-09 23:07:45 +02:00
workcraft workcraft: 3.5.0 -> 3.5.1 2024-09-02 16:25:47 +00:00
yices yices: 2.6.4 → 2.6.5 2024-07-05 13:23:16 +02:00
z3 z3: remove 'with lib;' 2024-08-16 16:09:03 +02:00
zchaff