_ Git - alire.git/commit

]> _ Git - alire.git/commit

author	Alejandro R Mosteo <amosteo@unizar.es>
	Sat, 23 Nov 2024 09:24:53 +0000 (10:24 +0100)
committer	GitHub <noreply@github.com>
	Sat, 23 Nov 2024 09:24:53 +0000 (10:24 +0100)
commit	20dc45767037ba70be7f7bde45138ca20838195d
tree	5e0234579dae13d92961c9c0ed20ed0de2a9ee9d	tree \| snapshot
parent	0bf05715f60dd8addd457274d9ed489234d598a4	commit \| diff

feat: solver refactoring (#1739)

* Priority-based solver

* Compiler priorities

* Fine tweaks related to pins & conflicts

* Self-review

* Fix feasibility check not considering pins

* Optimization: filter out seen linked deps

* Fix issue with search timeout

* Self-review

* Fix submodules after rebase

* Remove dependency on compare_to_case

18 files changed:

.github/workflows/ci-toolchain.yml		diff \| blob \| history
.gitmodules		diff \| blob \| history
TODO	[new file with mode: 0644]	blob
alire.toml		diff \| blob \| history
alr_env.gpr		diff \| blob \| history
src/alire/alire-conditional_trees.ads		diff \| blob \| history
src/alire/alire-meta.ads		diff \| blob \| history
src/alire/alire-releases-containers.ads		diff \| blob \| history
src/alire/alire-solutions.adb		diff \| blob \| history
src/alire/alire-solutions.ads		diff \| blob \| history
src/alire/alire-solver-predefined_options.ads		diff \| blob \| history
src/alire/alire-solver.adb		diff \| blob \| history
src/alire/alire-solver.ads		diff \| blob \| history
src/alire/alire-utils-comparisons.ads	[new file with mode: 0644]	blob
src/alire/alire.ads		diff \| blob \| history
src/alr/alr-commands-search.adb		diff \| blob \| history
testsuite/tests/solver/compiler-selected/test.py		diff \| blob \| history
testsuite/tests/solver/forbids/test.py		diff \| blob \| history

Fork of https://github.com/alire-project/alire to add shell-style quoting (pull request: https://github.com/alire-project/alire/pull/1993)

RSS Atom