nixpkgs/pkgs/applications/science/logic/ at 22.05-pre

abc

Merge branch 'master' into remove-opensmt

5 years ago

abella

abella: 2.0.6 -> 2.0.7

4 years ago

acgtk

ocamlPackages.menhir: 20190626 → 20210419

4 years ago

aiger

treewide: stdenv.lib -> lib

5 years ago

alt-ergo

alt-ergo: 2.4.0 → 2.4.1

4 years ago

aspino

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

4 years ago

avy

treewide: stdenv.lib -> lib

5 years ago

beluga

beluga: 2020-03-11 -> 1.0

4 years ago

bitwuzla

bitwuzla: init at unstable-2021-07-01

4 years ago

boolector

boolector: add patch fixing build on aarch64-linux

4 years ago

btor2tools

treewide: stdenv.lib -> lib

5 years ago

cadical

Merge pull request #141541 from trofi/fix-yices-links

4 years ago

cedille

cedille: set no hydra platforms

4 years ago

celf

Merge branch 'master' into remove-opensmt

5 years ago

clprover

Merge staging-next into staging

5 years ago

coq

coq_8_14: 8.14+rc1 -> 8.14.0

4 years ago

cryptominisat

treewide: editorconfig fixes

5 years ago

cryptoverif

treewide: stdenv.lib -> lib

5 years ago

cubicle

Merge branch 'master' into remove-opensmt

5 years ago

cvc3

Merge branch 'master' into remove-opensmt

5 years ago

cvc4

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

5 years ago

drat-trim

Merge branch 'master' into remove-opensmt

5 years ago

ekrhyper

treewide: stdenv.lib -> lib

5 years ago

elan

Merge pull request #146243 from figsoda/treewide-rust-feature

4 years ago

eprover

eprover: 2.5 -> 2.6

4 years ago

fast-downward

Merge branch 'master' into remove-opensmt

5 years ago

gappa

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

4 years ago

glucose

Merge branch 'master' into remove-opensmt

5 years ago

hol

hol: expand platforms to unix

4 years ago

hol_light

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

4 years ago

iprover

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

5 years ago

isabelle

isabelle: Add desktop entry

4 years ago

jonprl

treewide: stdenv.lib -> lib

5 years ago

key

Merge branch 'master' into haskell-updates

4 years ago

kissat

kissat: init at 2.0.1

4 years ago

lci

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

5 years ago

lean

lean: 3.34.0 -> 3.35.0

4 years ago

lean2

lean2: stay with python2

4 years ago

leo2

leo2: 1.6.2 → 1.7.0

4 years ago

leo3

leo3-bin: deprecate phases

4 years ago

lingeling

lingeling: pre1_03b4860d -> pre1_708beb26

4 years ago

logisim

Merge pull request #130663 from symphorien/bitwuzla

4 years ago

logisim-evolution

logisim-evolution: 3.5.0 -> 3.7.1

4 years ago

ltl2ba

treewide: stdenv.lib -> lib

5 years ago

mcrl2

Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivation

5 years ago

mcy

treewide: stdenv.lib -> lib

5 years ago

metis-prover

Merge branch 'master' into remove-opensmt

5 years ago

minisat

Merge branch 'master' into remove-opensmt

5 years ago

monosat

treewide: refactor isi686 && isx86_64 -> isx86

4 years ago

open-wbo

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

4 years ago

opensmt

Merge pull request #144502 from r-ryantm/auto-update/opensmt

4 years ago

ott

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

5 years ago

otter

treewide: stdenv.lib -> lib

5 years ago

petrinizer

petrinizer: restrict platforms by sbv

4 years ago

picosat

treewide: stdenv.lib -> lib

5 years ago

poly

libpoly: 0.1.9 -> 0.1.10

4 years ago

potassco

treewide: remove meta.version

4 years ago

prooftree

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

5 years ago

prover9

Merge pull request #145056 from angustrau/logisim-evolution-3.7.1

4 years ago

proverif

proverif: 2.02pl1 → 2.03

4 years ago

redprl

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

4 years ago

sad

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

4 years ago

satallax

treewide: remove meta.version

4 years ago

saw-tools

Merge pull request #131463 from angustrau/logisim-evolution

4 years ago

spass

Merge branch 'master' into remove-opensmt

5 years ago

statverif

treewide: stdenv.lib -> lib

5 years ago

stp

Merge branch 'master' into remove-opensmt

5 years ago

symbiyosys

symbiyosys: 2020.08.22 -> 2021.09.13

4 years ago

tamarin-prover

tamarin-prover: 1.6.0 → 1.6.1

4 years ago

tlaplus

tlaplusToolbox: deprecate phases

4 years ago

tptp

Merge branch 'master' into remove-opensmt

5 years ago

twelf

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

5 years ago

vampire

Merge branch 'master' into remove-opensmt

5 years ago

verifast

verifast: 19.12 -> 21.04

4 years ago

verit

Merge branch 'master' into remove-opensmt

5 years ago

why3

why3: remove spurious camlp5 dependency

4 years ago

workcraft

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

4 years ago

yices

yices: drop symlink hack, avoid ldconfig on linux

4 years ago

z3

treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate

4 years ago