nixpkgs/pkgs/applications/science/logic/ at fix-function-merge

abc

treewide: Remove indefinite article from meta.description

2 years ago

abella

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

acgtk

treewide: Remove indefinite article from meta.description

2 years ago

aiger

Merge master into staging-next

2 years ago

alt-ergo

alt-ergo: 2.5.3 -> 2.5.4

2 years ago

anders

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

aspino

aspino: remove patchShebangs

3 years ago

avy

treewide: move NIX_CFLAGS_COMPILE to the env attrset

3 years ago

beluga

treewide: Remove indefinite article from meta.description

2 years ago

bitwuzla

treewide: Remove indefinite article from meta.description

2 years ago

boolector

treewide: Remove indefinite article from meta.description

2 years ago

btor2tools

treewide: Remove indefinite article from meta.description

2 years ago

cadical

Merge pull request #304204 from numinit/klee-llvm-override

2 years ago

cbmc

cbmc: 6.0.0 -> 6.0.1

2 years ago

cedille

treewide: Remove indefinite article from meta.description

2 years ago

celf

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

clprover

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

coq

Merge pull request #311846 from hzeller/feature-20240514-update-uhdm-surelog

2 years ago

cryptominisat

treewide: Remove indefinite article from meta.description

2 years ago

cryptoverif

cryptoverif: 2.08pl1 -> 2.09

2 years ago

cubicle

treewide: Remove indefinite article from meta.description

2 years ago

cvc3

treewide: Remove indefinite article from meta.description

2 years ago

cvc4

treewide: Remove indefinite article from meta.description

2 years ago

cvc5

treewide: Remove indefinite article from meta.description

2 years ago

dafny

dafny: 4.6.0 -> 4.7.0

2 years ago

drat-trim

treewide: Remove indefinite article from meta.description

2 years ago

easycrypt

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

egglog

treewide: Remove indefinite article from meta.description

2 years ago

ekrhyper

Merge pull request #248683 from oxij/tree/source-root-continues-3

2 years ago

elan

Merge master into haskell-updates

2 years ago

eprover

Merge #306080: staging-next 2024-04-22

2 years ago

fast-downward

treewide: Remove indefinite article from meta.description

2 years ago

formula

treewide: update all dotnet lockfiles

3 years ago

gappa

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

glucose

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

hol

Merge pull request #164779 from collares/lean2

3 years ago

hol_light

hol_light: 2024-05-10 → 2024-07-07

2 years ago

iprover

treewide: Remove indefinite article from meta.description

2 years ago

key

key: convert to gradle setup hook

2 years ago

kissat

treewide: Remove indefinite article from meta.description

2 years ago

klee

klee: add mainProgram

2 years ago

lci

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

lean

Merge master into haskell-updates

2 years ago

lean2

Merge pull request #173933 from siraben/zchaff-init

3 years ago

lean4

treewide: remove unused with statements from maintainer lists

2 years ago

leo2

treewide: Remove indefinite article from meta.description

2 years ago

leo3

treewide: Remove indefinite article from meta.description

2 years ago

lingeling

lingeling: pre1_03b4860d -> pre1_708beb26

4 years ago

logisim

logisim: add darwin bundle

2 years ago

logisim-evolution

logisim-evolution: add darwin bundle

2 years ago

ltl2ba

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

mcrl2

treewide: Remove indefinite article from meta.description

2 years ago

mcy

pkgs.applications: remove unused args

4 years ago

metis-prover

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

minisat

Merge branch 'master' into remove-opensmt

5 years ago

monosat

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

msat

treewide: remove unused lib (and other) arguments

2 years ago

netlistsvg

Merge staging-next into staging

2 years ago

nuXmv

Merge master into staging-next

3 years ago

nusmv

treewide: Remove indefinite article from meta.description

2 years ago

open-wbo

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

opensmt

treewide: Remove indefinite article from meta.description

2 years ago

ott

treewide: Remove indefinite article from meta.description

2 years ago

picosat

Merge master into staging-next

2 years ago

poly

libpoly: 0.1.11 -> 0.1.13

2 years ago

potassco

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

prooftree

treewide: Remove indefinite article from meta.description

2 years ago

prover9

treewide: remove unused with statements from maintainer lists

2 years ago

proverif

proverif: 2.04 → 2.05

2 years ago

redprl

Merge pull request #272380 from chayleaf/gradle2

2 years ago

satallax

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago

saw-tools

Merge master into staging-next

3 years ago

sharpsat-td

treewide: Remove indefinite article from meta.description

2 years ago

spass

Merge branch 'master' into remove-opensmt

5 years ago

statverif

Merge branch 'master' into staging-next

3 years ago

stp

stp: add numinit as maintainer

2 years ago

surelog

treewide: fix uses of `repo = finalAttrs.pname`

2 years ago

symbiyosys

treewide: remove myself from packages I don’t use

2 years ago

symfpu

symfpu: install headers in $out/include, add a pkg-config file

2 years ago

tamarin-prover

Merge master into haskell-updates

2 years ago

tlaplus

treewide: Remove indefinite article from meta.description

2 years ago

tptp

Merge master into staging-next

3 years ago

twelf

treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix

5 years ago

uhdm

treewide: fix uses of `repo = finalAttrs.pname`

2 years ago

vampire

treewide: Remove the definite article from meta.description

2 years ago

verifast

Merge master into staging-next

3 years ago

verit

treewide: Remove indefinite article from meta.description

2 years ago

why3

treewide: Remove indefinite article from meta.description

2 years ago

workcraft

Merge pull request #322385 from r-ryantm/auto-update/cbmc

2 years ago

yices

Merge pull request #323534 from r-ryantm/auto-update/workcraft

2 years ago

z3

treewide: Remove indefinite article from meta.description

2 years ago

zchaff

Merge remote-tracking branch 'origin/master' into staging-next

2 years ago