index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
Commit message (
Expand
)
Author
Age
*
yices: use lib.splitString, not everyone has builtins.splitVersion
Will Dietz
2018-07-12
*
yices: simplify ln command
Will Dietz
2018-07-12
*
yices: fix symlink to match version of package
Will Dietz
2018-07-12
*
z3: move to multiple output packages
Austin Seipp
2018-07-12
*
Merge pull request #43333 from r-ryantm/auto-update/libpoly
Frederik Rietdijk
2018-07-11
|
\
|
*
libpoly: 0.1.4 -> 0.1.5
R. RyanTM
2018-07-11
*
|
yices: 2.5.4 -> 2.6.0
R. RyanTM
2018-07-11
|
/
*
monosat: update build to use handy new environment variable
Dan Peebles
2018-07-08
*
monosat: cbaf79cf -> 2deeadef
Dan Peebles
2018-07-08
*
monosat: init at 1nx3wh34
Dan Peebles
2018-07-08
*
Merge pull request #43071 from dtzWill/fix/vampire-portability
Will Dietz
2018-07-05
|
\
|
*
vampire: enable parallel building
Will Dietz
2018-07-05
|
*
vampire: portability fixes
Will Dietz
2018-07-05
|
*
vampire: use CC/CXX from env, instead of always g++
Will Dietz
2018-07-05
*
|
cvc4: 1.5 -> 1.6
Gabriel Ebner
2018-07-05
|
/
*
eprover: 2.0 -> 2.1
Gabriel Ebner
2018-07-05
*
vampire: init at 4.2.2
Gabriel Ebner
2018-07-05
*
clingo: 5.2.2 -> 5.3.0
R. RyanTM
2018-07-04
*
coq_8_8: 8.8.0 -> 8.8.1
Théo Zimmermann
2018-06-29
*
treewide: http -> https sources (#42676)
Silvan Mosberger
2018-06-28
*
treewide: http -> https (#42665)
Ryan Mulligan
2018-06-27
*
treewide: http -> https
Ryan Mulligan
2018-06-23
*
cryptoverif: 1.28 -> 2.00
R. RyanTM
2018-06-06
*
z3: 4.6.0 -> 4.7.1
Will Dietz
2018-05-30
*
celf: init at 2013-07-25 (#41141)
Ben Darwin
2018-05-28
*
proverif: 1.97pl1 -> 2.00
Vincent Laporte
2018-05-22
*
elan: 0.3.2 -> 0.5.0
Gabriel Ebner
2018-05-14
*
tamarin-prover: 1.3.1 -> 1.4.0
Austin Seipp
2018-05-07
*
Merge pull request #40113 from wchresta/tamarin/fix
Jörg Thalheim
2018-05-07
|
\
|
*
tamarin-prover: Fix compile issues
Wanja Chresta
2018-05-07
*
|
Merge pull request #40093 from r-ryantm/auto-update/lean
Gabriel Ebner
2018-05-07
|
\
\
|
|
/
|
/
|
|
*
lean: 3.3.0 -> 3.4.1
R. RyanTM
2018-05-07
*
|
symbiyosys: 2018.03.21 -> 2018.05.03
Austin Seipp
2018-05-03
|
/
*
treewide: remove platform assertions
Matthew Bauer
2018-05-03
*
Merge pull request #39529 from r-ryantm/auto-update/ott
Jörg Thalheim
2018-04-26
|
\
|
*
ott: 0.27 -> 0.28
R. RyanTM
2018-04-26
*
|
verifast: 14.5 -> 18.02 (#39480)
Michiel Derhaeg
2018-04-25
|
/
*
Merge pull request #38969 from vbgl/coq-findlib
Matthew Justin Bauer
2018-04-20
|
\
|
*
coq: fix installation of OCaml libraries
Vincent Laporte
2018-04-15
|
*
coq: move some attributes inside `passthru`
Vincent Laporte
2018-04-15
*
|
coq: 8.8+beta1 -> 8.8.0
Vincent Laporte
2018-04-18
*
|
Merge pull request #38589 from badi/tlatools
Jörg Thalheim
2018-04-17
|
\
\
|
*
|
tlaplusToolbox: init at 1.5.6
Badi Abdul-Wahid
2018-04-16
|
*
|
tlaps: init at 1.4.3
Badi Abdul-Wahid
2018-04-16
*
|
|
symbiyosys: larger meta.platforms
Vincent Laporte
2018-04-16
|
|
/
|
/
|
*
|
elan: 0.3.0 -> 0.3.2
Gabriel Ebner
2018-04-13
*
|
elan: add leanchecker proxy
Gabriel Ebner
2018-04-11
*
|
elan: 0.1.0 -> 0.3.0
Gabriel Ebner
2018-04-11
*
|
elan: init at 0.1.0
Gabriel Ebner
2018-04-10
*
|
Merge pull request #38260 from symphorien/tamarin-vim
Matthew Justin Bauer
2018-04-08
|
\
\
[next]