pkgs/applications/science/logic/

pkgs/applications/science/ · 8 packages and modules · 13 open pull requests

Busy below

coq 3 · cedille 2 · tlaplus 2 · aiger 1 · anylogic 1 · cadical 1 · cvc5 1 · dafny 1 · easycrypt 1 · elan 1 · fast-downward 1 · formula 1 · iprover 1 · klee 1 · monosat 1 · tamarin-prover 1

Packages and modules 8

ekrhyperrisk 3 0 0

tlapsrisk 2 1 0

why3risk 2 1 0

coqrisk 1 3 2

easycryptrisk 1 1 0

easycrypt-runtestrisk 1 1 0

leo2risk 1 0 0

rocq-corerisk 1 0 0

Pull requests 13

treewide: use `desktopItems` (plural) instead of `desktopItem`

#511149 by PerchunPak · opened 6mo ago

glibcLocales{,Utf8}: signal availability via `meta.platforms`, not `null`

#481844 by uninsane · opened 9mo ago

python3Packages: deprecate 'format = "other/pyproject"'

#355654 by natsukium · opened 23mo ago

wrapCC, wrapBintools: use absolute paths draft

#314920 by tie · opened 2y ago

cvc5: add python package

#311171 by tsheinen · opened 2y ago

treewide: Use `genericBuild` or `runPhase` to run phases manually whenever appropriate draft

#299045 by ShamrockLee · opened 2y ago

draft: treewide: dotnet reorg: dotnet-sdk -> dotnet draft

#286134 by corngood · opened 2y ago

build-rust-package: by default set well known environment variables to build with system libraries draft

#237849 by SuperSandro2000 · opened 3y ago

anylogic-ple: init at 8.8.6

#224169 by Zahrun · opened 3y ago

coq: add support for -native-compiler yes draft

#224110 by Alizter · opened 3y ago

treewide: use lib.boolToCMakeString where possible

#187347 by SuperSandro2000 · opened 4y ago

lib: etc

#113661 by CohenCyril · opened 5y ago

treewide: enable security hardening flags draft

#104091 by TredwellGit · opened 5y ago

Closed or merged in the synced window 11

various: OCaml multiple outputs

#567406 by georgyo · merged 2d ago

ocamlPackages.buildDunePackage: split dev output by default draft

#567354 by georgyo · closed 2w ago

rocq-core: 9.3+rc1 -> 9.3.0

#565451 by proux01 · merged 3w ago

[Backport release-26.05] easycrypt: 2026.07 -> 2026.09

#563918 by nixpkgs-ci · merged 4w ago

coq_8_{7,8,9}: fix build by adding missing camlp5

#562865 by iedame · merged 4w ago

easycrypt: 2026.07 -> 2026.09

#560298 by r-ryantm · merged 5w ago

[Backport release-26.05] coq: fix compilation following https://github.com/rocq-prover/rocq/pull/22327

#554727 by nixpkgs-ci · merged 8w ago

coq: fix compilation following https://github.com/rocq-prover/rocq/pull/22327

#554328 by proux01 · merged 8w ago

Merge coq-modules and rocq-modules derivations

#541797 by Zimmi48 · merged 8w ago

aiger: fix build with clang 16

#263782 by reckenrode · merged 2y ago

x86_64-darwin: fix packages that won’t build draft

#180931 by reckenrode · closed 3mo ago

Issues 5

coq: mechanism to override version is confusing

#560483 by leana8959 · opened 5w ago · 0 comments

elan: does not keep interpreter alive through nix gc 2.status: stale

#323961 by nomeata · opened 2y ago · 2 comments

Build failure: haskellPackages.sbv (already marked as broken) 6.topic: haskell 2.status: stale

#282532 by lsrcz · opened 2y ago · 0 comments

abc-verifier: Why do we use yosyshq's fork of the berkeley-abc/abc repo? 2.status: stale

#225659 by panicgh · opened 3y ago · 0 comments

Coq setupHook searches paths of the form $prefix/lib/coq/$version which is not standard 6.topic: coq 2.status: stale

#113695 by CohenCyril · opened 5y ago · 6 comments