Thanks. CC’ing the list as that’s what we use for the record of requests. --paulr
From: Chris Dodd <cd...@acm.org> Sent: Sunday, July 28, 2024 1:38 AM To: Robinson, Paul <paul.robin...@sony.com> Subject: Re: [Dwarf-discuss] Dwarf language code for P4 langauge For P4, the lower bound for arrays is 0, and the versioning scheme is VVMMPP (current latest version is 010204 - 1.2.4 published last year though there will likely soon be a 1.2.5 version) On Sat, Jul 27, 2024 at 1:46 AM Robinson, Paul <paul.robin...@sony.com<mailto:paul.robin...@sony.com>> wrote: It’s not written down anywhere (probably should be) but in order to assign a new language code, we need some additional information. Specifically, we need a default lower bound for arrays (as seen at https://dwarfstd.org/languages.html<https://urldefense.com/v3/__https:/dwarfstd.org/languages.html__;!!JmoZiZGBv3RvKRSx!9Z5MdavTBvGySbiUC6O6DkqDjW3rUhKBAkatenGI3mss0pmgW4voIkMuYYGKMgoDoTDGu-0S7IHv4A$> ) and for the upcoming DWARF v6, a versioning scheme (as seen at https://dwarfstd.org/languages-v6.html<https://urldefense.com/v3/__https:/dwarfstd.org/languages-v6.html__;!!JmoZiZGBv3RvKRSx!9Z5MdavTBvGySbiUC6O6DkqDjW3rUhKBAkatenGI3mss0pmgW4voIkMuYYGKMgoDoTDGu-3qN1Qj3A$> ). --paulr From: Dwarf-discuss <dwarf-discuss-bounces~paul.robinson=sony....@lists.dwarfstd.org<mailto:sony....@lists.dwarfstd.org>> On Behalf Of Chris Dodd via Dwarf-discuss Sent: Thursday, July 25, 2024 8:52 PM To: dwarf-discuss@lists.dwarfstd.org<mailto:dwarf-discuss@lists.dwarfstd.org> Subject: [Dwarf-discuss] Dwarf language code for P4 langauge I'd like to request the allocation of a new language code for the P4 language (https://p4.org/<https://urldefense.com/v3/__https:/p4.org/__;!!JmoZiZGBv3RvKRSx!_N6_4_oVx5hIG_4hkphOerZAwOAoXMR5BX8pL3X9tX1dZU01l4Hispv7JdNsdPRH8v7I65g01Vv7vspw_Ns7x4M9PqTgaESQ$>). Is there a standard process for this, or a different place it should be requested? Chris Dodd cd...@nvidia.com<mailto:cd...@nvidia.com>
-- Dwarf-discuss mailing list Dwarf-discuss@lists.dwarfstd.org https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss
