Commits · 8efcc298a86bf82a0feb136c80dbfd8fdc6c7be6 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 26, 2018
- [nix] compacted update · 8efcc298
  Patrick Baudin authored 6 years ago
  
  8efcc298
Oct 24, 2018
- Merge branch 'fix/andre/string-specs-null' into 'master' · b7deb81d
  Virgile Prevosto authored 6 years ago
  
  sync with frama-c!2018 See merge request frama-c/e-acsl!252
  b7deb81d
- Merge branch 'fix/andre/test-oracles' into 'master' · 7bd4be74
  Andre Maroneze authored 6 years ago
  
  fix test oracles See merge request frama-c/e-acsl!261
  7bd4be74
- fix test oracles · fcca0083
  Andre Maroneze authored 6 years ago
  
  fcca0083
- Merge branch 'feature/andre/libc-misc-specs' into 'master' · 89282150
  Andre Maroneze authored 6 years ago
  
  sync with frama-c/frama-c!1873 See merge request frama-c/e-acsl!242
  89282150
- Merge branch 'feature/virgile/warn-key-unique-opt' into 'master' · 247b693d
  Andre Maroneze authored 6 years ago
  
  synchronisation with frama-c!2038 See merge request frama-c/e-acsl!253
  247b693d
- sync with frama-c!2018 · e684cc49
  Andre Maroneze authored 6 years ago
  
  e684cc49
Oct 23, 2018
- Merge branch 'julien/bugfix/incomplete_types' into 'master' · 8df096d9
  Fonenantsoa Maurica authored 6 years ago
  
  do not monitor variables with incomplete types (fix bts #2406) See merge request frama-c/e-acsl!258
  8df096d9
- do not monitor variables with incomplete types (fix bts #2406) · dbd447ab
  Julien Signoles authored 6 years ago and Fonenantsoa Maurica committed 6 years ago
  
  dbd447ab
Oct 22, 2018
- [tests] use -eva-ignore-recursive-calls where needed · c9c47b7b
  Virgile Prevosto authored 6 years ago
  
  c9c47b7b
- Merge branch 'feature/update_headers' into 'master' · c3d18692
  Julien Signoles authored 6 years ago
  
  Update headers See merge request frama-c/e-acsl!257
  c3d18692
- Add new files to header spec and update them · 20ec4bb7
  François Bobot authored 6 years ago
  
  20ec4bb7
Oct 19, 2018
- Merge branch 'feature/fonenantsoa/ranges-gmp' into 'master' · 48bbdd69
  Julien Signoles authored 6 years ago
  
  Ranges on memory area of size in GMP See merge request frama-c/e-acsl!256
  48bbdd69
- Ranges on memory area of size in GMP · 01b632f9
  Fonenantsoa Maurica authored 6 years ago and Julien Signoles committed 6 years ago
  
  01b632f9
Oct 17, 2018
- [tests] update options against kernel changes · ef2504ad
  Virgile Prevosto authored 6 years ago
  
  ef2504ad
Oct 15, 2018
- Merge branch 'feature/patrick/multiple-header-spec-files-part2' into 'master' · 3d97921d
  Julien Signoles authored 6 years ago
  
  [headers] header spec files See merge request frama-c/e-acsl!243
  3d97921d
- [headers] cut too long lines and replace tabs by spaces · 9b2ec1fb
  Julien Signoles authored 6 years ago
  
  9b2ec1fb
- [Makefile] installation in internal/external compilation mode · d716a33d
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  d716a33d
- [Makefile] distribution in internal/external compilation mode · b6b8ad62
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  b6b8ad62
- [makefile] minor change · 1dccebda
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  1dccebda
- [headers] makefile: removing EACSL_NOHEADER variable · 82e6c1bf
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  82e6c1bf
- [headers] makefile: EACSL_NOHEADER becomes an empty list · 938793f8
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  938793f8
- [headers] compilation mode: · f21087cc
  Patrick Baudin authored 6 years ago and Julien Signoles committed 6 years ago
  
  internal: use of hdrck for targets headers, check-headers and src-distrib external: reviewed target headers
  f21087cc
- sync with frama-c/frama-c!1873 · 3b51d7ef
  Andre Maroneze authored 6 years ago
  
  3b51d7ef
Oct 10, 2018
- Merge branch 'fix/eva/renaming' into 'master' · 56bc07be
  Andre Maroneze authored 6 years ago
  
  Synchronize with frama-c!2021: Value becomes Eva (2) See merge request frama-c/e-acsl!249
  56bc07be
Oct 09, 2018
- Merge branch 'feature/julien/update-userman' into 'master' · 0fac8231
  Fonenantsoa Maurica authored 6 years ago
  
  Improve userman Closes #58 See merge request frama-c/e-acsl!241
  0fac8231
- [userman] fix Chlorine's changes · e87b1bb9
  Julien Signoles authored 6 years ago
  
  e87b1bb9
- [userman] fixes according to Fonenantsoa' suggestions · 28bbba56
  Julien Signoles authored 6 years ago
  
  28bbba56
- [userman] the RTL is not thread-safe · e907b7fb
  Julien Signoles authored 6 years ago
  
  e907b7fb
- [userman] replace section 'Limitations of E-ACSL Monitoring Libraries' by... · 3056817a
  Julien Signoles authored 6 years ago
  
  [userman] replace section 'Limitations of E-ACSL Monitoring Libraries' by 'Supported Systems' + improved index
  3056817a
- [userman] changes · 86b50950
  Julien Signoles authored 6 years ago
  
  86b50950
- [userman] highlight the importance of -e-acsl-prepare as suggested in issue #58 · 3e034a88
  Julien Signoles authored 6 years ago
  
  3e034a88
- [userman] little-endian · 7196edfa
  Julien Signoles authored 6 years ago
  
  7196edfa
- [userman] the memory analysis is not robust · 06527efa
  Julien Signoles authored 6 years ago
  
  06527efa
- [userman] improve intro · 7eb472b7
  Julien Signoles authored 6 years ago
  
  7eb472b7
- Updates oracles: Value becomes Eva. · 915972a1
  David Bühler authored 6 years ago
  
  915972a1
Oct 08, 2018
- [changelog] add one missing char · c58be399
  Julien Signoles authored 6 years ago
  
  c58be399
Oct 05, 2018
- Merge branch 'architecture/fonenantsoa/no_init' into 'master' · 340fb6d3
  Julien Signoles authored 6 years ago
  
  Remove useless ?init from Env See merge request frama-c/e-acsl!248
  340fb6d3
- Remove useless ?init from Env. · 5a1d0998
  Fonenantsoa Maurica authored 6 years ago
  
  5a1d0998
- Merge branch 'architecture/fonenantsoa/mmodel_translate' into 'master' · 2bcc5992
  Julien Signoles authored 6 years ago
  
  Memory instrumentation moved in Mmodel_translate. See merge request frama-c/e-acsl!247
  2bcc5992