about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2020-04-09lean: 3.7.2 -> 3.8.0Mario Rodas1-2/+2
2020-04-09libpoly: fix srcJonathan Ringer1-2/+3
2020-04-09libpoly: 0.1.7 -> 0.1.8R. RyanTM1-3/+3
2020-04-08alt-ergo: 2.3.1 → 2.3.2Vincent Laporte1-5/+4
2020-04-05coq_8_11: 8.11.0 → 8.11.1Vincent Laporte1-0/+1
2020-04-05cadical: init at 1.2.1Narazaki, Shuji1-0/+29
2020-03-25mcy: 2020.03.16 -> 2020.03.21Austin Seipp1-3/+3
2020-03-25symbiyosys: 2020.02.11 -> 2020.03.24Austin Seipp1-3/+3
2020-03-24alt-ergo: 2.3.0 → 2.3.1Vincent Laporte1-11/+33
2020-03-22lean: 3.7.0 -> 3.7.2Mario Rodas1-2/+2
2020-03-19ocamlPackages.camlp5: 7.10 → 7.11Vincent Laporte1-1/+6
2020-03-17mcy: 2020.02.05 -> 2020.03.16Austin Seipp1-7/+10
2020-03-17symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp1-6/+6
2020-03-17yosys: 2020.02.25 -> 2020.03.16Austin Seipp1-21/+18
2020-03-14lean: 3.6.1 -> 3.7.0Mario Rodas1-2/+3
2020-03-09Merge pull request #80719 from mucaho/feature/clingcon_initMichael Raskin1-0/+43
2020-03-08clingcon: init at 3.3.0mucaho1-0/+43
2020-03-08Merge pull request #81796 from JohnAZoidberg/satallax-gcc9Maximilian Bosch2-0/+26
2020-03-07acgtk: 1.5.0 → 1.5.1 (#81539)Vincent Laporte1-5/+6
2020-03-06elan: v0.8.0 tag was force-pushed by upstreamGabriel Ebner1-2/+2
2020-03-06elan: 0.7.5 -> 0.8.0Gabriel Ebner1-3/+3
2020-03-06js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)Joachim Breitner1-2/+8
2020-03-05Merge pull request #81722 from r-ryantm/auto-update/workcraftMario Rodas1-3/+3
2020-03-05satallax: Fix build with GCC9Daniel Schaefer2-0/+26
2020-03-04workcraft: 3.2.5 -> 3.2.6R. RyanTM1-3/+3
2020-03-04Merge pull request #81692 from r-ryantm/auto-update/leanGabriel Ebner1-3/+3
2020-03-04lean: 3.6.0 -> 3.6.1R. RyanTM1-3/+3
2020-03-03python3Packages.monosat: Fix hashAiken Cairncross1-1/+1
2020-03-03python3Packages.monosat: Fix Python 3.8 buildAiken Cairncross1-7/+17
2020-02-27mcy: init at 2020.02.05Austin Seipp1-0/+41
2020-02-27symbiyosys: fix calls to external programsAustin Seipp1-12/+24
2020-02-26lean: 3.5.1 -> 3.6.0Mario Rodas1-2/+2
2020-02-19elan: upgrade cargo fetcher and cargoSha256Benjamin Hipple1-7/+4
2020-02-15lean: 3.4.2 -> 3.5.1Junyoung Clare Jang1-3/+4
2020-02-13treewide: change fetchCargoTarball default to opt-outBenjamin Hipple1-0/+3
2020-02-09verifast: 18.02 -> 19.12R. RyanTM1-2/+2
2020-02-09Merge pull request #79479 from r-ryantm/auto-update/workcraftRyan Mulligan1-2/+2
2020-02-09iprover: 2018_Jul_24_11h -> 3.1Jannik Vierling1-3/+3
2020-02-08symbiyosys: 2019.10.11 -> 2020.02.08Emily1-5/+5
2020-02-07workcraft: 3.1.9 -> 3.2.5R. RyanTM1-2/+2
2020-02-01abc-verifier: passthru revFlorian Klink1-2/+6
2020-02-01abc-verifier: 2018-07-08 -> 2020-01-11Florian Klink1-3/+3
2020-01-31coqPackages_8_11.coq: 8.11+β1 → 8.11.0Vincent Laporte1-1/+1
2020-01-31coq: disable CoqIDE on Darwin for Coq ≥ 8.10Vincent Laporte1-1/+1
2020-01-30saw-tools: use default llvmLuka Blaskovic1-2/+2
2020-01-29Merge pull request #78521 from r-ryantm/auto-update/ottMario Rodas1-2/+2
2020-01-26ott: 0.29 -> 0.30R. RyanTM1-2/+2
2020-01-21Renamed maintainer lucas8 -> dwarfmasterDwarfMaster1-1/+1
2019-12-31treewide: NIX_*_COMPILE -> stringRobin Gloster1-2/+2
2019-12-30Merge gcc-9 into staging (#68029)Frederik Rietdijk5-112/+11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-08 07:26:10 +0000