Commits · 52b66b1a0bf524bd2811704ab3012237721363ad · pub / frama-c

Nov 29, 2021
- Merge branch 'fix/opam/naming' into 'stable/chromium' · 52b66b1a
  François Bobot authored 3 years ago
  
  Fix opam instruction and VERSION name See merge request frama-c/frama-c!3464
  52b66b1a
- Merge branch 'feature/andre/doc-userman-libc' into 'stable/chromium' · c5a7200e
  Virgile Prevosto authored 3 years ago
  
  [Doc] add section about libc in userman See merge request frama-c/frama-c!3423
  c5a7200e
- Merge branch 'feature/andre/eva-manual-acsl-quick-guide' into 'stable/chromium' · 1c52b90c
  Virgile Prevosto authored 3 years ago
  
  [Doc] add a quick guide for ACSL for Eva See merge request frama-c/frama-c!3359
  1c52b90c
- [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
Nov 26, 2021

[ci] fix menhir version that will be used by continuous integration. · ed99e854

Avoids https://github.com/ocaml/opam-repository/issues/20107
Probably only a temporary workaround before a correct alt-ergo
package is uploaded to opam-repository

ed99e854

Nov 25, 2021
- [opam] backport variable name change from official opam repo · c04d0c4e
  Virgile Prevosto authored 3 years ago
  
  c04d0c4e
- VERSION file respects opam's conventions · ac2ae21b
  Virgile Prevosto authored 3 years ago
  
  ac2ae21b
Nov 24, 2021
- Merge branch 'bugfix/basile/eacsl-166-eva-eacsl' into 'stable/chromium' · a43e67d7
  Virgile Prevosto authored 3 years ago
  
  [eacsl] Remove hypotheses when reemitting invalid properties during AST preparation See merge request frama-c/frama-c!3446
  a43e67d7
- Merge branch 'bugfix/thibaut/quantifiers' into 'stable/chromium' · 5f3286db
  Virgile Prevosto authored 3 years ago
  
  Bugfix/thibaut/quantifiers See merge request frama-c/frama-c!3440
  5f3286db
- [eacsl] Update changelog · c2011b75
  Basile Desloges authored 3 years ago
  
  c2011b75
- [eacsl] Add test for issue e-acsl#166 · b0d6a40b
  Basile Desloges authored 3 years ago
  
  b0d6a40b
- [eacsl] Remove hypotheses when reemitting invalid properties during AST preparation · e762f5a6
  Basile Desloges authored 3 years ago
  
  e762f5a6
- Merge branch 'fix/wp/no-assigns-stmt' into 'stable/chromium' · c77f1655
  Allan Blanchard authored 3 years ago
  
  [wp] Fixes stmt assigns handling in CFG See merge request frama-c/frama-c!3455
  c77f1655
- [wp] Fixes stmt assigns handling in CFG · c3b5cd6a
  Allan Blanchard authored 3 years ago
  
  c3b5cd6a
- Merge branch 'feature/eva/user-manual' into 'stable/chromium' · 58c2c6f0
  Andre Maroneze authored 3 years ago
  
  [Eva] Updates the user manual See merge request frama-c/frama-c!3459
  58c2c6f0
Nov 23, 2021
- [Eva] user manual: fix a few typos and reword some phrases · 41f6821c
  Andre Maroneze authored 3 years ago
  
  41f6821c
- [Eva] User manual: minor changes to the multidim section. · f5cd6edf
  David Bühler authored 3 years ago
  
  f5cd6edf
- [Eva] Update Eva domains section of the manual. · f9edd3e9
  Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago
  
  f9edd3e9
- [Eva] Updates user manual. · 2db6ec6b
  David Bühler authored 3 years ago
  
  2db6ec6b
Nov 22, 2021
- Merge branch 'bugfix/basile/eacsl-copyright-date' into 'stable/chromium' · 3a08b192
  Virgile Prevosto authored 3 years ago
  
  [doc] Update copyright year to 2021 and update release manual See merge request frama-c/frama-c!3452
  3a08b192
- [doc] Set frama-c link to https · 8c9a01e1
  Virgile Prevosto authored 3 years ago and Basile Desloges committed 3 years ago
  
  8c9a01e1
- [doc] Update release doc with changelog and copyright information · b0140537
  Basile Desloges authored 3 years ago
  
  b0140537
- [doc] Update copyright year to 2021 · 78dae1e8
  Basile Desloges authored 3 years ago
  
  78dae1e8
- [eacsl] Update copyright year to 2021 · f06b8ddf
  Basile Desloges authored 3 years ago
  
  f06b8ddf
Nov 10, 2021
- [e-acsl] second code review · a01a97ec
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  a01a97ec
Nov 09, 2021
- [e-acsl] code review · 16d69bfc
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  16d69bfc
Nov 08, 2021
- [e-acsl] test config dev · d0f7d989
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  d0f7d989
- [e-acsl] lint · 0815414e
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  0815414e
- [e-acsl] bugfix: unguarded quantifications · 92654857
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  92654857
- [e-acsl] change optional argument to mandatory · 8330d9d6
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  8330d9d6
- [e-acsl] add test for bugfix · 532903a3
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  532903a3
- [e-acsl] bugfix: quantifiers in predicates · b8becffc
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  b8becffc
- [e-acsl] don't transform Papp into Tapp · 841bfa73
  Thibaut Benjamin authored 3 years ago
  
  Unverified
  
  841bfa73
- Merge branch 'doc/wp/terminates-is-implemented' into 'stable/chromium' · 169e7546
  Allan Blanchard authored 3 years ago
  
  [wp/doc] terminates is implemented See merge request frama-c/frama-c!3437
  169e7546