about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2018-06-27treewide: http -> https (#42665)Ryan Mulligan1-1/+1
2018-06-23treewide: http -> httpsRyan Mulligan2-2/+2
2018-06-06cryptoverif: 1.28 -> 2.00R. RyanTM1-2/+2
2018-05-30z3: 4.6.0 -> 4.7.1Will Dietz1-3/+3
2018-05-28celf: init at 2013-07-25 (#41141)Ben Darwin1-0/+36
2018-05-22proverif: 1.97pl1 -> 2.00Vincent Laporte1-4/+4
2018-05-14elan: 0.3.2 -> 0.5.0Gabriel Ebner1-2/+2
2018-05-07tamarin-prover: 1.3.1 -> 1.4.0Austin Seipp1-5/+5
2018-05-07Merge pull request #40113 from wchresta/tamarin/fixJörg Thalheim1-3/+12
2018-05-07tamarin-prover: Fix compile issuesWanja Chresta1-3/+12
2018-05-07Merge pull request #40093 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
2018-05-07lean: 3.3.0 -> 3.4.1R. RyanTM1-2/+2
2018-05-03symbiyosys: 2018.03.21 -> 2018.05.03Austin Seipp1-3/+3
2018-05-03treewide: remove platform assertionsMatthew Bauer1-1/+0
2018-04-26Merge pull request #39529 from r-ryantm/auto-update/ottJörg Thalheim1-2/+2
2018-04-26ott: 0.27 -> 0.28R. RyanTM1-2/+2
2018-04-25verifast: 14.5 -> 18.02 (#39480)Michiel Derhaeg1-9/+15
2018-04-20Merge pull request #38969 from vbgl/coq-findlibMatthew Justin Bauer1-4/+5
2018-04-18coq: 8.8+beta1 -> 8.8.0Vincent Laporte1-1/+1
2018-04-17Merge pull request #38589 from badi/tlatoolsJörg Thalheim2-0/+133
2018-04-16tlaplusToolbox: init at 1.5.6Badi Abdul-Wahid1-0/+77
2018-04-16tlaps: init at 1.4.3Badi Abdul-Wahid1-0/+56
2018-04-16symbiyosys: larger meta.platformsVincent Laporte1-1/+1
2018-04-15coq: fix installation of OCaml librariesVincent Laporte1-0/+3
2018-04-15coq: move some attributes inside `passthru`Vincent Laporte1-4/+2
2018-04-13elan: 0.3.0 -> 0.3.2Gabriel Ebner1-2/+2
2018-04-11elan: add leanchecker proxyGabriel Ebner1-1/+1
2018-04-11elan: 0.1.0 -> 0.3.0Gabriel Ebner1-3/+3
2018-04-10elan: init at 0.1.0Gabriel Ebner1-0/+44
2018-04-08Merge pull request #38260 from symphorien/tamarin-vimMatthew Justin Bauer1-0/+3
2018-04-07nixpkgs: remove z3 4.5.0Austin Seipp1-31/+0
2018-04-06Merge pull request #38416 from bcdarwin/belugaJörg Thalheim1-0/+34
2018-04-04beluga: init at 20180403Ben Darwin1-0/+34
2018-04-04abella: 2.0.4 -> 2.0.5Ben Darwin1-2/+2
2018-03-31Merge pull request #37465 from timor/workcraftMatthew Justin Bauer1-0/+33
2018-03-31tamarin-prover: install vim syntax highlighting filesSymphorien Gibol1-0/+3
2018-03-23Merge pull request #37591 from vbgl/coq-88beta1John Wiegley1-3/+3
2018-03-24picosat: fix darwin buildDaiderd Jordan1-0/+3
2018-03-21symbiyosys: 2018.03.07 -> 2018.03.21Austin Seipp1-4/+4
2018-03-21coq: init at 8.8+beta1Vincent Laporte1-3/+3
2018-03-21workcraft: init at 3.1.9timor1-0/+33
2018-03-17Merge pull request #36933 from Ma27/fix-aspinoGabriel Ebner1-7/+19
2018-03-17aspino: fix buildMaximilian Bosch1-7/+19
2018-03-14ltl2ba: 1.1 -> 1.2b1Ryan Mulligan1-2/+2
2018-03-13treewide: s/xlibs/xorg/g (#36889)volth1-1/+1
2018-03-12clingo: fix build on non-sandboxed darwinVincent Laporte1-0/+2
2018-03-12clingo: fix URLVincent Laporte1-5/+6
2018-03-12tptp: 7.0.0 -> 7.1.0Michael Raskin1-2/+2
2018-03-08symbiyosys: 2018.02.04 -> 2018.03.07Austin Seipp1-3/+3
2018-03-08tamarin-prover: 1.3.0 -> 1.3.1wchresta1-3/+3
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-01 17:36:37 +0000