index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
Commit message (
Expand
)
Author
Age
*
Merge pull request #277227 from r-ryantm/auto-update/cvc5
Weijia Wang
2024-01-03
|
\
|
*
cvc5: 1.0.9 -> 1.1.0
R. Ryantm
2023-12-28
*
|
z3_4_12: 4.12.2 -> 4.12.4
Lucas Van Laer
2023-12-31
|
/
*
Merge pull request #276854 from r-ryantm/auto-update/cadical
Fabián Heredia Montiel
2023-12-26
|
\
|
*
cadical: 1.9.1 -> 1.9.3
R. Ryantm
2023-12-26
*
|
Merge pull request #276940 from tejing1/cleanup-lean4
Mario Rodas
2023-12-26
|
\
\
|
*
|
lean4: clean up colliding files
Jeff Huffman
2023-12-26
*
|
|
Merge pull request #275586 from r-ryantm/auto-update/cvc5
Mario Rodas
2023-12-26
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
cvc5: 1.0.8 -> 1.0.9
R. Ryantm
2023-12-20
*
|
|
lean4: 4.3.0 -> 4.4.0
R. Ryantm
2023-12-22
|
|
/
|
/
|
*
|
Merge pull request #274496 from whonore/update-dafny-4.4.0
Guillaume Maudoux
2023-12-20
|
\
\
|
*
|
dafny: 4.3.0 -> 4.4.0
whonore
2023-12-15
*
|
|
coq_8_19: init at 8.19+rc1
Pierre Roux
2023-12-19
|
|
/
|
/
|
*
|
alt-ergo: fix build on darwin
Weijia Wang
2023-12-17
|
/
*
cadical: 1.9.0 -> 1.9.1
R. Ryantm
2023-12-15
*
Merge pull request #243497 from jvanbruegge/isabelle-2023
Weijia Wang
2023-12-10
|
\
|
*
isabelle-linter: 1.2.1 -> 2023-1.0.0
Jan van Brügge
2023-12-10
|
*
isabelle: 2022 -> 2023
Jan van Brügge
2023-10-06
|
*
naproche: 2022-10-24 -> unstable-2023-07-11
Jan van Brügge
2023-10-06
*
|
Merge pull request #271924 from stepbrobd/z3-solver
OTABI Tomoya
2023-12-10
|
\
\
|
*
|
python3Packages.z3-solver: rename from z3
Yifei Sun
2023-12-06
*
|
|
eprover: 3.0 -> 3.0.03
R. Ryantm
2023-12-09
*
|
|
Merge pull request #263288 from r-ryantm/auto-update/cryptominisat
Weijia Wang
2023-12-05
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
cryptominisat: 5.11.14 -> 5.11.15
R. Ryantm
2023-10-25
*
|
|
Merge pull request #271114 from vbgl/why3-1.7.0
Peder Bergebakken Sundt
2023-12-02
|
\
\
\
|
*
|
|
why3: 1.6.0 → 1.7.0
Vincent Laporte
2023-11-30
*
|
|
|
Merge pull request #271084 from marsam/update-lean4
Mario Rodas
2023-11-30
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
lean4: 4.2.0 -> 4.3.0
Mario Rodas
2023-11-29
*
|
|
|
acgtk: 1.5.4 → 2.0.0
Vincent Laporte
2023-11-30
|
/
/
/
*
|
|
surelog: 1.76 -> 1.80
Henner Zeller
2023-11-29
*
|
|
uhdm: 1.77 -> 1.80
Henner Zeller
2023-11-29
*
|
|
lean4: fix build on darwin
Mario Rodas
2023-11-23
*
|
|
cadical: 1.8.0 -> 1.9.0
R. Ryantm
2023-11-21
*
|
|
easycrypt: fix runtest command
Vincent Laporte
2023-11-20
*
|
|
hol_light: 2023-07-21 → 2023-11-03
Vincent Laporte
2023-11-20
*
|
|
eprover: update hash - target modified inplace
annalee
2023-11-17
*
|
|
Merge branch 'master' into staging-next
Vladimír Čunát
2023-11-16
|
\
\
\
|
*
\
\
Merge pull request #267664 from r-ryantm/auto-update/eprover
7c6f434c
2023-11-15
|
|
\
\
\
|
|
*
|
|
eprover: 2.6 -> 3.0
R. Ryantm
2023-11-15
*
|
|
|
|
Merge branch 'master' into staging-next
Vladimír Čunát
2023-11-15
|
\
|
|
|
|
|
*
|
|
|
abella: 2.0.7 -> 2.0.8
Chen
2023-11-14
|
|
/
/
/
*
|
|
|
Merge master into staging-next
github-actions[bot]
2023-11-12
|
\
|
|
|
|
*
|
|
Merge pull request #266486 from Luflosi/update/yosys
Pierre Bourdon
2023-11-12
|
|
\
\
\
|
|
*
|
|
abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13
Luflosi
2023-11-08
|
|
*
|
|
abc-verifier: cleanup
Luflosi
2023-11-08
|
|
*
|
|
abc-verifier: add Luflosi as maintainer
Luflosi
2023-11-08
*
|
|
|
|
Merge master into staging-next
github-actions[bot]
2023-11-11
|
\
|
|
|
|
|
*
|
|
|
treewide: fix redirected and broken URLs
Anthony Roussel
2023-11-11
|
|
/
/
/
*
|
|
|
Merge branch 'master' into staging-next
Adam Joseph
2023-11-08
|
\
|
|
|
|
*
|
|
treewide: change pythonForBuild to pythonOnBuildForHost
Adam Joseph
2023-11-05
[next]