about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'origin/master' into staging-nextMartin Weinelt2024-03-19
|\
| * treewide: add meta.mainProgram to packages with a single binarystuebinm2024-03-19
* | Merge master into staging-nextgithub-actions[bot]2024-03-18
|\|
| * dafny: 4.4.0 -> 4.5.0whonore2024-03-17
* | Merge master into staging-nextgithub-actions[bot]2024-03-17
|\|
| * Merge master into haskell-updatesgithub-actions[bot]2024-03-13
| |\
| * \ Merge master into haskell-updatesgithub-actions[bot]2024-03-11
| |\ \
| * \ \ Merge master into haskell-updatesgithub-actions[bot]2024-03-09
| |\ \ \
| * \ \ \ Merge branch 'master' into HEADRobert Hensing2024-03-07
| |\ \ \ \
| * \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-03-07
| |\ \ \ \ \
| * \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-03-05
| |\ \ \ \ \ \
| * \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-03-02
| |\ \ \ \ \ \ \
| * \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-25
| |\ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-24
| |\ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-20
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-17
| |\ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-16
| |\ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-14
| |\ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-12
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-11
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-05
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-04
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-02-02
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-01-31
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-01-30
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge master into haskell-updatesgithub-actions[bot]2024-01-27
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | | | | naproche: unstable-2023-07-11 -> unstable-2024-01-18Jan van Brügge2024-01-18
* | | | | | | | | | | | | | | | | | | | | | | Merge staging-next into staginggithub-actions[bot]2024-03-12
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | | | | coq_8_19: 8.19.0 → 8.19.1Vincent Laporte2024-03-12
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | | | | | | | | |
* / | | | | | | | | | | | | | | | | | | | | llvmPackages_{12,13,14,15,16,17,git}.{libcxx,libcxxabi}: merge libcxxabi into...a-n-n-a-l-e-e2024-03-11
|/ / / / / / / / / / / / / / / / / / / / /
* | | | | | | | | | | | | | | | | | | | | Revert "elan: revert temporary directory creation"Joachim Breitner2024-03-09
* | | | | | | | | | | | | | | | | | | | | fix: elan: use relative paths in wrapper scriptJoachim Breitner2024-03-09
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | | Merge pull request #292724 from r-ryantm/auto-update/cvc5Weijia Wang2024-03-08
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | |
| * | | | | | | | | | | | | | | | | | | cvc5: 1.1.1 -> 1.1.2R. Ryantm2024-03-02
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / | |/| | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | Merge pull request #287372 from r-ryantm/auto-update/cryptominisatWeijia Wang2024-03-07
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | | cryptominisat: 5.11.15 -> 5.11.21R. Ryantm2024-02-09
| | |_|_|_|_|_|_|/ / / / / / / / / / / | |/| | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | | elan: revert temporary directory creationMario Rodas2024-03-07
* | | | | | | | | | | | | | | | | | | opensmt: 2.5.2 -> 2.6.0R. Ryantm2024-03-07
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | Merge pull request #289177 from r-ryantm/auto-update/clingconWeijia Wang2024-03-06
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | | | | | | clingcon: 5.2.0 -> 5.2.1R. Ryantm2024-02-16
| | |_|_|_|_|_|_|_|_|_|_|/ / / / / / | |/| | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | | cadical: 1.9.4 -> 1.9.5R. Ryantm2024-03-06
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | | lean4: 4.6.0 -> 4.6.1Mario Rodas2024-03-04
| |_|/ / / / / / / / / / / / / / |/| | | | | | | | | | | | | | |
* | | | | | | | | | | | | | | | lean4: 4.5.0 -> 4.6.0Mario Rodas2024-02-28
| |_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | |
* | | | | | | | | | | | | | | Merge master into staging-nextgithub-actions[bot]2024-02-23
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | |_|_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | | |
| * | | | | | | | | | | | | | elan: 3.1.0 -> 3.1.1Mario Rodas2024-02-22
| | |_|_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | | |
* / | | | | | | | | | | | | boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.Simon Hollingshead2024-02-22
|/ / / / / / / / / / / / /
* | | | | | | | | | | | | Merge pull request #289941 from marsam/update-elanMario Rodas2024-02-19
|\ \ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | elan: 3.0.0 -> 3.1.0Mario Rodas2024-02-19
| | |_|_|_|_|_|_|_|_|_|_|/ | |/| | | | | | | | | | |
* / | | | | | | | | | | | clingo: 5.7.0 -> 5.7.1R. Ryantm2024-02-19
|/ / / / / / / / / / / /
* / / / / / / / / / / / clingo: 5.6.2 -> 5.7.0R. Ryantm2024-02-16
|/ / / / / / / / / / /
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-05 06:00:09 +0000