]> _ Git - alire.git/commit
feat: search without solving and with --solve (#1799)
authorAlejandro R Mosteo <amosteo@unizar.es>
Thu, 28 Nov 2024 08:12:21 +0000 (09:12 +0100)
committerGitHub <noreply@github.com>
Thu, 28 Nov 2024 08:12:21 +0000 (09:12 +0100)
commite6269b1a214ea666e4f3cb8491ac65d292e7ad96
treed67658222c93393dbff68ace1cc9963137ee5775
parentb5bfbad247a6c3ac52eec29dd969f9225001e406
feat: search without solving and with --solve (#1799)

* feat: search without solving and with --solve

* User changes
doc/user-changes.md
src/alr/alr-commands-search.adb
src/alr/alr-commands-search.ads
testsuite/tests/search/basic/test.py