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
*
coq_8_19: 8.19.0 → 8.19.1
Vincent Laporte
2024-03-12
*
Revert "elan: revert temporary directory creation"
Joachim Breitner
2024-03-09
*
fix: elan: use relative paths in wrapper script
Joachim Breitner
2024-03-09
*
Merge pull request #292724 from r-ryantm/auto-update/cvc5
Weijia Wang
2024-03-08
|
\
|
*
cvc5: 1.1.1 -> 1.1.2
R. Ryantm
2024-03-02
*
|
Merge pull request #287372 from r-ryantm/auto-update/cryptominisat
Weijia Wang
2024-03-07
|
\
\
|
*
|
cryptominisat: 5.11.15 -> 5.11.21
R. Ryantm
2024-02-09
*
|
|
elan: revert temporary directory creation
Mario Rodas
2024-03-07
*
|
|
opensmt: 2.5.2 -> 2.6.0
R. Ryantm
2024-03-07
*
|
|
Merge pull request #289177 from r-ryantm/auto-update/clingcon
Weijia Wang
2024-03-06
|
\
\
\
|
*
|
|
clingcon: 5.2.0 -> 5.2.1
R. Ryantm
2024-02-16
*
|
|
|
cadical: 1.9.4 -> 1.9.5
R. Ryantm
2024-03-06
*
|
|
|
lean4: 4.6.0 -> 4.6.1
Mario Rodas
2024-03-04
|
|
_
|
/
|
/
|
|
*
|
|
lean4: 4.5.0 -> 4.6.0
Mario Rodas
2024-02-28
*
|
|
Merge master into staging-next
github-actions[bot]
2024-02-23
|
\
\
\
|
*
|
|
elan: 3.1.0 -> 3.1.1
Mario Rodas
2024-02-22
*
|
|
|
boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
Simon Hollingshead
2024-02-22
|
/
/
/
*
|
|
Merge pull request #289941 from marsam/update-elan
Mario Rodas
2024-02-19
|
\
\
\
|
*
|
|
elan: 3.0.0 -> 3.1.0
Mario Rodas
2024-02-19
*
|
|
|
clingo: 5.7.0 -> 5.7.1
R. Ryantm
2024-02-19
|
/
/
/
*
/
/
clingo: 5.6.2 -> 5.7.0
R. Ryantm
2024-02-16
|
/
/
*
|
Merge pull request #288470 from McSinyx/stp-u8
Pol Dellaiera
2024-02-15
|
\
\
|
*
|
stp: fix build failure
Nguyễn Gia Phong
2024-02-13
*
|
|
Merge pull request #287601 from trofi/stp-gcc-13-fix
Mario Rodas
2024-02-14
|
\
\
\
|
*
|
|
stp: fix the build against `gcc-13`
Sergei Trofimovich
2024-02-09
|
|
|
/
|
|
/
|
*
|
|
cryptoverif: 2.07 → 2.08pl1
Vincent Laporte
2024-02-13
|
|
/
|
/
|
*
|
Merge pull request #287604 from trofi/lean3-mark-broken
Mario Rodas
2024-02-11
|
\
\
|
*
|
lean3: fix `gcc-13` build failure)
Sergei Trofimovich
2024-02-11
|
|
/
*
/
mcrl2: 202206 -> 202307
Sergei Trofimovich
2024-02-10
|
/
*
Merge pull request #284008 from r-ryantm/auto-update/workcraft
Weijia Wang
2024-02-04
|
\
|
*
workcraft: 3.4.1 -> 3.4.2
R. Ryantm
2024-01-26
*
|
abella: update url, refactor to finalAttrs style
Ben Darwin
2024-02-03
*
|
Merge pull request #285422 from marsam/update-lean4
Mario Rodas
2024-02-01
|
\
\
|
*
|
lean4: add version tester
Mario Rodas
2024-02-01
|
*
|
lean4: 4.4.0 -> 4.5.0
Mario Rodas
2024-02-01
*
|
|
Merge pull request #284969 from marsam/update-z3_4_12
Mario Rodas
2024-01-31
|
\
\
\
|
|
/
/
|
/
|
|
|
*
|
z3_4_12: 4.12.4 -> 4.12.5
Mario Rodas
2024-01-30
*
|
|
Merge pull request #283906 from ConnorBaker/feat/egglog-unstable-2024-01-26
figsoda
2024-01-30
|
\
\
\
|
*
|
|
egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26
Connor Baker
2024-01-26
|
|
|
/
|
|
/
|
*
|
|
Merge pull request #284834 from wegank/btor2tools-gcc-13
Nick Cao
2024-01-30
|
\
\
\
|
|
_
|
/
|
/
|
|
|
*
|
btor2tools: fix build with gcc 13
Weijia Wang
2024-01-29
*
|
|
cvc5: 1.1.0 -> 1.1.1
R. Ryantm
2024-01-30
|
/
/
*
|
why3: move the OCaml library to its own dev output
Vincent Laporte
2024-01-29
*
|
why3: make it easy to disable IDE support
Vincent Laporte
2024-01-29
*
|
why3: 1.7.0 → 1.7.1
Vincent Laporte
2024-01-29
*
|
coq: 8.19+rc1 -> 8.19.0
Pierre Roux
2024-01-26
|
/
*
easycrypt: 2023.09 -> 2024.01
R. Ryantm
2024-01-18
*
msat: init at 0.9.1
Vincent Laporte
2024-01-16
*
cadical: 1.9.3 -> 1.9.4
R. Ryantm
2024-01-12
*
iprover: 3.1 → 3.8.1
Vincent Laporte
2024-01-10
[next]