about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Collapse)AuthorAge
* Merge pull request #84535 from bcdarwin/update-belugaBenjamin Hipple2020-04-19
|\ | | | | beluga: 20180403 -> unstable-2020-03-11
| * 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
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* symbiyosys: 2020.02.11 -> 2020.03.24Austin Seipp2020-03-25
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* 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
| | | | | | Now with working web UI dashboard -- but no working GUI (yet!) Signed-off-by: Austin Seipp <aseipp@pobox.com>
* symbiyosys: 2020.02.08 -> 2020.02.11Austin Seipp2020-03-17
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* yosys: 2020.02.25 -> 2020.03.16Austin Seipp2020-03-17
| | | | | | | | - Bump `abc-verifier` (2020.03.05) - Install `yosys-abc` symlink for tool compatbility - Various `yosys` expression cleanups Signed-off-by: Austin Seipp <aseipp@pobox.com>
* 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.0
| * clingcon: init at 3.3.0mucaho2020-03-08
| |
* | Merge pull request #81796 from JohnAZoidberg/satallax-gcc9Maximilian Bosch2020-03-08
|\ \ | | | | | | satallax: Fix build with GCC9
| * | satallax: Fix build with GCC9Daniel Schaefer2020-03-05
| | |
* | | acgtk: 1.5.0 → 1.5.1 (#81539)Vincent Laporte2020-03-07
| | | | | | | | | Co-authored-by: Jon <jonringer@users.noreply.github.com>
* | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | drive-by contributions, as I was playing around with this (it has better support for the `num` library, it seems.) js_of_ocaml: 3.4.0 -> 3.5.2 ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0 ocamlPackages.eliom: 6.8.0 → 6.10.1 ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0 ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1 Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
* | | Merge pull request #81722 from r-ryantm/auto-update/workcraftMario Rodas2020-03-05
|\ \ \ | | | | | | | | workcraft: 3.2.5 -> 3.2.6
| * | | 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.1
| * | | lean: 3.6.0 -> 3.6.1R. RyanTM2020-03-04
| |/ /
* | | python3Packages.monosat: Fix hashAiken Cairncross2020-03-03
| | | | | | | | | | | | PR #81562 inadvertently broke these builds
* | | python3Packages.monosat: Fix Python 3.8 buildAiken Cairncross2020-03-03
|/ /
* | mcy: init at 2020.02.05Austin Seipp2020-02-27
| | | | | | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* | symbiyosys: fix calls to external programsAustin Seipp2020-02-27
| | | | | | | | | | | | | | | | | | | | | | | | | | 48085826f broke symbiyosys when it needed to call `yosys-abc`: when `ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built. But in general `sby` was just calling programs out of the ambient environment. Fix that for most programs it can invoke: it now has a direct dependency on boolector, aiger, abc, yosys, etc. This also does some other minor clean up. Signed-off-by: Austin Seipp <aseipp@pobox.com>
* | lean: 3.5.1 -> 3.6.0Mario Rodas2020-02-26
|/
* elan: upgrade cargo fetcher and cargoSha256Benjamin Hipple2020-02-19
| | | | Infra upgrade as part of #79975; ran `nixpkgs-review wip` successfully.
* lean: 3.4.2 -> 3.5.1Junyoung Clare Jang2020-02-15
| | | | 3.4.2 is not compilable with GCC >= 9.1
* treewide: change fetchCargoTarball default to opt-outBenjamin Hipple2020-02-13
| | | | | | | | | | | Changes the default fetcher in the Rust Platform to be the newer `fetchCargoTarball`, and changes every application using the current default to instead opt out. This commit does not change any hashes or cause any rebuilds. Once integrated, we will start deleting the opt-outs and recomputing hashes. See #79975 for details.
* 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.5
| * 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
| | | | | Some consumers of abc-verifier require certain abc versions. For that reason, expose the exact rev via a passtrhru.
* 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
|
* Merge pull request #78521 from r-ryantm/auto-update/ottMario Rodas2020-01-29
|\ | | | | ott: 0.29 -> 0.30
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-11 07:33:36 +0000