Commits · master · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

Mar 22, 2023
- [docker] remove user id · d87e58d9
  GARION Christophe authored 2 years ago
  
  d87e58d9
- [docker] add user ID and group for run script · cbe1f5d2
  GARION Christophe authored 2 years ago
  
  cbe1f5d2
- [docker] update docker instance name · c8d3cedc
  GARION Christophe authored 2 years ago
  
  c8d3cedc
- [docker] update container ID in script · 88b68d0c
  GARION Christophe authored 2 years ago
  
  88b68d0c
- [docker] change run script name · 9552f69c
  GARION Christophe authored 2 years ago
  
  9552f69c
- [docker] create new Docker image for running tests · c0cba938
  GARION Christophe authored 2 years ago
  
  c0cba938
Feb 23, 2023
- [scripts] refactor script to launch docker · 7f2767c0
  GARION Christophe authored 2 years ago
  
  7f2767c0
- [scripts] typos in frama-c-lustrec.sh script · 3b482498
  GARION Christophe authored 2 years ago
  
  3b482498
- [scripts] add a shell script to launch Frama-C · a32f130c
  GARION Christophe authored 2 years ago
  
  a32f130c