mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Update to Boehm GC v8.2.4 and libatomic_ops v7.8.0

Browse Source 
.gitmodules:
boehm_gc:
    Update boehm_gc submodule to release-8_2-mercury-20230712.

NEWS.md:
    Announce change.
This commit is contained in:
Peter Wang
2023-07-12 11:23:06 +10:00
parent ace86383e9
commit 0e2405be80
3 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.gitmodules vendored
View File

@@ -1,5 +1,5 @@
[submodule "boehm_gc"]
path = boehm_gc
url = ../bdwgc.git
branch = release-8_0-mercury
branch = release-8_2-mercury
update = checkout

5
NEWS.md
View File

@@ -1199,6 +1199,11 @@ Changes to the Mercury debugger
* The `dump` command has a new option: `dump -p Var` will dump the value
of the given variable in a prettyprinted form.
Changes to the Mercury implementation
-------------------------------------
* We have upgraded the bundled Boehm GC to v8.2.4 and libatomic_ops to v7.8.0.
Portability improvements
------------------------

2
boehm_gc

Submodule boehm_gc updated: 84e76dd6ff...90d9234e52