Commits · 32dd5b495970a18401b76f36a868cb1fdef78408 · pub / frama-c · GitLab

Snippets Groups Projects

May 12, 2020
- Merge branch 'feature/andre/normalize-changelog' into 'stable/scandium' · 32dd5b49
  Andre Maroneze authored 4 years ago
  
  Feature/andre/normalize changelog See merge request frama-c/frama-c!2639
  32dd5b49
May 11, 2020
- Merge branch 'fix/mergecil/spec-on-anonymous-args' into 'stable/scandium' · f88abf5a
  Andre Maroneze authored 4 years ago
  
  [link] merge names of formals when old prototype has anonymous parameter See merge request frama-c/frama-c!2645
  f88abf5a
May 07, 2020
- fix indentation · 41c3d54c
  Virgile Prevosto authored 4 years ago
  
  41c3d54c
- [link] merge names of formals when old prototype has anonymous parameter · ee84f7cb
  Virgile Prevosto authored 4 years ago
  
  ee84f7cb
- add new author · 669b4859
  Andre Maroneze authored 4 years ago
  
  669b4859
- [Doc/Release] Update release manual · 18464506
  Andre Maroneze authored 4 years ago
  
  18464506
- update ocamldoc version tags · d8b841bf
  Andre Maroneze authored 4 years ago
  
  d8b841bf
- add changelog entries for 21.0 (Scandium) · d795e9fd
  Andre Maroneze authored 4 years ago
  
  d795e9fd
- update VERSION for beta release · 19336046
  Andre Maroneze authored 4 years ago
  
  19336046
- [Doc] update installation instructions · 1a712beb
  Andre Maroneze authored 4 years ago
  
  1a712beb
- [readme] fix opam name; add mention to Gitlab · 9e3fd121
  Andre Maroneze authored 4 years ago
  
  9e3fd121
- [Doc] update Known working configuration · 68c92903
  Andre Maroneze authored 4 years ago
  
  68c92903
- [WP][E-ACSL] Normalize Changelogs · bbe7038f
  Andre Maroneze authored 4 years ago
  
  bbe7038f
- [Changelog] Use valid ISO 8601 formats for dates · fff91590
  Andre Maroneze authored 4 years ago
  
  fff91590
- [Changelog] Normalize old release version names · a2d119bc
  Andre Maroneze authored 4 years ago
  
  a2d119bc
- Missing Changelog entry from !2637 · bffdb276
  Virgile Prevosto authored 4 years ago
  
  (boo @buhler )
  bffdb276
- Update Changelog following !2644 · 58f216b9
  Virgile Prevosto authored 4 years ago
  
  58f216b9
- Merge branch 'fix/andre/doc-page-hyperref' into 'stable/scandium' · a8eca27a
  Virgile Prevosto authored 4 years ago
  
  [Doc] fix minor page number issue with hyperref See merge request frama-c/frama-c!2644
  a8eca27a
- Merge branch 'fix/andre/plugin-experimental-status' into 'master' · c027afda
  Virgile Prevosto authored 4 years ago
  
  [Plugins] fix experimental status of some plugins See merge request frama-c/frama-c!2643
  c027afda
- [Plugins] fix experimental status of some plugins · 2c2d4580
  Andre Maroneze authored 4 years ago
  
  2c2d4580
- [Doc] fix minor page number issue with hyperref · 555096d9
  Andre Maroneze authored 4 years ago
  
  Suggested by jens (https://bts.frama-c.com/view.php?id=2505)
  555096d9
May 05, 2020
- [Release/Doc] update release instructions · 5c0d126d
  Andre Maroneze authored 4 years ago
  
  5c0d126d
- Change default branch · 5aac7db6
  Andre Maroneze authored 4 years ago
  
  5aac7db6
May 04, 2020
- Merge branch 'fix/andre/analysis-scripts-stub-argv' into 'master' · 04fe0459
  Virgile Prevosto authored 4 years ago
  
  [analysis-scripts] Ensure argv array is properly terminated See merge request frama-c/frama-c!2638
  04fe0459
- Merge branch 'fix/virgile/gcc-10' into 'master' · 0f45c55f
  David Bühler authored 4 years ago
  
  Parses UCN encoded characters in ACSL Closes #849 See merge request frama-c/frama-c!2637
  0f45c55f
- [tests] add test for ucn parsing · 96f9cdb7
  Virgile Prevosto authored 4 years ago and David Bühler committed 4 years ago
  
  96f9cdb7
- [lexer] Accept UCN characters as well as corresponding UTF-8 encoding · 989018d8
  Virgile Prevosto authored 4 years ago and David Bühler committed 4 years ago
  
  989018d8
Apr 30, 2020
- [analysis-scripts] Ensure argv array is properly terminated · e784b410
  Andre Maroneze authored 4 years ago
  
  e784b410
- Merge branch 'feature/andre/gcc-builtins' into 'master' · 92419510
  Virgile Prevosto authored 4 years ago
  
  [Kernel] add specifications for some GCC builtins See merge request frama-c/frama-c!2370
  92419510
- [Kernel][Libc] add specifications for some GCC builtins · ed21b716
  Andre Maroneze authored 5 years ago
  
  ed21b716
- Merge branch 'fix/andre/ptests-doc' into 'master' · 7d82717f
  Andre Maroneze authored 4 years ago
  
  [Doc/Devman] Update ptests section in developer manual See merge request frama-c/frama-c!2634
  7d82717f
- [ptests] fix typo in comment · 4ca2d9ab
  Virgile Prevosto authored 4 years ago
  
  4ca2d9ab
- [devman] introduce PTESTS_OPTS variable and put emphasis on MODULE directive · 90e200d2
  Virgile Prevosto authored 4 years ago
  
  90e200d2
- [devman] fix compilation of example script · 780b14de
  Virgile Prevosto authored 4 years ago
  
  780b14de
Apr 29, 2020
- Merge branch 'fix/andre/rich-test-buffer-truncate' into 'master' · 10490267
  Michele Alberti authored 4 years ago
  
  [Lib] fix crash when truncating rich text buffer See merge request frama-c/frama-c!2618
  10490267
- [Doc/Devman] Update ptests section in developer manual · 94643712
  Andre Maroneze authored 4 years ago
  
  94643712
Apr 28, 2020
- Merge branch 'feature/andre/doc-userman-bts' into 'master' · ea221a25
  Julien Signoles authored 4 years ago
  
  [Doc] Revamp userman's chapter on reporting errors (BTS -> Gitlab) See merge request frama-c/frama-c!2605
  ea221a25
- Merge branch 'feature/andre/libc-ftello-fseeko' into 'master' · d079913c
  Andre Maroneze authored 4 years ago
  
  [Libc] add specs for ftello/fseeko See merge request frama-c/frama-c!2366
  d079913c
- Update Changelog after !2629 · 2e13eccd
  Virgile Prevosto authored 4 years ago
  
  2e13eccd
- Merge branch 'feature/michele/782-wp' into 'master' · 66db895d
  Virgile Prevosto authored 4 years ago
  
  [wp] Use Filepath instead of mere strings. Closes #782 See merge request frama-c/frama-c!2631
  66db895d