README.md · 00075c16a1859a75b0e1b9339b926e1646acc5c6 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

2 years ago
00075c16
remove reset_cleared strategy from the FramaC plugin, and add optimization... · 00075c16
BRUN Lelio authored 2 years ago
```
remove reset_cleared strategy from the FramaC plugin, and add optimization level parameter to test file
```
00075c16

History
remove reset_cleared strategy from the FramaC plugin, and add optimization...
BRUN Lelio authored 2 years ago
```
remove reset_cleared strategy from the FramaC plugin, and add optimization level parameter to test file
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.