.. |
abc
|
treewide: add meta.mainProgram to many packages
|
2 years ago |
abella
|
abella: 2.0.6 -> 2.0.7
|
3 years ago |
acgtk
|
ocamlPackages.menhir: 20190626 → 20210419
|
3 years ago |
aiger
|
treewide: stdenv.lib -> lib
|
3 years ago |
alt-ergo
|
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
|
2 years ago |
anders
|
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
|
2 years ago |
aspino
|
aspino: 2017-03-09 -> 2018-03-24
|
2 years ago |
avy
|
treewide: stdenv.lib -> lib
|
3 years ago |
beluga
|
beluga: 2020-03-11 -> 1.0
|
3 years ago |
bitwuzla
|
bitwuzla: init at unstable-2021-07-01
|
3 years ago |
boolector
|
boolector: add patch fixing build on aarch64-linux
|
3 years ago |
btor2tools
|
treewide: stdenv.lib -> lib
|
3 years ago |
cadical
|
cadical: include C++ headers
|
3 years ago |
cedille
|
cedille: set no hydra platforms
|
3 years ago |
celf
|
…
|
|
clprover
|
treewide: update permanent url redirects
|
3 years ago |
coq
|
Revert "coqPackages: etc"
|
2 years ago |
cryptominisat
|
treewide: editorconfig fixes
|
3 years ago |
cryptoverif
|
cryptoverif: 2.04 -> 2.05
|
3 years ago |
cubicle
|
…
|
|
cvc3
|
…
|
|
cvc4
|
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
|
3 years ago |
cvc5
|
cvc5: init at 1.0.0
|
2 years ago |
drat-trim
|
…
|
|
easycrypt
|
easycrypt-runtest: init at 2022.04
|
2 years ago |
ekrhyper
|
ekrhyper: refactor
|
3 years ago |
elan
|
elan: 1.4.0 -> 1.4.1
|
2 years ago |
eprover
|
eprover: Add option to enable LFHOL reasoning
|
2 years ago |
fast-downward
|
fast-downward: substitute version, fix buildInputs, minor cleanup
|
2 years ago |
formula
|
formula: init at 2.0
|
2 years ago |
gappa
|
pkgs/applications: rename name to pname&version part 2
|
3 years ago |
glucose
|
…
|
|
hol
|
hol: expand platforms to unix
|
3 years ago |
hol_light
|
pkgs/applications: rename name to pname&version part 2
|
3 years ago |
iprover
|
treewide: fix double quoted strings in meta.description
|
3 years ago |
isabelle
|
isabelle: Make closer to upstream
|
2 years ago |
key
|
treewide: add meta.mainProgram to many packages
|
2 years ago |
kissat
|
kissat: init at 2.0.1
|
3 years ago |
klee
|
klee: build with klee-uclibc
|
2 years ago |
lci
|
treewide: fix double quoted strings in meta.description
|
3 years ago |
lean
|
lean: 3.41.0 -> 3.42.0
|
2 years ago |
leo2
|
treewide: remove *.upstream files from updateWalker
|
2 years ago |
leo3
|
leo3-bin: deprecate phases
|
3 years ago |
lingeling
|
lingeling: pre1_03b4860d -> pre1_708beb26
|
3 years ago |
logisim
|
treewide: switch all desktop file generators to new API
|
2 years ago |
logisim-evolution
|
treewide: switch all desktop file generators to new API
|
2 years ago |
ltl2ba
|
treewide: stdenv.lib -> lib
|
3 years ago |
mcrl2
|
qtbase: Check for wrapQtAppsHook in setupHook
|
3 years ago |
mcy
|
treewide: stdenv.lib -> lib
|
3 years ago |
metis-prover
|
…
|
|
minisat
|
…
|
|
monosat
|
python3Packages.monosat: disable failing tests
|
2 years ago |
naproche
|
naproche: 0.1.0.0 -> 2022-04-19
|
2 years ago |
nuXmv
|
nuXmv: fix darwin build
|
2 years ago |
open-wbo
|
pkgs/applications: rename name to pname&version part 2
|
3 years ago |
opensmt
|
opensmt: 2.3.0 -> 2.3.1
|
2 years ago |
ott
|
ott: 0.31 -> 0.32
|
2 years ago |
petrinizer
|
petrinizer: restrict platforms by sbv
|
3 years ago |
picosat
|
treewide: stdenv.lib -> lib
|
3 years ago |
poly
|
libpoly: 0.1.10 -> 0.1.11
|
2 years ago |
potassco
|
clingcon: fix build w/glibc-2.34
|
2 years ago |
prooftree
|
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
|
3 years ago |
prover9
|
fixup! prover9: convert patchPhase to postPatch, cleanup meta
|
3 years ago |
proverif
|
proverif: 2.03 → 2.04
|
3 years ago |
redprl
|
redprl: unstable-2017-03-28 -> unstable-2019-11-04
|
3 years ago |
sad
|
pkgs/applications: rename name to pname&version part 2
|
3 years ago |
satallax
|
treewide: remove all updateWalker/downloadURLRegexp
|
2 years ago |
saw-tools
|
saw-tools: remove phases
|
3 years ago |
spass
|
…
|
|
statverif
|
treewide: stdenv.lib -> lib
|
3 years ago |
stp
|
…
|
|
symbiyosys
|
treewide: add meta.mainProgram to many packages
|
2 years ago |
symfpu
|
symfpu: init at unstable-2019-05-17
|
2 years ago |
tamarin-prover
|
tamarin-prover: install emacs-mode
|
2 years ago |
tlaplus
|
tlaplusToolbox: use non-binary wrapper for wrapGAppsHook
|
2 years ago |
tptp
|
…
|
|
twelf
|
treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix
|
3 years ago |
vampire
|
vampire: 4.5.1 -> 4.6.1
|
2 years ago |
verifast
|
verifast: 19.12 -> 21.04
|
3 years ago |
verit
|
verit: 2016 -> 2021.06.2
|
2 years ago |
why3
|
treewide: rename name to pname&version
|
2 years ago |
workcraft
|
workcraft: 3.3.5 -> 3.3.6
|
2 years ago |
yices
|
yices: 2.6.2 -> 2.6.4
|
2 years ago |
z3
|
z3: Remove unused fetchpatch
|
2 years ago |