summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* eprover: update hash - target modified inplaceannalee2023-11-17
* Merge branch 'master' into staging-nextVladimír Čunát2023-11-16
|\
| * Merge pull request #267664 from r-ryantm/auto-update/eprover7c6f434c2023-11-15
| |\
| | * eprover: 2.6 -> 3.0R. Ryantm2023-11-15
* | | Merge branch 'master' into staging-nextVladimír Čunát2023-11-15
|\| |
| * | abella: 2.0.7 -> 2.0.8Chen2023-11-14
| |/
* | Merge master into staging-nextgithub-actions[bot]2023-11-12
|\|
| * 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
* | | Merge master into staging-nextgithub-actions[bot]2023-11-11
|\| |
| * | treewide: fix redirected and broken URLsAnthony Roussel2023-11-11
| |/
* | Merge branch 'master' into staging-nextAdam Joseph2023-11-08
|\|
| * treewide: change pythonForBuild to pythonOnBuildForHostAdam Joseph2023-11-05
* | Merge branch 'master' into staging-nextWeijia Wang2023-11-04
|\|
| * uhdm: 1.76 -> 1.77R. Ryantm2023-11-04
* | Merge master into staging-nextgithub-actions[bot]2023-11-02
|\|
| * coq: fix hompage urlPablo Ovelleiro Corral2023-11-02
* | Merge master into staging-nextgithub-actions[bot]2023-10-31
|\|
| * lean4: 4.1.0 -> 4.2.0Mario Rodas2023-10-30
* | aiger: fix build with clang 16Randy Eckenrode2023-10-27
* | Merge branch 'staging' into staging-nextVladimír Čunát2023-10-26
|\ \ | |/ |/|
| * Merge staging-next into staginggithub-actions[bot]2023-10-19
| |\
| * \ Merge pull request #258431 from pbsds/stabilize-patchesArtturi2023-10-19
| |\ \
| | * | vampire: make patch urls reproduciblePeder Bergebakken Sundt2023-10-09
* | | | 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
|\| | |
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-15 20:54:59 +0000