Code

Add EXTERNAL_PROJECTS cmake option#1100

Code

Merged

nunoplopes merged 3 commits intoAliveToolkit:masterAliveToolkit/alive2:masterfrom emmtrix:external-projectsemmtrix/alive2:external-projectsCopy head branch name to clipboardNov 2, 2024

+7

Commits

Commits on Sep 4, 2024

• Add EXTERNAL_PROJECTS option

  can-leh-emmtrix

  committed
  c6d346d

  Copy full SHA for c6d346d

Commits on Oct 21, 2024

• Rename

  can-leh-emmtrix

  committed
  f359c8e

  Copy full SHA for f359c8e

• Comment

  can-leh-emmtrix

  committed
  654d6b5

  Copy full SHA for 654d6b5