1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-13 02:12:18 -07:00
emacs/mps/code
Helmut Eller cc1aa65f17 Add a pool for ephemerons
Ephemerons solve the key-in-value problem for weak key/value pairs.  It
seems that it's not possible to solve that problem with weak pointers or
finalizers.  Basically we want a weak key/value pair that implements the
rule:

  The value is reachable, if the key is reachable.

The key-in-value problem occurs if all paths to the key go through the
value.  In this situation, the key is considered reachable only if the
value is "externally reachable", i.e. the value is reachable through a
path other than through the weak pair.

Such weak pairs seem to need an extra phase in the GC algorithm.  See
[1] for some variants of the algorithm.

https://www.haible.de/bruno/papers/cs/weak/WeakDatastructures-writeup.html

* mps/code/mpmst.h (SegStruct): Add fields propagationNeeded,
marksChanged, and propagationFinished.
* mps/code/mpmtypes.h (RANK_LIST): Add EPHEMERON rank.
* mps/code/mps.s (mps_rank_ephemeron): New prototype.
* mps/code/mpscawl.h (mps_class_aeph, mps_fix_weak_pair)
(mps_fix_weak_or_pair, mps_fix_weak_and_pair): New prototypes.
* mps/code/mpsi.c (mps_rank_ephemeron): New function.
* mps/code/poolawl.c (AEPHSegStruct, AEPHPoolStruct): New. The
implementation the ephemeron pool.
* mps/code/seg.c (segAbsInit): Initialize propagationNeeded,
marksChanged, and propagationFinished.
* mps/code/trace.c (traceBandRetreat, tracePropagateToLowerRanks)
(moveSegToEndOfGreyRing): New helpers.
(TraceRankForAccess): Handle the RankEPHEMERON.
(traceFindGrey, traceScanSegRes): Add special handling for ephemeron
segments.
* mps/test/function/eph1.c: New test file.
* mps/test/function/eph2.c: New test file.
* mps/test/function/eph3.c: New test file.
* mps/test/function/eph4.c: New test file.
* mps/test/test/testlib/ephfmt.c: New file.
* mps/test/test/testlib/ephfmt.h: New file.
* mps/test/test/testlib/manifest: Add ephfmt.c.
* mps/test/testsets/passing: Include eph{1,2,3,4}.c.
2026-01-23 08:48:40 +01:00
..
mps.xcodeproj Catch-up merge from 'master into branch/2023-04-13/transforms 2023-06-17 11:35:18 +01:00
w3mv Un-rename .gitignore 2025-09-13 10:03:13 +02:00
.gitignore Un-rename .gitignore 2025-09-13 10:03:13 +02:00
.p4ignore Swap .gitignore and .p4ignore. 2022-01-11 14:34:05 +00:00
abq.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
abq.h Cleaning up fixmes. moving signature on abqstruct to the start, since i couldn't find any justification for it to be at the end. it was always at the end. 2023-03-09 10:11:12 +00:00
abqtest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
addrobj.c Fix typos. 2024-11-26 22:10:23 +07:00
airtest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
amcss.c Explaining the purpose of the calls variable in response to <https://github.com/ravenbrook/mps/pull/164#discussion_r1130845346>. 2023-03-09 11:33:14 +00:00
amcsshe.c Improve maintainability of complex loops. 2021-01-16 17:06:07 +00:00
amcssth.c New api function mps_pool_walk. 2022-01-17 17:39:18 +00:00
amsss.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
amssshe.c Remove mps_tramp, deprecated since release 1.111.0. 2020-09-24 09:30:33 +01:00
anangc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
ananll.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
ananmv.nmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
apss.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
arena.c Fix typos. 2024-11-26 22:10:23 +07:00
arenacl.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
arenacv.c ; * mps/code/arenacv.c (TEST_ARENA_SIZE): Fix a typo. 2025-10-10 10:01:44 +03:00
arenavm.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
arg.c Downgrading old fixmes to todos with better explanation of tasks. 2023-02-20 08:51:15 +00:00
arg.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
awlut.c Remove mps_tramp, deprecated since release 1.111.0. 2020-09-24 09:30:33 +01:00
awluthe.c Remove mps_tramp, deprecated since release 1.111.0. 2020-09-24 09:30:33 +01:00
awlutth.c Remove mps_tramp, deprecated since release 1.111.0. 2020-09-24 09:30:33 +01:00
boot.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
boot.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
bt.c Improve maintainability of complex loops. 2021-01-16 17:06:07 +00:00
bt.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
btcv.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
bttest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
buffer.c Downgrading old fixmes to todos with better explanation of tasks. 2023-02-20 08:51:15 +00:00
cbs.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
cbs.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
check.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
clock.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
comm.gmk Recognize some Amd64 instruction patterns 2025-10-11 20:33:40 +02:00
commpost.nmk Catch-up merge from 'master into branch/2023-04-13/transforms 2023-06-17 11:35:18 +01:00
commpre.nmk Fix typos. 2024-11-26 22:10:23 +07:00
config.h Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
cyi6gc.gmk Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
dbgpool.c Fix typos. 2024-11-26 22:10:23 +07:00
dbgpool.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
dbgpooli.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
djbench.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
event.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
event.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
eventcnv.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
eventcom.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
eventdef.h Fix typos. 2023-02-13 23:27:57 +07:00
eventpy.c New platform xca6ll (macos, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
eventsql.c Fix MinGW build of mps/code/eventsql.c 2025-09-27 10:07:26 +03:00
eventtxt.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
extcon.c Clarifying comments in response to review <https://github.com/ravenbrook/mps/pull/213#discussion_r1191144878> 2023-06-09 14:49:32 +01:00
failover.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
failover.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
finalcv.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
finaltest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtdy.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtdy.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtdytst.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtdytst.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmthe.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmthe.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtno.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtno.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtscheme.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fmtscheme.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
forktest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
format.c New api function mps_pool_walk. 2022-01-17 17:39:18 +00:00
fotest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
freelist.c Fix typos. 2023-02-13 23:27:57 +07:00
freelist.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
fri3gc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
fri3ll.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
fri6gc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
fri6ll.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
gc.gmk Document the reason for enabling so many warnings. 2021-01-10 21:26:58 +00:00
gcbench.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
getopt.h Detabifying code and restructuredtext files. 2016-02-18 19:58:13 +00:00
getoptl.c Detabifying code and restructuredtext files. 2016-02-18 19:58:13 +00:00
global.c * mps/code/global.c (GlobalsDescribe): Include tracedTime. 2025-11-26 10:41:34 +01:00
gp.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
land.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
landtest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
ld.c Fix typos. 2024-11-26 22:10:23 +07:00
lia6gc.gmk New platform lia6gc (linux, arm64, gcc). 2021-06-03 21:58:04 +01:00
lia6ll.gmk New platform lia6ll (linux, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
lii3gc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
lii6gc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
lii6ll.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
ll.gmk New platform lia6ll (linux, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
locbwcss.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
lock.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
lockan.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
lockcov.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
lockix.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
lockut.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
lockw3.c Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
locus.c Ensure that the mps builds with clang 10. 2021-01-10 10:42:05 +00:00
locus.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
locusss.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
locv.c New api function mps_pool_walk. 2022-01-17 17:39:18 +00:00
message.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
messtest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
meter.c Ensure that the mps builds with clang 10. 2021-01-10 10:42:05 +00:00
meter.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mingw.gmk Support the MinGW build of MPS and tests, part 2 2025-09-24 16:28:33 +03:00
misc.h Fix typos. 2023-02-13 23:27:57 +07:00
mpm.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpm.h Generalising mps_addr_object, arenaaddrobject, pooladdrobject for pools that do not use segments. 2023-06-07 14:57:55 +01:00
mpmss.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpmst.h Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
mpmtypes.h Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
mps.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
mps.h Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
mpsacl.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpsavm.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscamc.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscams.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscawl.h Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
mpsclo.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscmfs.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscmv2.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscmvff.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscmvt.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpscsnc.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpsi.c Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
mpsicv.c Ensure that the mps builds with clang 10. 2021-01-10 10:42:05 +00:00
mpsio.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpsioan.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpsiw3.c Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
mpslib.h Fix typos. 2023-02-13 23:27:57 +07:00
mpsliban.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mpstd.h Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
mpswin.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
mv.nmk Document the reason for enabling so many warnings. 2021-01-10 21:26:58 +00:00
mv2test.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
nailboard.c Improve maintainability of complex loops. 2021-01-16 17:06:07 +00:00
nailboard.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
nailboardtest.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
pc.nmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
policy.c Fix typos. 2024-11-26 22:10:23 +07:00
pool.c Fix typos. 2024-11-26 22:10:23 +07:00
poolabs.c Generalising mps_addr_object, arenaaddrobject, pooladdrobject for pools that do not use segments. 2023-06-07 14:57:55 +01:00
poolamc.c * mps/code/poolamc.c (AMCBufInit): Accept optional MPS_KEY_GEN arg. 2025-11-17 20:57:18 +01:00
poolams.c Resolve legit warning from gcc 11.3.0 about potential array overruns. 2023-01-06 17:39:48 +00:00
poolams.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
poolawl.c Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
poollo.c Merging branch/2023-03-09/sig-design-tidy for github pull request <https://github.com/ravenbrook/mps/pull/193>. 2023-03-13 20:17:31 +00:00
poolmfs.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
poolmfs.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
poolmrg.c Fix typos. 2024-11-26 22:10:23 +07:00
poolmrg.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
poolmv2.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
poolmv2.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
poolmvff.c Resolve legit warning from gcc 11.3.0 about potential array overruns. 2023-01-06 17:39:48 +00:00
poolmvff.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
pooln.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
pooln.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
poolncv.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
poolsnc.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
prmc.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcan.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcanan.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmccyi6.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
prmcfri3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcfri6.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmci3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmci3.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmci6.c Recognize some Amd64 instruction patterns 2025-10-11 20:33:40 +02:00
prmci6.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcix.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
prmcix.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
prmclia6.c New platform lia6ll (linux, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
prmclii3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmclii6.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmctest.c Recognize some Amd64 instruction patterns 2025-10-11 20:33:40 +02:00
prmcw3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcw3.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
prmcw3i3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcw3i6.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcxc.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcxc.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
prmcxca6.c New platform xca6ll (macos, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
prmcxci3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prmcxci6.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
prot.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
protan.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
protix.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
protocol.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
protocol.h Cleaning up fixmes. inststruct does not have a signature. 2023-03-09 09:59:16 +00:00
protsgix.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
protw3.c Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
protxc.c New platform xca6ll (macos, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
protxc.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
pthrdext.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
pthrdext.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
qs.c Remove mps_tramp, deprecated since release 1.111.0. 2020-09-24 09:30:33 +01:00
range.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
range.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
rangetree.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
rangetree.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
ref.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
ring.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
ring.h Improve maintainability of complex loops. 2021-01-16 17:06:07 +00:00
root.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
sa.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
sa.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
sac.c Improve maintainability of complex loops. 2021-01-16 17:06:07 +00:00
sac.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
sacss.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
scan.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
seg.c Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
segsmss.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
shield.c Fix typos. 2024-11-26 22:10:23 +07:00
sncss.c New api function mps_pool_walk. 2022-01-17 17:39:18 +00:00
sp.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
span.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
splay.c Fix typos. 2024-11-26 22:10:23 +07:00
splay.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
spw3i3.c Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
spw3i6.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
ss.c Ignore dangling-pointer warning 2025-10-11 20:18:34 +02:00
ss.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
steptest.c Ensure that the mps builds with clang 10. 2021-01-10 10:42:05 +00:00
table.c Ensure that the mps builds with clang 10. 2021-01-10 10:42:05 +00:00
table.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
tagtest.c Fix typos. 2024-11-26 22:10:23 +07:00
teletest.c Remove mps_telemetry_control, deprecated since release 1.111.0. 2020-09-29 11:15:45 +01:00
testlib.c Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
testlib.h Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
testthr.h Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
testthrix.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
testthrw3.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
th.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
than.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
thix.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
thw3.c Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
thxc.c Merging branch/2023-02-27/correct-file-names for github pull request <https://github.com/ravenbrook/mps/pull/179>. 2023-03-23 22:09:32 +00:00
trace.c Add a pool for ephemerons 2026-01-23 08:48:40 +01:00
traceanc.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
tract.c Eliminate pagestate and pagepoolunion: spare pages are now represented by the spare page land, and free/allocated pages can be distinguished using the pool pointer. 2022-01-17 20:19:08 +00:00
tract.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
trans.c Clarifying that two avers are implementing .assume.parked in response to review comment <https://github.com/ravenbrook/mps/pull/298#issuecomment-2503792676>. 2024-11-27 13:25:08 +00:00
trans.h Make transforms part of the public mps. 2023-06-12 14:19:17 +01:00
tree.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
tree.h Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
version.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
vm.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
vm.h Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
vman.c Fix indentation of second clause of license. 2020-08-30 10:13:06 +01:00
vmix.c Support the Cygwin build of MPS 2025-10-08 10:33:45 -04:00
vmw3.c Downgrading old fixmes to todos with better explanation of tasks. 2023-02-20 08:51:15 +00:00
w3i3gc.gmk Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
w3i3mv.nmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
w3i3pc.nmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
w3i6gc.gmk Support the MinGW build of MPS and tests, part 1 2025-09-24 13:02:30 +03:00
w3i6mv.bat Fix travis ci build for windows using auxiliary batch script to escape from git bash to visual studio. 2023-01-06 12:18:03 +00:00
w3i6mv.nmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
w3i6pc.nmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
walk.c Moving design documentation of signatures to design.mps.sig and updating tagging from code to be consistent. 2023-03-09 09:40:03 +00:00
walkt0.c New api function mps_pool_walk. 2022-01-17 17:39:18 +00:00
xca6ll.gmk New platform xca6ll (macos, arm64, clang/llvm). 2021-06-03 21:58:04 +01:00
xci3gc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
xci3ll.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
xci6gc.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
xci6ll.gmk Use https: instead of http: when linking to the ravenbrook web site. 2020-08-30 10:13:03 +01:00
zcoll.c Remove mps_tramp, deprecated since release 1.111.0. 2020-09-24 09:30:33 +01:00
zmess.c Avoid compilation error from clang 13.1. 2022-08-21 08:25:50 +01:00
ztfm.c Removing bogus test block introduced in 1ca69dd4a that does not work when transforms are empty or trivial. raising this for later in github issue. 2023-06-16 13:02:43 +01:00