Commits · b55f010a9931c73af14760f2ff0a9694234a02c4 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 22, 2021
- [wp] Smarter unfolding for assigns · b55f010a
  Allan Blanchard authored 4 years ago
  
  b55f010a
Jan 21, 2021
- [wp] No more Cil unfolding for -wp-unfold-assigns · c57ac42d
  Allan Blanchard authored 4 years ago
  
  c57ac42d
- [wp] Add tests for nesting with -wp-unfold-assigns · 150618d5
  Allan Blanchard authored 4 years ago
  
  150618d5
- [wp] Extend -wp-unfold-assigns to handle ranges · fcf35a4c
  Allan Blanchard authored 4 years ago
  
  fcf35a4c
- [WP] fixes smp_eq_with_lor (adds an integrity test) · 3f20b135
  Patrick Baudin authored 4 years ago
  
  3f20b135
- [WP] fixes smp_eq_with_lor · 1a0a1a72
  Patrick Baudin authored 4 years ago
  
  1a0a1a72
Jan 20, 2021
- Apply 1 suggestion(s) to 1 file(s) · a93bcd53
  Loïc Correnson authored 4 years ago
  
  a93bcd53
- [wp] Changelog · 048ef283
  Allan Blanchard authored 4 years ago
  
  048ef283
Jan 19, 2021
- [wp] Cosmetic change · 0bbc8657
  Allan Blanchard authored 4 years ago
  
  0bbc8657
- [wp] Fixes block_length in MemTyped · 39454ae9
  Allan Blanchard authored 4 years ago
  
  39454ae9
Jan 18, 2021
- [wp] Fixes block_length for opaque structs · 9744d2ad
  Allan Blanchard authored 4 years ago
  
  9744d2ad
- [wp] Fixes opaque structures handling · cbeb87db
  Allan Blanchard authored 4 years ago
  
  cbeb87db
Jan 15, 2021
- Use Option functions instead of Extlib for !2992 · 34eb74f3
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  34eb74f3
- [kernel] Cil_types.compinfo.cfield as option · 9e2ccb8c
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 4 years ago
  
  9e2ccb8c
Jan 13, 2021
- Add location information for many not_yet_implemented errors · c72f4226
  Virgile Prevosto authored 4 years ago
  
  c72f4226
Jan 12, 2021
- [WP] updates json script files · f4a26236
  Patrick Baudin authored 4 years ago
  
  f4a26236
Jan 08, 2021
- [WP] minor: fixes a comment · 350350ce
  Patrick Baudin authored 4 years ago
  
  350350ce
Jan 06, 2021
- [wp] Fixes dispatch of sqrt in real mode · 9fa07ffc
  Allan Blanchard authored 4 years ago
  
  9fa07ffc
Jan 05, 2021
- [wp] Adds tests for simplifiers + generalize some · 06429422
  Allan Blanchard authored 4 years ago
  
  06429422
Dec 21, 2020
- [wp] Updates WP tests related to new default machdep · b4a83290
  Allan Blanchard authored 4 years ago and Andre Maroneze committed 4 years ago
  
  b4a83290
- [wp] Update tests for new default machdep · a551f7d0
  Basile Desloges authored 4 years ago and Andre Maroneze committed 4 years ago
  
  a551f7d0
Dec 16, 2020
- [wp] Add null to invalid def + fixes some comments · 0f2f8c05
  Allan Blanchard authored 4 years ago
  
  0f2f8c05
Dec 15, 2020
- [wp] Improves null (in)validity · 9d872001
  Allan Blanchard authored 4 years ago
  
  9d872001
Dec 11, 2020
- [wp] Lookup only ignores primitive terms · 75e0e38a
  Allan Blanchard authored 4 years ago
  
  75e0e38a
- [WP] add an example about string comparison into wp_gallery · 57cfeff2
  Patrick Baudin authored 4 years ago
  
  57cfeff2
Dec 10, 2020
- [wp] Do not look for closed terms in model lookup · 133a630a
  Allan Blanchard authored 4 years ago
  
  133a630a
Dec 09, 2020
- [wp] Removes an example from gallery · 3297572a
  Allan Blanchard authored 4 years ago
  
  3297572a
- [wp] Upgrade script for AE 2.2.0 · 083a4082
  Allan Blanchard authored 4 years ago and Andre Maroneze committed 4 years ago
  
  083a4082
- [tests] remove extraneous test oracles · b3d0ff2e
  Andre Maroneze authored 4 years ago
  
  b3d0ff2e
- [wp] rename test from .h to .i to ensure it is executed · 0813e363
  Andre Maroneze authored 4 years ago
  
  0813e363
Dec 08, 2020
- [wp] Removes a test related to native Alt-Ergo · 137b8fd6
  Allan Blanchard authored 4 years ago
  
  137b8fd6
Dec 03, 2020
- add newlines at end of text files · 791ce746
  Andre Maroneze authored 4 years ago
  
  791ce746
Nov 30, 2020
- [doc][wp] Remove files imported at compilation time · 64dc9a46
  Basile Desloges authored 4 years ago
  
  64dc9a46
- [doc] Use common CEA affiliation in the manuals · bbe4221a
  Basile Desloges authored 4 years ago
  
  bbe4221a
Nov 26, 2020
- [kernel] Update module name for Cil_builtins functions · 81f4d50f
  Basile Desloges authored 4 years ago
  
  81f4d50f
- [wp] fix triggers for cint ranges · 3c154908
  Loïc Correnson authored 4 years ago
  
  3c154908
Nov 20, 2020
- [wp/doc] Add author in manual · 743001d2
  Allan Blanchard authored 4 years ago
  
  743001d2
Nov 17, 2020
- [wp] Moves a test from kernel to WP · 84cfb470
  Allan Blanchard authored 4 years ago
  
  84cfb470
Nov 12, 2020
- [wp] Rephrase a from warning · 274fce90
  Allan Blanchard authored 4 years ago
  
  274fce90
Nov 10, 2020
- [Cil] Use forder as part of the key in in Cil_datatype.Fieldinfo · 56a347e3
  Valentin Perrelle authored 4 years ago
  
  56a347e3