summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Merge pull request #266486 from Luflosi/update/yosysPierre Bourdon2023-11-12
|\
| * abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13Luflosi2023-11-08
| * abc-verifier: cleanupLuflosi2023-11-08
| * abc-verifier: add Luflosi as maintainerLuflosi2023-11-08
* | treewide: fix redirected and broken URLsAnthony Roussel2023-11-11
|/
* treewide: change pythonForBuild to pythonOnBuildForHostAdam Joseph2023-11-05
* uhdm: 1.76 -> 1.77R. Ryantm2023-11-04
* coq: fix hompage urlPablo Ovelleiro Corral2023-11-02
* lean4: 4.1.0 -> 4.2.0Mario Rodas2023-10-30
* proverif: 2.04 → 2.05Vincent Laporte2023-10-23
* alt-ergo: 2.5.1 -> 2.5.2R. Ryantm2023-10-19
* surelog: 1.73 -> 1.76Henner Zeller2023-10-15
* uhdm: 1.74 -> 1.76Henner Zeller2023-10-15
* Merge pull request #260203 from wegank/cryptoverif-bumpWeijia Wang2023-10-10
|\
| * cryptoverif: 2.05 -> 2.07Weijia Wang2023-10-10
* | kissat: 3.1.0 -> 3.1.1R. Ryantm2023-10-10
* | Merge pull request #260039 from r-ryantm/auto-update/cadicalRyan Mulligan2023-10-10
|\ \ | |/ |/|
| * cadical: 1.5.3 -> 1.8.0R. Ryantm2023-10-09
* | Merge pull request #259398 from whonore/update-dafny-4.3.0Guillaume Maudoux2023-10-09
|\ \ | |/ |/|
| * dafny: 4.2.0 -> 4.3.0whonore2023-10-06
* | abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13Luflosi2023-10-07
|/
* cryptominisat: 5.11.12 -> 5.11.14R. Ryantm2023-10-04
* easycrypt: 2022.04 → 2023.09Vincent Laporte2023-09-29
* alt-ergo: 2.4.3 → 2.5.1Vincent Laporte2023-09-29
* Merge master into staging-nextgithub-actions[bot]2023-09-27
|\
| * lean4: 4.0.0 -> 4.1.0Mario Rodas2023-09-26
* | Merge master into staging-nextgithub-actions[bot]2023-09-26
|\|
| * Merge pull request #256231 from r-ryantm/auto-update/uhdmWeijia Wang2023-09-26
| |\
| | * uhdm: 1.73 -> 1.74R. Ryantm2023-09-20
* | | Merge master into staging-nextgithub-actions[bot]2023-09-26
|\| |
| * | Merge pull request #256676 from r-ryantm/auto-update/belugaFabián Heredia Montiel2023-09-25
| |\ \
| | * | beluga: 1.1 -> 1.1.1R. Ryantm2023-09-22
* | | | Merge master into staging-nextgithub-actions[bot]2023-09-22
|\| | |
| * | | Merge pull request #254485 from r-ryantm/auto-update/cvc5Weijia Wang2023-09-22
| |\ \ \ | | |/ / | |/| |
| | * | cvc5: 1.0.7 -> 1.0.8R. Ryantm2023-09-11
* | | | Merge master into staging-nextgithub-actions[bot]2023-09-21
|\| | |
| * | | coq: 8.17.1 -> 8.18.0Vincent Laporte2023-09-21
| | |/ | |/|
* | | Merge remote-tracking branch 'origin/staging-next' into stagingAlyssa Ross2023-09-14
|\| |
| * | egglog: unstable-2023-08-29 -> unstable-2023-09-12figsoda2023-09-13
| * | Merge pull request #254490 from Vtec234/masterYorick2023-09-13
| |\ \
| | * | Update pkgs/applications/science/logic/drat-trim/default.nixWojciech Nawrocki2023-09-12
| | * | drat-trim: 2020-06-05 -> 2023-05-22Wojciech Nawrocki2023-09-12
| * | | cbmc: 5.90.0 -> 5.91.0R. Ryantm2023-09-13
| |/ /
* | | Merge staging-next into staginggithub-actions[bot]2023-09-12
|\| |
| * | Merge pull request #254499 from marsam/update-elanNick Cao2023-09-11
| |\ \
| | * | elan: 2.0.1 -> 3.0.0Mario Rodas2023-09-10
| | |/
| * / lean4: init at 4.0.0Mario Rodas2023-06-02
| |/
* | Merge staging-next into staginggithub-actions[bot]2023-09-10
|\|
| * netlistsvg: update meta.homepagePeder Bergebakken Sundt2023-09-09
* | Merge staging-next into staginggithub-actions[bot]2023-09-09
|\|
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-20 20:40:30 +0000