nixpkgs/pkgs/applications/science/logic/ at 23.11-beta

abc

abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13

2 years ago

abella

Merge branch 'master' into staging-next

2 years ago

acgtk

ocamlPackages.mtime: create 1.x fork for compat

2 years ago

aiger

Merge master into staging-next

2 years ago

alt-ergo

Merge staging-next into staging

2 years ago

anders

Merge pull request #241120 from jiegec/cbmc

2 years ago

aspino

aspino: remove patchShebangs

3 years ago

avy

treewide: move NIX_CFLAGS_COMPILE to the env attrset

3 years ago

beluga

Merge pull request #256676 from r-ryantm/auto-update/beluga

2 years ago

bitwuzla

Merge pull request #210884 from vbgl/beluga-dune-3

3 years ago

boolector

Merge pull request #210884 from vbgl/beluga-dune-3

3 years ago

btor2tools

treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'

3 years ago

cadical

Merge master into staging-next

2 years ago

cbmc

Merge pull request #254490 from Vtec234/master

2 years ago

cedille

Merge pull request #209816 from Artturin/deprecate-top-level-platform-aliases

3 years ago

celf

Merge branch 'master' into remove-opensmt

5 years ago

clprover

Merge staging-next into staging

5 years ago

coq

Merge master into staging-next

2 years ago

cryptominisat

cryptominisat: 5.11.12 -> 5.11.14

2 years ago

cryptoverif

cryptoverif: 2.05 -> 2.07

2 years ago

cubicle

cubicle: set env instead of postPatch

2 years ago

cvc3

Merge master into staging-next

2 years ago

cvc4

treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType

2 years ago

cvc5

Merge staging-next into staging

2 years ago

dafny

dafny: 4.2.0 -> 4.3.0

2 years ago

drat-trim

Update pkgs/applications/science/logic/drat-trim/default.nix

2 years ago

easycrypt

easycrypt: fix runtest command

2 years ago

egglog

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

2 years ago

ekrhyper

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

2 years ago

elan

elan: 2.0.1 -> 3.0.0

2 years ago

eprover

eprover: update hash - target modified inplace

2 years ago

fast-downward

fast-downward: 22.12.0 -> 23.06.0

2 years ago

formula

treewide: update all dotnet lockfiles

3 years ago

gappa

pkgs/applications: rename name to pname&version part 2

4 years ago

glucose

glucose: 4.1 -> 4.2.1

2 years ago

hol

Merge pull request #164779 from collares/lean2

3 years ago

hol_light

hol_light: 2023-07-21 → 2023-11-03

2 years ago

iprover

Merge branch 'master' into staging-next

3 years ago

isabelle

isabelle-components.isabelle-linter: add platforms

2 years ago

key

treewide: add meta.mainProgram to many packages

3 years ago

kissat

Merge master into staging-next

2 years ago

klee

treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType

2 years ago

lci

Merge pull request #110487 from r-ryantm/auto-update/lean

5 years ago

lean

lean: 3.50.3 -> 3.51.0

2 years ago

lean2

Merge pull request #173933 from siraben/zchaff-init

3 years ago

lean4

Merge master into staging-next

2 years ago

leo2

leo2: add darwin support

2 years ago

leo3

treewide: set sourceProvenance for packages containing downloaded jars

3 years ago

lingeling

lingeling: pre1_03b4860d -> pre1_708beb26

4 years ago

logisim

treewide: set sourceProvenance for packages containing downloaded jars

3 years ago

logisim-evolution

logisim-evolution: 3.7.2 -> 3.8.0

3 years ago

ltl2ba

treewide: stdenv.lib -> lib

5 years ago

mcrl2

mcrl2: 201707 -> 202206

3 years ago

mcy

pkgs.applications: remove unused args

4 years ago

metis-prover

Merge pull request #206494 from r-ryantm/auto-update/fast-downward

3 years ago

minisat

Merge branch 'master' into remove-opensmt

5 years ago

monosat

Merge pull request #210884 from vbgl/beluga-dune-3

3 years ago

naproche

naproche: 2022-04-19 -> 2022-10-24

3 years ago

netlistsvg

Merge staging-next into staging

2 years ago

nuXmv

Merge master into staging-next

3 years ago

nusmv

nusmv: init at 2.6.0

3 years ago

open-wbo

Merge pull request #164779 from collares/lean2

3 years ago

opensmt

Merge pull request #239624 from Stunkymonkey/use-optionalString-then

2 years ago

ott

Merge branch 'master' into staging-next

3 years ago

petrinizer

petrinizer: mark as broken because sbv no longer builds

3 years ago

picosat

Merge master into staging-next

2 years ago

poly

libpoly: 0.1.11 -> 0.1.13

2 years ago

potassco

clingo: 5.6.1 -> 5.6.2

3 years ago

prooftree

Merge branch 'master' into staging-next

3 years ago

prover9

licenses: remove gpl1

3 years ago

proverif

Merge branch 'staging' into staging-next

2 years ago

redprl

redprl: unstable-2017-03-28 -> unstable-2019-11-04

4 years ago

satallax

treewide: move NIX_CFLAGS_COMPILE to the env attrset

3 years ago

saw-tools

Merge master into staging-next

3 years ago

sharpsat-td

sharpsat-td: patch with updated version of mpreal/mpfrc++

2 years ago

spass

Merge branch 'master' into remove-opensmt

5 years ago

statverif

Merge branch 'master' into staging-next

3 years ago

stp

Merge branch 'master' into remove-opensmt

5 years ago

surelog

Merge pull request #258431 from pbsds/stabilize-patches

2 years ago

symbiyosys

Merge pull request #210884 from vbgl/beluga-dune-3

3 years ago

symfpu

symfpu: init at unstable-2019-05-17

3 years ago

tamarin-prover

tamarin-prover: 1.6.1 -> 1.8.0

2 years ago

tlaplus

tlaplus18: init at 1.8.0

3 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

Merge branch 'master' into staging-next

2 years ago

vampire

vampire: make patch urls reproducible

2 years ago

verifast

Merge master into staging-next

3 years ago

verit

Merge staging-next into staging

3 years ago

why3

why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986)

2 years ago

workcraft

workcraft: 3.4.0 -> 3.4.1

2 years ago

yices

yices: fix typo in comment

2 years ago

z3

Merge branch 'master' into staging-next

2 years ago

zchaff

zchaff: 2004.5.13 -> 2007.3.12

3 years ago