search

g2glab / pg

PG Tools
MIT License
6 stars 1 forks source link

GPG の soundness を確認するプログラムの作成 #4

Closed ryotayamanaka closed 8 months ago

ryotayamanaka commented 6 years ago

生成された GPG が (1) 文法的に (2) 意味的に 正しいかどうかを確認する。ここで、意味的に正しくない、というのがどういう場合か（例えば、Node ID の重複は OK？）といった点は別途それぞれ考慮し、それらを反映させる。

hchiba1 commented 8 months ago

followed by the discussion: https://github.com/orgs/pg-format/discussions/16