Code

Add a file exists check to adaptived#24

Code

Closed

gkennedy12 wants to merge 3 commits intooracle:masteroracle/adaptivemm:masterfrom gkennedy12:file_existsgkennedy12/adaptivemm:file_existsCopy head branch name to clipboard

+88-8

Commits

Commits on Nov 8, 2024

• adaptived: add a function to check for file exists

  Show description for 9b0dfa5
  gkennedy12

  committed
  9b0dfa5

  Copy full SHA for 9b0dfa5

• adaptived: add adaptived_file_exists() to the effects

  Show description for 9868425
  gkennedy12

  committed
  9868425

  Copy full SHA for 9868425

• adaptived: add adaptived_file_exists() to the causes

  Show description for be33b14
  gkennedy12

  committed
  be33b14

  Copy full SHA for be33b14