Code

Refresh gcm script#7396

Code

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom pelikhan:genaiscriptpelikhan/z3:genaiscriptCopy head branch name to clipboardSep 23, 2024

+2,705-47

Commits

Commits on Sep 23, 2024

• Add .gitattributes for genaiscript and update git commit flow script.

  pelikhan

  committed
  7ed0799

  Copy full SHA for 7ed0799