Commits · a9af38b5bfb5834802850823556bdfed3aa17672 · pub / frama-c · GitLab

Snippets Groups Projects

Aug 02, 2017
- Renaming · a9af38b5
  Kostyantyn Vorobyov authored 7 years ago
  
  a9af38b5
- Rename memory_layout to shadow_layout as that's what it is · 879532b5
  Kostyantyn Vorobyov authored 7 years ago
  
  879532b5
- Separate function aliases into their own header · 7c0a6b37
  Kostyantyn Vorobyov authored 7 years ago
  
  7c0a6b37
- Track offset in global vars (prereq. to temporal analysis) · 6b73d17c
  Kostyantyn Vorobyov authored 7 years ago
  
  6b73d17c
- Add ability to add statements after statements in env · 711a3ed0
  Kostyantyn Vorobyov authored 7 years ago
  
  711a3ed0
- Several new options in e-acsl-gcc · d1ccca6d
  Kostyantyn Vorobyov authored 7 years ago
  
  d1ccca6d
- Weak validity in segment model · 548a008c
  Kostyantyn Vorobyov authored 7 years ago
  
  548a008c
- Comments · 7e3b240f
  Kostyantyn Vorobyov authored 7 years ago
  
  7e3b240f
- Initialize program arguments from within RTL · d5013fc0
  Kostyantyn Vorobyov authored 7 years ago
  
  d5013fc0
- Updated runtime reports · dcb26740
  Kostyantyn Vorobyov authored 7 years ago
  
  dcb26740
- Comments · faa0377b
  Kostyantyn Vorobyov authored 7 years ago
  
  faa0377b
- Set heap/stack shadow size via macros + debug macros · 195e1b45
  Kostyantyn Vorobyov authored 7 years ago
  
  195e1b45
- Minor refactoring in bittree model · 1e14663a
  Kostyantyn Vorobyov authored 7 years ago
  
  1e14663a
- Extra assertions in bittree · 53a3dd0e
  Kostyantyn Vorobyov authored 7 years ago
  
  53a3dd0e
Jul 25, 2017
- Merge branch 'feature/andre/snprintf-check-valid' into 'master' · 2d6a53e8
  Andre Maroneze authored 7 years ago
  
  sync with frama-c/frama-c!1344 See merge request !155
  2d6a53e8
Jul 12, 2017
- sync with frama-c/frama-c!1344 · 13dcbfaa
  Andre Maroneze authored 7 years ago
  
  13dcbfaa
Jul 10, 2017
- Update .gitlab-ci.yml, use --rootfs default · 85b0b1ac
  François Bobot authored 7 years ago
  
  85b0b1ac
Jun 01, 2017
- tag Changelog with version number · 4591e135
  Virgile Prevosto authored 7 years ago
  
  4591e135
- Add missing headers · 85cd0c8b
  Virgile Prevosto authored 7 years ago
  
  85cd0c8b
- Make header generation compliant with hdrck · 41aff85f
  Virgile Prevosto authored 7 years ago
  
  allows `make check-header` to succeed when E-ACSL is compiled in internal mode
  41aff85f
May 16, 2017
- Merge branch 'feature/andre/libc-spec-abs' into 'master' · 077dec34
  Virgile Prevosto authored 7 years ago
  
  synchronize with frama-c/frama-c!1324 See merge request !149
  077dec34
- synchronize with frama-c/frama-c!1324 · 69ab5ecf
  Andre Maroneze authored 7 years ago
  
  69ab5ecf
Apr 26, 2017
- Merge branch 'feature/andre/rm-builtin-for-normalization' into 'master' · b3f84e85
  Virgile Prevosto authored 7 years ago
  
  synchronize with frama-c/frama-c!1243 See merge request !148
  b3f84e85
- synchronize with frama-c/frama-c!1243 · 0cf5e795
  Andre Maroneze authored 7 years ago and Virgile Prevosto committed 7 years ago
  
  0cf5e795
Apr 21, 2017
- Merge branch 'stable/phosphorus' · 5f43e960
  Virgile Prevosto authored 7 years ago
  
  5f43e960
- Merge branch 'fix/clean-up-refman' into 'stable/phosphorus' · b0aecc4a
  Julien Signoles authored 7 years ago
  
  remove generated file from git repository See merge request !147
  b0aecc4a
- remove generated file from git repository · a64e010e
  Virgile Prevosto authored 7 years ago
  
  a64e010e
- Merge branch 'fix/install-refman' into 'stable/phosphorus' · 029c9c9e
  Virgile Prevosto authored 7 years ago
  
  use printf instead of echo for portability See merge request !146
  029c9c9e
- Merge branch 'stable/phosphorus' · a8819615
  Julien Signoles authored 7 years ago
  
  a8819615
- Merge branch 'feature/manuals-versioning' into 'stable/phosphorus' · 761de8d5
  Julien Signoles authored 7 years ago
  
  manuals take Frama-C's version number for an internal release See merge request !144
  761de8d5
- Merge branch 'fix/install-target' into 'stable/phosphorus' · b30372d7
  Julien Signoles authored 7 years ago
  
  fixes install target when manuals have been generated See merge request !145
  b30372d7
- use printf instead of echo for portability · 11c110f6
  Andre Maroneze authored 7 years ago
  
  11c110f6
Apr 20, 2017
- fixes install target when manuals have been generated · ed02a1be
  Virgile Prevosto authored 7 years ago
  
  ed02a1be
- manuals take Frama-C's version number for an internal release · e42869a0
  Virgile Prevosto authored 7 years ago
  
  e42869a0
- Merge branch 'fix/install-refman' into 'stable/phosphorus' · 96b2f580
  Virgile Prevosto authored 7 years ago
  
  create manuals dir if it does not exist See merge request !143
  96b2f580
- create manuals dir if it does not exist · 4cdb04b1
  Virgile Prevosto authored 7 years ago
  
  4cdb04b1
Apr 19, 2017
- Merge branch 'fix/4.04-compilation' into 'stable/phosphorus' · 8946ac3f
  Virgile Prevosto authored 7 years ago
  
  [makefile] use appropriate prefix to refer to source files See merge request !141
  8946ac3f
Apr 14, 2017
- [makefile] use appropriate prefix to refer to source files · 613ac2bc
  Virgile Prevosto authored 7 years ago
  
  current dir might not be E-ACSL's main dir. For instance when the plug-in is included in the main distribution
  613ac2bc
- Merge branch 'stable/phosphorus' · 8dd76061
  Virgile Prevosto authored 7 years ago
  
  8dd76061
- Merge branch 'kostyantyn/bugfix/mini-gmp' into 'stable/phosphorus' · 123bde3d
  Virgile Prevosto authored 7 years ago
  
  Remove manuals and full implementation of GMP See merge request !140
  123bde3d