aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Use the .gitkeep idiom for empty mps/tool/autoconf/build-aux/scratch/mps-importHelmut Eller2025-09-113-6/+7
* Remove some autoconf-generated filesHelmut Eller2025-09-115-8976/+6
* Make it possible to run MPS tests with: make -C mps testHelmut Eller2025-09-113-6/+20
* * src/Makefile.in: Simplify TAGS generation for MPS codeHelmut Eller2025-09-111-6/+4
* * mps/code/mps.h (MPS_RM_PROT_INNER): Fix MPS issue #285.Gerd Möllmann2025-09-111-1/+1
* * src/Makefile.in: Generate TAGS for MPS codeHelmut Eller2025-09-101-2/+5
* * autogen.sh: Ignore fsck.gitignoreSymlink warningsHelmut Eller2025-09-101-1/+4
* Reduce include path pollutionHelmut Eller2025-09-092-7/+7
* * src/Makefile.in (mps.o): Use compiler generated dependenciesHelmut Eller2025-09-091-3/+3
* * mps/code/global.c (ArenaPoll): Fix calculation of available time.Helmut Eller2025-09-081-2/+3
* Adjust configure.ac and src/Makefile.in for in-tree MPSHelmut Eller2025-09-082-24/+22
* ; Merge from https://github.com/Ravenbrook/mpsHelmut Eller2025-09-081094-0/+245719
|\
| * Merging branch/2024-11-26/fix-macos-latest-warnings for github pull request <...Richard Brooksby2024-11-271-5/+2
| |\
| | * Clarifying that two avers are implementing .assume.parked in response to revi...Richard Brooksby2024-11-271-2/+2
| | * Removing unused variable that triggered the unused-but-set-variable warning w...Richard Brooksby2024-11-271-3/+0
| |/
| * Merging branch/2024-11-26/fix-manual-build for github pull request <https://g...Richard Brooksby2024-11-271-1/+1
| |\
| | * Removing use of deprecated alias of versionchange, which was removed in sphin...Richard Brooksby2024-11-261-1/+1
| * | Merging branch/2024-11-26/dont-fail-fast for github pull request <https://git...Richard Brooksby2024-11-271-0/+1
| |\ \
| | * | Tell github not to cancel builds in the posix matrix when one of them fails.Richard Brooksby2024-11-261-0/+1
| | |/
| * | Merging branch mavit/build-link for github pull request <https://github.com/r...Richard Brooksby2024-11-271-1/+1
| |\ \
| | * | Fix link in readme to build docs.Peter Oliver2024-08-211-1/+1
| * | | Merging waywardmonkeys/fix-typos for github pull request <https://github.com/...Richard Brooksby2024-11-2749-64/+64
| |\ \ \ | | |_|/ | |/| |
| | * | Fix typos.Bruce Mitchener2024-11-2649-64/+64
| | |/
| * | Adding documentation reference to use of checkout action to help clarify why ...Richard Brooksby2024-11-264-5/+5
| * | Ci: update `actions/checkout` to `v4` from `v3`.Bruce Mitchener2024-11-264-5/+5
| * | Merging branch/2024-02-29/update-config.guess for github pull request <https:...Jonathan Holburn2024-11-261-749/+1026
| |\ \ | | |/ | |/|
| | * Update config.guess to the version from autoconf 2.72Bruce Mitchener2024-02-291-749/+1026
| |/
| * Merging branch/2023-02-22/manual-rtd-theme for github pull request <https://g...Richard Brooksby2023-10-237-584/+644
| |\
| | * Breaking up the glossary index with punctuation and spaces, in response to re...Richard Brooksby2023-10-211-568/+578
| | * Adding references to issues behind design choice of sphinx_rtd_theme, in resp...Richard Brooksby2023-10-201-2/+6
| | * Documented dependency on class "toctree-l1" in response to review <https://gi...Richard Brooksby2023-10-201-1/+9
| | * Fixing file name in leader comment in response to review <https://github.com/...Richard Brooksby2023-10-201-1/+1
| | * Catch-up merge of master into branch/2023-02-22/manual-rtd-themeRichard Brooksby2023-10-1182-306/+3949
| | |\ | | |/ | |/|
| * | Merging branch branch/2023-04-13/transforms for github pull request <https://...Richard Brooksby2023-06-1721-19/+2481
| |\ \
| | * \ Catch-up merge from 'master into branch/2023-04-13/transformsRichard Brooksby2023-06-1720-113/+807
| | |\ \ | | |/ / | |/| |
| * | | Merging branch/2023-05-31/hash-arrays for github pull request <https://github...Richard Brooksby2023-06-174-1/+69
| |\ \ \
| | * \ \ Catch-up merge from master into branch/2023-05-31/hash-arraysRichard Brooksby2023-06-1723-127/+1200
| | |\ \ \ | | |/ / / | |/| | |
| * | | | Merging branch/2023-05-16/interior-pointers for github pull request <https://...Jonathan Holburn2023-06-1619-112/+738
| |\ \ \ \
| | * | | | Make addrobj.c more verboseJonathan Holburn2023-06-151-0/+10
| | * | | | Reintroduce comments that went missing during the original work to port this ...Jonathan Holburn2023-06-152-1/+22
| | * | | | Catch up merge from master into branch/2023-05-16/interior-pointersRichard Brooksby2023-06-159-10/+450
| | |\ \ \ \ | | |/ / / / | |/| | | |
| | * | | | Improving comments on amcaddrobject in response to review <https://github.com...Richard Brooksby2023-06-151-3/+10
| | * | | | Removing ambiguous use of "return" to mean passing back a value through an ou...Richard Brooksby2023-06-151-4/+2
| | * | | | Removing redundant user documentation in response to review <https://github.c...Richard Brooksby2023-06-151-10/+3
| | * | | | Make various edits from required after proc.reviewJonathan Holburn2023-06-123-21/+73
| | * | | | Adding addrobj test case to xcode project and enabling it as part of testci t...Richard Brooksby2023-06-074-113/+272
| | * | | | Generalising mps_addr_object, arenaaddrobject, pooladdrobject for pools that ...Richard Brooksby2023-06-077-29/+29
| | * | | | Reorganise comments for readability in addrobj.cJonathan Holburn2023-05-171-9/+8
| | * | | | Avoid type punning while using dylan test utilitiesJonathan Holburn2023-05-171-1/+17
| | * | | | Correct spelling of targetJonathan Holburn2023-05-171-1/+1
generated by cgit v1.2.1 (git 2.18.0) at 2026-01-12 02:34:02 +0000