Code

ast2sqlでviewのΔに対してinsert/deleteを出力しない#49

Code

Merged

hiroshi-cl merged 4 commits intoproof-ninja:masterproof-ninja/BIRDS:masterfrom hiroshi-cl:feat/dl2u_del2hiroshi-cl/BIRDS:feat/dl2u_del2Copy head branch name to clipboardOct 25, 2024

+9-1

Commits

Commits on Aug 31, 2024

• add example

  hiroshi-cl

  committed
  09e2f54

Commits on Sep 18, 2024

• ast2sqlでviewのΔに対してinsert/deleteを出力しない

  hiroshi-cl

  committed
  9a4d524

• viewがないDatalog式に対応

  hiroshi-cl

  committed
  5d8b072

Commits on Oct 6, 2024

• Merge remote-tracking branch 'upstream/master' into feat/dl2u_del2

  hiroshi-cl

  committed
  61cba51