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 #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
*
|
Merge branch 'master' into staging-next
Weijia Wang
2023-11-04
|
\
|
|
*
uhdm: 1.76 -> 1.77
R. Ryantm
2023-11-04
*
|
Merge master into staging-next
github-actions[bot]
2023-11-02
|
\
|
|
*
coq: fix hompage url
Pablo Ovelleiro Corral
2023-11-02
*
|
Merge master into staging-next
github-actions[bot]
2023-10-31
|
\
|
|
*
lean4: 4.1.0 -> 4.2.0
Mario Rodas
2023-10-30
*
|
aiger: fix build with clang 16
Randy Eckenrode
2023-10-27
*
|
Merge branch 'staging' into staging-next
Vladimír Čunát
2023-10-26
|
\
\
|
|
/
|
/
|
|
*
Merge staging-next into staging
github-actions[bot]
2023-10-19
|
|
\
|
*
\
Merge pull request #258431 from pbsds/stabilize-patches
Artturi
2023-10-19
|
|
\
\
|
|
*
|
vampire: make patch urls reproducible
Peder Bergebakken Sundt
2023-10-09
*
|
|
|
proverif: 2.04 → 2.05
Vincent Laporte
2023-10-23
|
|
_
|
/
|
/
|
|
*
|
|
alt-ergo: 2.5.1 -> 2.5.2
R. Ryantm
2023-10-19
|
/
/
*
|
surelog: 1.73 -> 1.76
Henner Zeller
2023-10-15
*
|
uhdm: 1.74 -> 1.76
Henner Zeller
2023-10-15
*
|
Merge pull request #260203 from wegank/cryptoverif-bump
Weijia Wang
2023-10-10
|
\
\
|
*
|
cryptoverif: 2.05 -> 2.07
Weijia Wang
2023-10-10
*
|
|
kissat: 3.1.0 -> 3.1.1
R. Ryantm
2023-10-10
*
|
|
Merge pull request #260039 from r-ryantm/auto-update/cadical
Ryan Mulligan
2023-10-10
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
cadical: 1.5.3 -> 1.8.0
R. Ryantm
2023-10-09
|
|
/
*
|
Merge pull request #259398 from whonore/update-dafny-4.3.0
Guillaume Maudoux
2023-10-09
|
\
\
|
|
/
|
/
|
|
*
dafny: 4.2.0 -> 4.3.0
whonore
2023-10-06
*
|
abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13
Luflosi
2023-10-07
|
/
*
cryptominisat: 5.11.12 -> 5.11.14
R. Ryantm
2023-10-04
[next]