about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2021-05-01lean: 3.29.0 -> 3.30.0R. RyanTM1-2/+2
2021-04-29elan: 1.0.0 -> 1.0.2R. RyanTM1-3/+3
2021-04-27Merge pull request #120177 from r-ryantm/auto-update/elanGabriel Ebner1-5/+5
2021-04-27elan: 0.11.0 -> 1.0.0R. RyanTM1-5/+5
2021-04-27Merge pull request #120822 from r-ryantm/auto-update/leanGabriel Ebner1-2/+2
2021-04-27lean: 3.28.0 -> 3.29.0R. RyanTM1-2/+2
2021-04-26alt-ergo: 2.3.3 → 2.4.0Vincent Laporte1-6/+11
2021-04-22clingo: 5.4.1 -> 5.5.0R. RyanTM1-2/+2
2021-04-01beluga: 2020-03-11 -> 1.0Mario Rodas1-4/+4
2021-04-16coq_8_13: 8.13.1 → 8.13.2Vincent Laporte1-0/+1
2021-04-03libpoly: use python3Frederik Rietdijk1-2/+4
2021-04-03lean2: stay with python2Frederik Rietdijk1-2/+2
2021-03-26Merge pull request #117712 from gebner/elan0110Gabriel Ebner2-5/+69
2021-03-26elan: 0.10.3 -> 0.11.0Gabriel Ebner2-5/+69
2021-03-25Merge pull request #116630 from r-ryantm/auto-update/leanMario Rodas1-2/+2
2021-03-23coq: enable coqide on darwinPaul Liétar1-1/+1
2021-03-17lean: 3.27.0 -> 3.28.0R. RyanTM1-2/+2
2021-03-17treewide: gnome3.defaultIconTheme -> gnome3.adwaita-icon-themeSamuel Gräfenstein1-1/+1
2021-03-14tla-toolbox: 1.7.0 -> 1.7.1mucaho1-10/+16
2021-03-03treewide: add missing lib inputssternenseemann1-1/+1
2021-03-02coq_8_13: 8.13.0 → 8.13.1Vincent Laporte1-0/+1
2021-02-28lean: 3.26.0 -> 3.27.0R. RyanTM1-2/+2
2021-02-27Merge pull request #114539 from SuperSandro2000/z3-javaSandro1-0/+5
2021-02-27z3: Add output for Java bindings (*.jar and *.so)Lorenz Leutgeb1-0/+5
2021-02-26Merge master into staging-nextFrederik Rietdijk3-17/+18
2021-02-24acgtk: 1.5.1 → 1.5.2Vincent Laporte1-6/+6
2021-02-23hol: 10 -> 14Vladimir Serov1-8/+7
2021-02-23alt-ergo: use Dune 2Vincent Laporte1-3/+5
2021-02-19treewide: makeWrapper buildInputs to nativeBuildInputsBen Siraphob7-7/+12
2021-02-11Merge master into staging-nextgithub-actions[bot]1-0/+3
2021-02-10symbiyosys: fix the interpreter of the `sby` binary.David Anderson1-0/+3
2021-02-10Merge master into staging-nextgithub-actions[bot]1-23/+29
2021-02-09z3: 4.8.9 -> 4.8.10Fabian Affolter1-23/+29
2021-02-03Merge staging-next into staginggithub-actions[bot]1-1/+1
2021-02-03coq: 8.13+beta1 -> 8.13.0 (#109479)Jarl G. Taxerås Flaten1-1/+1
2021-01-31Merge staging-next into staginggithub-actions[bot]1-2/+2
2021-01-30treewide: update permanent url redirectsSandro Jäckel1-2/+2
2021-01-29Merge staging-next into staginggithub-actions[bot]1-2/+2
2021-01-29lean: 3.25.0 -> 3.26.0R. RyanTM1-2/+2
2021-01-28Merge staging-next into staginggithub-actions[bot]1-2/+4
2021-01-28Merge pull request #111003 from NieDzejkob/isabelle-vampireSandro1-2/+4
2021-01-28isabelle: provide perl LWP for remote_vampireJakub Kądziołka1-2/+4
2021-01-27Merge staging-next into staginggithub-actions[bot]2-2/+2
2021-01-27saw-tools: update license (#110920)Roland Coeurjoly1-1/+1
2021-01-27treewide: remove implicit use of stdenv.libBen Siraphob1-1/+1
2021-01-27Merge staging-next into staginggithub-actions[bot]1-1/+2
2021-01-27Merge pull request #110912 from siraben/stdenv-lib-inheritSandro1-1/+2
2021-01-27treewide: remove inherited stdenv.libBen Siraphob1-1/+2
2021-01-26Merge pull request #108888 from ttuegel/feature--staging--qt-no-mkDerivationThomas Tuegel1-0/+2
2021-01-25qtbase: Check for wrapQtAppsHook in setupHookThomas Tuegel1-0/+2
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-12 10:15:23 +0000