summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* verifast: change license to MITPavol Rusnak2020-04-23
* Merge pull request #84535 from bcdarwin/update-belugaBenjamin Hipple2020-04-19
|\
| * beluga: 20180403 -> unstable-2020-03-11Ben Darwin2020-04-19
* | lean: 3.8.0 -> 3.9.0Mario Rodas2020-04-18
|/
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* lean: 3.7.2 -> 3.8.0Mario Rodas2020-04-09
* libpoly: fix srcJonathan Ringer2020-04-09
* libpoly: 0.1.7 -> 0.1.8R. RyanTM2020-04-09
* alt-ergo: 2.3.1 → 2.3.2Vincent Laporte2020-04-08
* coq_8_11: 8.11.0 → 8.11.1Vincent Laporte2020-04-05
* cadical: init at 1.2.1Narazaki, Shuji2020-04-05
* mcy: 2020.03.16 -> 2020.03.21Austin Seipp2020-03-25
* symbiyosys: 2020.02.11 -> 2020.03.24Austin Seipp2020-03-25
* alt-ergo: 2.3.0 → 2.3.1Vincent Laporte2020-03-24
* lean: 3.7.0 -> 3.7.2Mario Rodas2020-03-22
* ocamlPackages.camlp5: 7.10 → 7.11Vincent Laporte2020-03-19
* mcy: 2020.02.05 -> 2020.03.16Austin Seipp2020-03-17
* symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp2020-03-17
* yosys: 2020.02.25 -> 2020.03.16Austin Seipp2020-03-17
* lean: 3.6.1 -> 3.7.0Mario Rodas2020-03-14
* Merge pull request #80719 from mucaho/feature/clingcon_initMichael Raskin2020-03-09
|\
| * clingcon: init at 3.3.0mucaho2020-03-08
* | Merge pull request #81796 from JohnAZoidberg/satallax-gcc9Maximilian Bosch2020-03-08
|\ \
| * | satallax: Fix build with GCC9Daniel Schaefer2020-03-05
* | | acgtk: 1.5.0 → 1.5.1 (#81539)Vincent Laporte2020-03-07
* | | elan: v0.8.0 tag was force-pushed by upstreamGabriel Ebner2020-03-06
* | | elan: 0.7.5 -> 0.8.0Gabriel Ebner2020-03-06
* | | js_of_ocaml: 3.4.0 -> 3.5.2 (#75766)Joachim Breitner2020-03-06
* | | Merge pull request #81722 from r-ryantm/auto-update/workcraftMario Rodas2020-03-05
|\ \ \
| * | | workcraft: 3.2.5 -> 3.2.6R. RyanTM2020-03-04
| |/ /
* | | Merge pull request #81692 from r-ryantm/auto-update/leanGabriel Ebner2020-03-04
|\ \ \
| * | | lean: 3.6.0 -> 3.6.1R. RyanTM2020-03-04
| |/ /
* | | python3Packages.monosat: Fix hashAiken Cairncross2020-03-03
* | | python3Packages.monosat: Fix Python 3.8 buildAiken Cairncross2020-03-03
|/ /
* | mcy: init at 2020.02.05Austin Seipp2020-02-27
* | symbiyosys: fix calls to external programsAustin Seipp2020-02-27
* | lean: 3.5.1 -> 3.6.0Mario Rodas2020-02-26
|/
* elan: upgrade cargo fetcher and cargoSha256Benjamin Hipple2020-02-19
* lean: 3.4.2 -> 3.5.1Junyoung Clare Jang2020-02-15
* treewide: change fetchCargoTarball default to opt-outBenjamin Hipple2020-02-13
* verifast: 18.02 -> 19.12R. RyanTM2020-02-09
* Merge pull request #79479 from r-ryantm/auto-update/workcraftRyan Mulligan2020-02-09
|\
| * workcraft: 3.1.9 -> 3.2.5R. RyanTM2020-02-07
* | iprover: 2018_Jul_24_11h -> 3.1Jannik Vierling2020-02-09
* | symbiyosys: 2019.10.11 -> 2020.02.08Emily2020-02-08
|/
* abc-verifier: passthru revFlorian Klink2020-02-01
* abc-verifier: 2018-07-08 -> 2020-01-11Florian Klink2020-02-01
* coqPackages_8_11.coq: 8.11+β1 → 8.11.0Vincent Laporte2020-01-31
* coq: disable CoqIDE on Darwin for Coq ≥ 8.10Vincent Laporte2020-01-31
* saw-tools: use default llvmLuka Blaskovic2020-01-30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-27 12:16:08 +0000