Commits · 770f0f279b5aec743ecb55124876bf096b7eeb05 · pub / frama-c · GitLab

Snippets Groups Projects

May 30, 2022
- [kernel] more journal removal · 66cc4074
  Allan Blanchard authored 2 years ago
  
  66cc4074
May 11, 2022
- Release doc, git tag for beta · e56fba13
  François Bobot authored 2 years ago
  
  e56fba13
May 10, 2022
- Release Manganese · bec48ca8
  François Bobot authored 2 years ago
  
  bec48ca8
- Mark Manganese version in Changelog · 722d6219
  François Bobot authored 2 years ago
  
  722d6219
Apr 22, 2022
- [Eva] User manual: minor fixes in the multidim section. · e2f53f20
  David Bühler authored 2 years ago
  
  e2f53f20
- [Eva] multidim: update changelog and documentation · b78ad767
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  b78ad767
Apr 21, 2022
- [doc] remove unused commented paragraph · 0eb4ef4a
  Virgile Prevosto authored 2 years ago and Andre Maroneze committed 2 years ago
  
  0eb4ef4a
Apr 20, 2022
- Remove last traces of PLUGIN_DYNAMIC · e426fa63
  Andre Maroneze authored 2 years ago
  
  e426fa63
Mar 22, 2022
- [doc] update release instructions related to compile manuals · 14f0da39
  Virgile Prevosto authored 3 years ago
  
  14f0da39
- [doc] Remove obsolete check · dd846ba1
  Virgile Prevosto authored 3 years ago
  
  Current ACSL version retrieves the Frama-C version info from Frama-C directory itself: there's no need to check coherence anymore
  dd846ba1
- [doc] slight enhancement to manuals dependencies in Makefile · 3ff2aae3
  Virgile Prevosto authored 3 years ago
  
  3ff2aae3
- [Doc] Update the doc Makefile · e9e2ae75
  Valentin Perrelle authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  - Transfer building instructions from build-manuals.sh to Makefile - Remove the dependencies to parallel and perl-text-csv - Fix cleaning rule
  e9e2ae75
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 16, 2022
- [analysis-scripts] remove make-template and update documentation · 0dcc48a5
  Andre Maroneze authored 3 years ago
  
  0dcc48a5
Feb 15, 2022
- [Doc] Update wrt the new Eva API · e85ce72e
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  e85ce72e
Feb 09, 2022
- [Doc] devman: add caveat about ocamlprof with landmarks · dcac9121
  Andre Maroneze authored 3 years ago
  
  dcac9121
Jan 31, 2022
- [Eva] User manual: updates the default Frama-C machdep. · 5b89aac9
  David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago
  
  And fixes the example of misaligned read.
  5b89aac9
- [doc] User manual: updates the default machdep. · 5e483442
  David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago
  
  5e483442
Jan 21, 2022
- [Doc] add more Landmarks examples in devman · 5c0142d8
  Andre Maroneze authored 3 years ago
  
  5c0142d8
Dec 01, 2021
- [release] better checks agains version mismatchs in manuals · cd551576
  Virgile Prevosto authored 3 years ago
  
  cd551576
- [relman] indicate that pub.frama-c.com needs a few minutes to be refreshed · 299bab71
  Virgile Prevosto authored 3 years ago
  
  299bab71
- [relman] use docker to test the release · 4faf3c60
  Virgile Prevosto authored 3 years ago
  
  4faf3c60
Nov 30, 2021
- [relman] use docker to test the release · 4be7eef8
  Virgile Prevosto authored 3 years ago
  
  4be7eef8
- [relman] use ~ also in VERSION for beta releases · f7b33be0
  Virgile Prevosto authored 3 years ago
  
  f7b33be0
- [relman] fix LaTeX formatting · f90e1b42
  Virgile Prevosto authored 3 years ago
  
  f90e1b42
- [relman] opam uses xx.yy~beta convention for beta releases. · 0be244f4
  Virgile Prevosto authored 3 years ago
  
  0be244f4
- [relman] remove obsolete update BTS section · 90bf804b
  Virgile Prevosto authored 3 years ago
  
  90bf804b
- [relman] instructions for adding someone to authors' list · 1a9eb6bc
  Virgile Prevosto authored 3 years ago
  
  1a9eb6bc
- [relman] minor precisions for the build phase · aa11f212
  Virgile Prevosto authored 3 years ago
  
  aa11f212
- [relman] old bts is no more, and neither is frama-c-commits · a6615ef2
  Virgile Prevosto authored 3 years ago
  
  a6615ef2
Nov 29, 2021
- use chronological order for E-ACSL references · 82b453c7
  Virgile Prevosto authored 3 years ago
  
  82b453c7
- [userman] proof read overview update · 9f7e9ec7
  Virgile Prevosto authored 3 years ago
  
  9f7e9ec7
- [Doc] Userman: review and update initial sections · be06a99b
  Andre Maroneze authored 3 years ago
  
  be06a99b
- [useman] proof-read new Standard Library section and add Changelog · ee9eacf3
  Virgile Prevosto authored 3 years ago
  
  ee9eacf3
- [Doc] add section about libc in userman · a406b9dc
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  a406b9dc
- [Doc] Eva manual: apply suggestions from review · 63c8ab0e
  Virgile Prevosto authored 3 years ago
  
  63c8ab0e
- [Doc] Eva manual: improvements to ACSL quick guide after review · 68c6160c
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  68c6160c
- [Doc] quick ACSL guide: fix typos in spec and improve wording · a032c35e
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  a032c35e
- [Doc] Eva manual: add reference to quick guide annex, and to ACSL reference · 06c5aa28
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  06c5aa28
- [Doc] add a quick guide for ACSL for Eva · a1b7effc
  Andre Maroneze authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  a1b7effc