Commits · 542c3b7c67f6e085ff85bb72a93050913b9bcb4c · pub / frama-c · GitLab

Snippets Groups Projects

Aug 02, 2017
- dlmalloc compatible with segment model · 542c3b7c
  Kostyantyn Vorobyov authored 7 years ago
  
  542c3b7c
- Test oracles update · f88e29ce
  Kostyantyn Vorobyov authored 7 years ago
  
  f88e29ce
- Enable mspace allocations in bittree model · 99248aeb
  Kostyantyn Vorobyov authored 7 years ago
  
  99248aeb
- Partial integration of dlmalloc to the point generated programs are · 2ec8fd0b
  Kostyantyn Vorobyov authored 7 years ago
  
  compiled
  2ec8fd0b
- posix_memalign in dlmalloc · f4c041f9
  Kostyantyn Vorobyov authored 7 years ago
  
  f4c041f9
- Aligned alloc in dlmalloc · cade53a5
  Kostyantyn Vorobyov authored 7 years ago
  
  cade53a5
- dlmalloc with enhanced mspaces · 0d25c8c1
  Kostyantyn Vorobyov authored 7 years ago
  
  0d25c8c1
- Pristine version of dlmalloc · 010b1de3
  Kostyantyn Vorobyov authored 7 years ago
  
  010b1de3
- 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