From 8a597c27cf39819e20daf0883f1857d59ff09d5e Mon Sep 17 00:00:00 2001 From: ederc Date: Sun, 24 May 2026 19:32:53 +0200 Subject: [PATCH 1/6] adds tier policy document --- doc/tier-policy.md | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 doc/tier-policy.md diff --git a/doc/tier-policy.md b/doc/tier-policy.md new file mode 100644 index 00000000..03fda192 --- /dev/null +++ b/doc/tier-policy.md @@ -0,0 +1,34 @@ +# Tier policy + +## Tiers + +msolve provides three tiers of target support: + +- msolve provides no guarantees about tier 3 targets; they exist in the codebase, but may or may not build. +- msolve's continuous integration checks that tier 2 targets will always build, but they may or may not pass tests. +- msolve's continuous integration checks that tier 1 targets will always build and pass tests. + +Adding a new tier 3 target imposes minimal requirements; we focus primarily on avoiding disruption to other ongoing msolve development. + +Tier 2 and tier 1 targets place work on msolve project developers as a whole, to avoid breaking the target. Thus, these tiers require commensurate and ongoing efforts from the maintainers of the target, to demonstrate value and to minimize any disruptions to ongoing msolve development. + +This policy defines the requirements for accepting a proposed target at a given level of support. + +## Software platforms + +### Tier 1 +- x86_64 Linux +- x86_64 macOS +- ARM64 macOS + +### Tier 2 +- i686 Linux +- x86_64 FreeBSD +- ARM64 FreeBSD +- PPC64 Linux +- RISC64 Linux + +### Tier 3 +- ARM64 Windows +- x86_64 Windows +- ARM64 Android From c8a74a241aea01446d4b824dd48c4e558a497709 Mon Sep 17 00:00:00 2001 From: ederc Date: Tue, 26 May 2026 09:58:12 +0200 Subject: [PATCH 2/6] fixes typo --- doc/tier-policy.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tier-policy.md b/doc/tier-policy.md index 03fda192..1a72353d 100644 --- a/doc/tier-policy.md +++ b/doc/tier-policy.md @@ -26,7 +26,7 @@ This policy defines the requirements for accepting a proposed target at a given - x86_64 FreeBSD - ARM64 FreeBSD - PPC64 Linux -- RISC64 Linux +- RISCV64 Linux ### Tier 3 - ARM64 Windows From ab9301ff5a7b4127f01346d7a314a9e862c47104 Mon Sep 17 00:00:00 2001 From: ederc Date: Tue, 26 May 2026 09:58:21 +0200 Subject: [PATCH 3/6] adds macos intel runner --- .github/workflows/msolve.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/msolve.yml b/.github/workflows/msolve.yml index f1f64c1e..bdabbad5 100644 --- a/.github/workflows/msolve.yml +++ b/.github/workflows/msolve.yml @@ -16,6 +16,7 @@ jobs: os: - ubuntu-latest - macos-latest + - macos-26-intel steps: - uses: actions/checkout@v6 - name: "Install dependencies" From 24583b6dafd54bd783254d0daf035ece49884784 Mon Sep 17 00:00:00 2001 From: ederc Date: Tue, 26 May 2026 10:25:52 +0200 Subject: [PATCH 4/6] Update doc/tier-policy.md Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com> --- doc/tier-policy.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tier-policy.md b/doc/tier-policy.md index 1a72353d..6038de81 100644 --- a/doc/tier-policy.md +++ b/doc/tier-policy.md @@ -25,7 +25,7 @@ This policy defines the requirements for accepting a proposed target at a given - i686 Linux - x86_64 FreeBSD - ARM64 FreeBSD -- PPC64 Linux +- PPC64le Linux - RISCV64 Linux ### Tier 3 From 5c1db1c540e8a21812143aa6d7a502e969be248f Mon Sep 17 00:00:00 2001 From: ederc Date: Tue, 26 May 2026 10:47:27 +0200 Subject: [PATCH 5/6] adds arm for linux in tier 2 --- doc/tier-policy.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/tier-policy.md b/doc/tier-policy.md index 6038de81..76e23e56 100644 --- a/doc/tier-policy.md +++ b/doc/tier-policy.md @@ -22,11 +22,14 @@ This policy defines the requirements for accepting a proposed target at a given - ARM64 macOS ### Tier 2 +- ARM64 Linux +- ARMv6 Linux +- ARMv7 Linux - i686 Linux -- x86_64 FreeBSD -- ARM64 FreeBSD - PPC64le Linux - RISCV64 Linux +- x86_64 FreeBSD +- ARM64 FreeBSD ### Tier 3 - ARM64 Windows From 7a81dc1182f9d4446b7368438e122349e134444d Mon Sep 17 00:00:00 2001 From: ederc Date: Tue, 26 May 2026 12:37:26 +0200 Subject: [PATCH 6/6] Update doc/tier-policy.md Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com> --- doc/tier-policy.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/tier-policy.md b/doc/tier-policy.md index 76e23e56..63cf262b 100644 --- a/doc/tier-policy.md +++ b/doc/tier-policy.md @@ -5,7 +5,7 @@ msolve provides three tiers of target support: - msolve provides no guarantees about tier 3 targets; they exist in the codebase, but may or may not build. -- msolve's continuous integration checks that tier 2 targets will always build, but they may or may not pass tests. +- msolve expects that tier 2 targets will always build, but they may or may not pass tests. - msolve's continuous integration checks that tier 1 targets will always build and pass tests. Adding a new tier 3 target imposes minimal requirements; we focus primarily on avoiding disruption to other ongoing msolve development.