nixpkgs/pkgs/applications/science/logic/ at netboot-syslinux-multiplatform · tjh.dev/nixpkgs

abc

abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23

2 years ago

abella

Merge branch 'master' into staging-next

3 years ago

acgtk

Merge pull request #220001 from wegank/isabelle-arm

2 years ago

aiger

treewide: stdenv.lib -> lib

5 years ago

alt-ergo

alt-ergo: 2.4.2 → 2.4.3

2 years ago

anders

anders: use Dune 3

3 years ago

aspino

aspino: remove patchShebangs

3 years ago

avy

treewide: move NIX_CFLAGS_COMPILE to the env attrset

2 years ago

beluga

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

3 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 remote-tracking branch 'origin/master' into staging-next

3 years ago

cbmc

Merge pull request #217206 from Artturin/stdenvimprovements1

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 pull request #220832 from wegank/glucose-bump

2 years ago

cryptominisat

Merge pull request #210627 from wizeman/u/fix-fstar

2 years ago

cryptoverif

Merge branch 'master' into staging-next

3 years ago

cubicle

cubicle: set env instead of postPatch

2 years ago

cvc3

cvc3: reenable stackprotector on aarch64-darwin

3 years ago

cvc4

cvc4: Fix build failure from new bash 5.2 feature

2 years ago

cvc5

cvc5: 1.0.4 -> 1.0.5

2 years ago

dafny

dafny: remove unused deps

2 years ago

drat-trim

Merge branch 'master' into remove-opensmt

5 years ago

easycrypt

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

2 years ago

ekrhyper

Merge branch 'master' into staging-next

3 years ago

elan

Merge pull request #227420 from GaetanLepage/torchbin-update

2 years ago

eprover

eprover: Add option to enable LFHOL reasoning

4 years ago

fast-downward

fast-downward: 22.06.1 -> 22.12.0

3 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

Merge branch 'master' into staging-next

3 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 pull request #210884 from vbgl/beluga-dune-3

3 years ago

klee

lit: move to python-modules

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

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

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 #178159 from risicle/ris-sharpsat-td

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

treewide: stdenv.lib -> lib

5 years ago

poly

libpoly: 0.1.10 -> 0.1.11

4 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 'master' into staging-next

3 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

2 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

surelog: 1.45 -> 1.57

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

Merge pull request #229008 from whonore/dafny-4

2 years ago

tlaplus

tlaplus: 1.7.2 -> 1.7.3

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

uhdm: 1.45 -> 1.57

2 years ago

vampire

Merge pull request #219606 from wegank/vampire-aarch64

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.3.9 -> 3.4.0

2 years ago

yices

yices: fix typo in comment

2 years ago

z3

treewide: python{ => .pythonForBuild}.interpreter

2 years ago

zchaff

zchaff: 2004.5.13 -> 2007.3.12

3 years ago