From 00746bf09047cdf01c19dac513a532bcf3ed3ea3 Mon Sep 17 00:00:00 2001 From: Ellie Hermaszewska Date: Wed, 9 Jul 2025 14:41:19 +0800 Subject: Stable names and backwards compat for serialized IR modules (#7644) * stable names * tests, options and ci for stable names * Add back compat design document * fix warnings * formatting * comment * neaten * regenerate command line reference * consolidate ci scripts * faster ci * remove libreadline * Move new function to end of interface --------- Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com> --- docs/command-line-slangc-reference.md | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'docs/command-line-slangc-reference.md') diff --git a/docs/command-line-slangc-reference.md b/docs/command-line-slangc-reference.md index d8d58ec9b..c7d216a6e 100644 --- a/docs/command-line-slangc-reference.md +++ b/docs/command-line-slangc-reference.md @@ -681,6 +681,16 @@ Verify IR in the front-end. Disassemble and print the module IR. + +### -get-module-info +Print the name and version of a serialized IR Module + + + +### -get-supported-module-versions +Print the minimum and maximum module versions this compiler supports + + ## Repro -- cgit v1.2.3