about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2018-07-16cvc4: fix homepage urlGabriel Ebner1-1/+1
2018-07-14z3: fix darwin build (#43526)Mario Rodas1-3/+1
2018-07-13Merge pull request #43445 from dtzWill/fix/yices-symlinkWill Dietz1-2/+4
2018-07-12abc-verifier: 20160818 -> 2018-07-08Will Dietz1-10/+11
2018-07-12yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz1-1/+1
2018-07-12yices: simplify ln commandWill Dietz1-1/+1
2018-07-12yices: fix symlink to match version of packageWill Dietz1-2/+4
2018-07-12libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz1-10/+13
2018-07-12z3: move to multiple output packagesAustin Seipp1-0/+14
2018-07-11Merge pull request #43333 from r-ryantm/auto-update/libpolyFrederik Rietdijk1-2/+2
2018-07-11yices: 2.5.4 -> 2.6.0R. RyanTM1-2/+2
2018-07-11libpoly: 0.1.4 -> 0.1.5R. RyanTM1-2/+2
2018-07-08monosat: update build to use handy new environment variableDan Peebles1-2/+5
2018-07-08monosat: cbaf79cf -> 2deeadefDan Peebles1-11/+2
2018-07-08monosat: init at 1nx3wh34Dan Peebles1-0/+73
2018-07-05Merge pull request #43071 from dtzWill/fix/vampire-portabilityWill Dietz1-2/+25
2018-07-05cvc4: 1.5 -> 1.6Gabriel Ebner1-5/+5
2018-07-05vampire: enable parallel buildingWill Dietz1-0/+2
2018-07-05vampire: portability fixesWill Dietz1-1/+22
2018-07-05vampire: use CC/CXX from env, instead of always g++Will Dietz1-1/+1
2018-07-05eprover: 2.0 -> 2.1Gabriel Ebner1-6/+2
2018-07-05vampire: init at 4.2.2Gabriel Ebner1-0/+36
2018-07-04clingo: 5.2.2 -> 5.3.0R. RyanTM1-2/+2
2018-06-29coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann1-0/+1
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger10-10/+10
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-07 13:47:42 +0000