tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
lol
0
fork
atom
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
at
23.11-beta
94 folders
Michael Raskin
Merge branch 'master' into remove-opensmt
5 years ago
f2210b72
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