[pull] main from B-Lang-org:main - #185

Merged

pull[bot] merged 33 commits into

chenm001:mainfrom

B-Lang-org:main

Jul 14, 2026

Commits on Jul 14, 2026

Add a position-tracking field to IRefT (currently unused)

nanavati
authored and
quark17
committed
Remove the obsolete -cross-info flag

nanavati
authored and
quark17
committed
Remove the deepseq in ISyntaxSubst that was hiding underlying leaks.

nanavati
authored and
quark17
committed
Avoid memory leaks in the evaluator by reorganizing tracing logic.

nanavati
authored and
quark17
committed
Deepseq IRefT expressions when created to prevent leaks.

nanavati
authored and
quark17
committed
Re-enable PureLoop test now that memory leaks have been plugged.

nanavati
authored and
quark17
committed
ActionValue loop needs some more stack, but we can tighten the memory bounds.

nanavati
authored and
quark17
committed
Factor deepseq'd IRefT creation into a mkIRefT smart constructor

authored and
quark17
committed
testsuite: pin current bad positions of mcd clock-check errors

authored and
quark17
committed
testsuite: add known-bad snapshots of mcd clock-check output

authored and
quark17
committed
Centralize heap cell name forcing in addHeapCell

authored and
quark17
committed
Balanced: force strict evaluation in foldbal recursion to avoid space leak

nanavati
authored and
quark17
committed
InlineCReg: use Set membership for creg_ports lookup

nanavati
authored and
quark17
committed
AExpand: precompute aoptExpandTest's instVars as a Set

nanavati
authored and
quark17
committed
AVerilog: use Map membership in ds7 filter via isADefFromMap

nanavati
authored and
quark17
committed
SCC: use foldl' in decrList to avoid thunk pile-up across loop iterations

nanavati
authored and
quark17
committed
Balanced: force foldm.recFn's combined value strictly so it doesn't defer through log-depth play calls

nanavati
authored and
quark17
committed
IExpand: rework eqPtrs to use foldl', strict tuple, and SCC.tsort

nanavati
authored and
quark17
committed
ITransform: use strict State, force inserted maps and incremented idNo

nanavati
authored and
quark17
committed
AOpt: use strict State, force defmap/usemap on addDef

nanavati
authored and
quark17
committed
SpeedyString: use strict IntMap and force IORef updates in newSString

nanavati
authored and
quark17
committed
Id, ITransform, IExpand: share idQuality and pick best-named canonical

nanavati
authored and
quark17
committed
Add perf-creg-blowup regression tests

nanavati
authored and
quark17
committed
testsuite: check .ba intermediate files in check_intermediate_files

nanavati
authored and
quark17
committed
Makefile: raise default -K to 256m for profiling builds

nanavati
authored and
quark17
committed
perf-creg-blowup: size each test's -K at >=2x its measured peak

nanavati
authored and
quark17
committed
testsuite: sanity-check generated .ba files with dumpba

authored and
quark17
committed
eqPtrs: restore tSortInt tie order and keep hidden defs hidden

authored and
quark17
committed
Cache ATF resolutions for fullTypeNormalizer

nanavati
authored and
quark17
committed
Use satisfyFV in ISyntaxCheck eqTypeNum to resolve abstract Add provisos

nanavati
authored and
quark17
committed
Unify ISyntaxCheck tracing under -trace-icheck flag

nanavati
authored and
quark17
committed
Store only a package's own ATF cache in its .bo file

authored and
quark17
committed
ATF cache: record only coherent resolutions; pin the hit path with tests

authored and
quark17
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[pull] main from B-Lang-org:main - #185

[pull] main from B-Lang-org:main#185
pull[bot] merged 33 commits into
chenm001:mainfrom
B-Lang-org:main

Commits on Jul 14, 2026

Add a position-tracking field to IRefT (currently unused)

Remove the obsolete -cross-info flag

Remove the deepseq in ISyntaxSubst that was hiding underlying leaks.

Avoid memory leaks in the evaluator by reorganizing tracing logic.

Deepseq IRefT expressions when created to prevent leaks.

Re-enable PureLoop test now that memory leaks have been plugged.

ActionValue loop needs some more stack, but we can tighten the memory bounds.

Factor deepseq'd IRefT creation into a mkIRefT smart constructor

testsuite: pin current bad positions of mcd clock-check errors

testsuite: add known-bad snapshots of mcd clock-check output

Centralize heap cell name forcing in addHeapCell

Balanced: force strict evaluation in foldbal recursion to avoid space leak

InlineCReg: use Set membership for creg_ports lookup

AExpand: precompute aoptExpandTest's instVars as a Set

AVerilog: use Map membership in ds7 filter via isADefFromMap

SCC: use foldl' in decrList to avoid thunk pile-up across loop iterations

Balanced: force foldm.recFn's combined value strictly so it doesn't defer through log-depth play calls

IExpand: rework eqPtrs to use foldl', strict tuple, and SCC.tsort

ITransform: use strict State, force inserted maps and incremented idNo

AOpt: use strict State, force defmap/usemap on addDef

SpeedyString: use strict IntMap and force IORef updates in newSString

Id, ITransform, IExpand: share idQuality and pick best-named canonical

Add perf-creg-blowup regression tests

testsuite: check .ba intermediate files in check_intermediate_files

Makefile: raise default -K to 256m for profiling builds

perf-creg-blowup: size each test's -K at >=2x its measured peak

testsuite: sanity-check generated .ba files with dumpba

eqPtrs: restore tSortInt tie order and keep hidden defs hidden

Cache ATF resolutions for fullTypeNormalizer

Use satisfyFV in ISyntaxCheck eqTypeNum to resolve abstract Add provisos

Unify ISyntaxCheck tracing under -trace-icheck flag

Store only a package's own ATF cache in its .bo file

ATF cache: record only coherent resolutions; pin the hit path with tests