about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
...
| * vampire: use CC/CXX from env, instead of always g++Will Dietz2018-07-05
* | cvc4: 1.5 -> 1.6Gabriel Ebner2018-07-05
|/
* eprover: 2.0 -> 2.1Gabriel Ebner2018-07-05
* vampire: init at 4.2.2Gabriel Ebner2018-07-05
* clingo: 5.2.2 -> 5.3.0R. RyanTM2018-07-04
* coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann2018-06-29
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* treewide: http -> https (#42665)Ryan Mulligan2018-06-27
* treewide: http -> httpsRyan Mulligan2018-06-23
* cryptoverif: 1.28 -> 2.00R. RyanTM2018-06-06
* z3: 4.6.0 -> 4.7.1Will Dietz2018-05-30
* celf: init at 2013-07-25 (#41141)Ben Darwin2018-05-28
* proverif: 1.97pl1 -> 2.00Vincent Laporte2018-05-22
* elan: 0.3.2 -> 0.5.0Gabriel Ebner2018-05-14
* tamarin-prover: 1.3.1 -> 1.4.0Austin Seipp2018-05-07
* Merge pull request #40113 from wchresta/tamarin/fixJörg Thalheim2018-05-07
|\
| * tamarin-prover: Fix compile issuesWanja Chresta2018-05-07
* | Merge pull request #40093 from r-ryantm/auto-update/leanGabriel Ebner2018-05-07
|\ \ | |/ |/|
| * lean: 3.3.0 -> 3.4.1R. RyanTM2018-05-07
* | symbiyosys: 2018.03.21 -> 2018.05.03Austin Seipp2018-05-03
|/
* treewide: remove platform assertionsMatthew Bauer2018-05-03
* Merge pull request #39529 from r-ryantm/auto-update/ottJörg Thalheim2018-04-26
|\
| * ott: 0.27 -> 0.28R. RyanTM2018-04-26
* | verifast: 14.5 -> 18.02 (#39480)Michiel Derhaeg2018-04-25
|/
* Merge pull request #38969 from vbgl/coq-findlibMatthew Justin Bauer2018-04-20
|\
| * coq: fix installation of OCaml librariesVincent Laporte2018-04-15
| * coq: move some attributes inside `passthru`Vincent Laporte2018-04-15
* | coq: 8.8+beta1 -> 8.8.0Vincent Laporte2018-04-18
* | Merge pull request #38589 from badi/tlatoolsJörg Thalheim2018-04-17
|\ \
| * | tlaplusToolbox: init at 1.5.6Badi Abdul-Wahid2018-04-16
| * | tlaps: init at 1.4.3Badi Abdul-Wahid2018-04-16
* | | symbiyosys: larger meta.platformsVincent Laporte2018-04-16
| |/ |/|
* | elan: 0.3.0 -> 0.3.2Gabriel Ebner2018-04-13
* | elan: add leanchecker proxyGabriel Ebner2018-04-11
* | elan: 0.1.0 -> 0.3.0Gabriel Ebner2018-04-11
* | elan: init at 0.1.0Gabriel Ebner2018-04-10
* | Merge pull request #38260 from symphorien/tamarin-vimMatthew Justin Bauer2018-04-08
|\ \
| * | tamarin-prover: install vim syntax highlighting filesSymphorien Gibol2018-03-31
* | | nixpkgs: remove z3 4.5.0Austin Seipp2018-04-07
| |/ |/|
* | Merge pull request #38416 from bcdarwin/belugaJörg Thalheim2018-04-06
|\ \
| * | beluga: init at 20180403Ben Darwin2018-04-04
* | | abella: 2.0.4 -> 2.0.5Ben Darwin2018-04-04
|/ /
* | Merge pull request #37465 from timor/workcraftMatthew Justin Bauer2018-03-31
|\ \
| * | workcraft: init at 3.1.9timor2018-03-21
* | | Merge pull request #37591 from vbgl/coq-88beta1John Wiegley2018-03-23
|\ \ \
| * | | coq: init at 8.8+beta1Vincent Laporte2018-03-21
| | |/ | |/|
* | | picosat: fix darwin buildDaiderd Jordan2018-03-24
* | | symbiyosys: 2018.03.07 -> 2018.03.21Austin Seipp2018-03-21
| |/ |/|
* | Merge pull request #36933 from Ma27/fix-aspinoGabriel Ebner2018-03-17
|\ \
| * | aspino: fix buildMaximilian Bosch2018-03-17
| |/
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-25 08:00:53 +0000