Commits · 9d69d7cf023dcd87bce7ffb318197b9b1379668d · pub / frama-c · GitLab

Snippets Groups Projects

Dec 06, 2018
- [Libc] add more specs · 9d69d7cf
  Andre Maroneze authored 6 years ago
  
  9d69d7cf
Dec 05, 2018
- Merge branch 'feature/andre/libc-pwd' into 'master' · 54b63eba
  Valentin Perrelle authored 6 years ago
  
  [Libc] add specs for getpwuid, getcwd and pathconf See merge request frama-c/frama-c!2091
  54b63eba
Dec 04, 2018
- Merge branch 'bugfix/patrick/check-volatile-qualifier' into 'master' · ba72d64b
  Virgile Prevosto authored 6 years ago
  
  fixes AST integrity checking See merge request frama-c/frama-c!2092
  ba72d64b
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Nov 30, 2018
- fixes AST integrity checking · f1219ac3
  Patrick Baudin authored 6 years ago
  
  f1219ac3
Nov 29, 2018
- Updates VERSION and Changelog files for the master branch. · d660df76
  David Bühler authored 6 years ago
  
  d660df76
- Merge branch 'stable/argon' · c4c5818e
  David Bühler authored 6 years ago
  
  c4c5818e
Nov 28, 2018
- Fixes the build-src-distrib script for the new VERSION format. · 25dc09e0
  David Bühler authored 6 years ago
  
  25dc09e0
Nov 23, 2018
- Merge branch 'fix/andre/ptests-stdopt-log' into 'master' · 40750dd7
  Virgile Prevosto authored 6 years ago
  
  [Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
  40750dd7
Dec 09, 2005
- The public history of Frama-C has been truncated to the commits after the tag 18.0 · a35d2118
  Frama-C Team authored 19 years ago
  
  a35d2118