summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* 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
| |/
* / ltl2ba: 1.1 -> 1.2b1Ryan Mulligan2018-03-14
|/
* treewide: s/xlibs/xorg/g (#36889)volth2018-03-13
* clingo: fix build on non-sandboxed darwinVincent Laporte2018-03-12
* clingo: fix URLVincent Laporte2018-03-12
* tptp: 7.0.0 -> 7.1.0Michael Raskin2018-03-12
* symbiyosys: 2018.02.04 -> 2018.03.07Austin Seipp2018-03-08
* tamarin-prover: 1.3.0 -> 1.3.1wchresta2018-03-08
* Merge branch 'master'Vladimír Čunát2018-03-05
|\
| * tlaplus: init at 1.5.6Austin Seipp2018-03-02
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 08:53:14 +0000