Skip to content

#46 2-1の修正: ast2sqlでソースのカラム名を伝搬させず述語のカラム名をそのまま使うようにした#51

Merged
hiroshi-cl merged 4 commits intoproof-ninja:masterfrom hiroshi-cl:fix/dl2u_tmp_errorOct 31, 2024