Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Nov 27, 2024

Merging branch/2024-11-26/fix-macos-latest-warnings for GitHub pull request #298 <https://github.com/Ravenbrook/mps/pull/298>
rptb1
committed
Clarifying that two AVERs are implementing .assume.parked in response to review comment <https://github.com/Ravenbrook/mps/pull/298#issuecomment-2503792676>.
rptb1
committed
Removing unused variable that triggered the unused-but-set-variable warning when building on macOS 14.7.1 with Clang 15.0.
rptb1
committed
Merging branch/2024-11-26/fix-manual-build for GitHub pull request #297 <https://github.com/Ravenbrook/mps/pull/297>
rptb1
authored
Merging branch/2024-11-26/dont-fail-fast for GitHub pull request #296 <https://github.com/Ravenbrook/mps/pull/296>
rptb1
authored
Merging branch mavit/build-link for GitHub pull request #290 <https://github.com/Ravenbrook/mps/pull/290>.
rptb1
authored
Merging waywardmonkeys/fix-typos for GitHub pull request #282 <https://github.com/Ravenbrook/mps/pull/282>
rptb1
authored

Commits on Nov 26, 2024

Commits on Aug 21, 2024

Fix link in readme to build docs.
mavit
committed

Commits on Feb 29, 2024

Update config.guess to the version from autoconf 2.72
waywardmonkeys
committed

Commits on Oct 23, 2023

Merging branch/2023-02-22/manual-rtd-theme for GitHub pull request #166 <https://github.com/Ravenbrook/mps/pull/166>.
rptb1
committed

Commits on Oct 21, 2023

Breaking up the glossary index with punctuation and spaces, in response to review <https://github.com/Ravenbrook/mps/pull/166#pullrequestreview-1687977425>.
rptb1
committed

Commits on Oct 20, 2023

Commits on Oct 11, 2023

Catch-up merge of master into branch/2023-02-22/manual-rtd-theme
rptb1
committed

Commits on Jun 17, 2023

Commits on Jun 16, 2023