libjade
libjade copied to clipboard
Safety checking in CI
Make sure that the jasmin safety checker checks all implementations through CI tests. Figure out the safetyparams string for the different functionalities to ensure memory safety also for external memory