Commits · master · pub / frama-c

03 Feb, 2023 4 commits
- Merge branch 'feature/wp/why3-extra-config' into 'master' · bd24cb20
  Allan Blanchard authored Feb 03, 2023
```
[WP] extra config files for Why3

See merge request frama-c/frama-c!3845
```
  bd24cb20
- [wp/doc] why3-extra-config · ecf1fb31
  Allan Blanchard authored Jan 18, 2023
  
  ecf1fb31
- [wp] add an option to pass extra configuration files to build Why3 config · 3701d699
  Virgile Prevosto authored Jul 08, 2022 and Allan Blanchard committed Feb 03, 2023
  
  3701d699
- [wp] Fix msg output by Why3 when an unknown option is passed to -wp-why3-opt · 9799803b
  Virgile Prevosto authored Jul 07, 2022 and Allan Blanchard committed Feb 03, 2023
  
  9799803b
01 Feb, 2023 5 commits
- Merge branch 'update-headers' into 'master' · 98caba53
  Andre Maroneze authored Feb 01, 2023
```
Update headers

See merge request frama-c/frama-c!4072
```
  98caba53
- [headers] update a few more copyright dates (2022 -> 2023) · 34e3d667
  Andre Maroneze authored Feb 01, 2023
  
  34e3d667
- [headers] update E-ACSL headers copyright (2022 -> 2023) · b4fae493
  Andre Maroneze authored Feb 01, 2023
  
  b4fae493
- Merge remote-tracking branch 'origin/stable/iron' · 287880c1
  Allan Blanchard authored Feb 01, 2023
  
  287880c1
- Merge branch 'feature/andre/update-dockerfile' into 'master' · 0553ad44
  Allan Blanchard authored Feb 01, 2023
```
[Dev] update Dockerfile to include E-ACSL tests

See merge request frama-c/frama-c!4074
```
  0553ad44
31 Jan, 2023 7 commits
- [Dev] update Dockerfile to include E-ACSL tests · 216c6c25
  Andre Maroneze authored Jan 31, 2023
```
Also, due to some E-ACSL tests depending on glibc (and thus failing on Alpine),
and the fact that E-ACSL does not work on Alpine anyway, the plug-in is now
disabled in that Docker image.
```
  216c6c25
- Merge branch 'feature/ci/black' into 'master' · 0ee289af
  Andre Maroneze authored Jan 31, 2023
```
[ci] add black to linting

See merge request frama-c/frama-c!4073
```
  0ee289af
- [ci] add black to linting · f71cbab1
  Allan Blanchard authored Jan 31, 2023
  
  f71cbab1
- Merge branch 'feature/ci/opam-minimal' into 'master' · 973586ef
  Allan Blanchard authored Jan 31, 2023
```
Opam minimal target weekly

Closes #1192

See merge request frama-c/frama-c!4030
```
  973586ef
- [ci] limit opam parallelism · cd9b5f5f
  Allan Blanchard authored Jan 31, 2023
  
  cd9b5f5f
- [ci] enable opam pin minimal · 1eb09b9b
  Allan Blanchard authored Dec 19, 2022
  
  1eb09b9b
- [opam] lower bound for menhir · 0667186e
  Allan Blanchard authored Jan 31, 2023
  
  0667186e
27 Jan, 2023 5 commits
- [headers] from 2022 to 2023 · 76801139
  Allan Blanchard authored Jan 27, 2023
  
  76801139
- [headers] change template date · 21419807
  Allan Blanchard authored Jan 27, 2023
  
  21419807
- Merge branch 'fix/destdir-ivette' into 'stable/iron' · 60c5d6e2
  Allan Blanchard authored Jan 27, 2023
```
[ivette] support DESTDIR during Ivette installation

See merge request frama-c/frama-c!4067
```
  60c5d6e2
- Merge branch 'fix/contributing' into 'master' · a3e88edb
  Loïc Correnson authored Jan 27, 2023
```
[dev] add missing tools required for contributors

See merge request frama-c/frama-c!4057
```
  a3e88edb
- Merge branch 'feature/lint/check-indent-of-C-files' into 'master' · d158f8d7
  Patrick Baudin authored Jan 27, 2023
```
linting some more C files

See merge request frama-c/frama-c!4058
```
  d158f8d7
26 Jan, 2023 1 commit
- [doc] install DESTDIR · 18265aa1
  Allan Blanchard authored Jan 25, 2023
  
  18265aa1
25 Jan, 2023 3 commits
- Update Changelog following !4028 · b1551ab6
  Virgile Prevosto authored Jan 25, 2023
  
  b1551ab6
- Merge branch 'feature/andre/c11-generic' into 'master' · 5bd68e3c
  Virgile Prevosto authored Jan 25, 2023
```
Add support for C11's _Generic

See merge request frama-c/frama-c!4028
```
  5bd68e3c
- [ivette] support DESTDIR during Ivette installation · 759e7640
  Andre Maroneze authored Jan 25, 2023
  
  759e7640
24 Jan, 2023 6 commits
- Merge branch 'feature/lint/get-non-utf8-position' into 'master' · cdfa79ec
  Patrick Baudin authored Jan 24, 2023
```
[lint] get non utf8 position

See merge request frama-c/frama-c!4064
```
  cdfa79ec
- Merge branch 'feature/wp/isabelle' into 'master' · 2af7c8fd
  Allan Blanchard authored Jan 24, 2023
```
[wp] debug interactive provers

See merge request frama-c/frama-c!4066
```
  2af7c8fd
- [lint] get non utf8 position · 8f033f52
  Patrick Baudin authored Jan 23, 2023
  
  8f033f52
- [wp] take script into account for caching · 8a0fcc80
  Loïc Correnson authored Jan 13, 2023
  
  8a0fcc80
- [wp] more interactive prover debugging · cce431a1
  Loïc Correnson authored Jan 11, 2023
  
  cce431a1
- [wp] use output dkey for session & output dirs · 1aa0cb65
  Loïc Correnson authored Jan 11, 2023
  
  1aa0cb65
23 Jan, 2023 9 commits
- [Kernel] fixes following review · d29e8637
  Andre Maroneze authored Jan 23, 2023
  
  d29e8637
- [Cabs2cil] fix issue with _Generic and function return type · 359aa26f
  Andre Maroneze authored Dec 14, 2022
  
  359aa26f
- add test and update test oracles · 73eb6812
  Andre Maroneze authored Dec 13, 2022
  
  73eb6812
- [Kernel] add support for C11 _Generic · 8ba130d4
  Andre Maroneze authored Dec 13, 2022
  
  8ba130d4
- [Kernel] add auxiliary functions to Cil · c33482b3
  Andre Maroneze authored Dec 13, 2022
```
These functions are useful for _Generic support, and they try to be as close
as possible to the C standard.
```
  c33482b3
- suggest to install ocp-indent from opam · 0bb1b133
  Loïc Correnson authored Jan 23, 2023
  
  0bb1b133
- pin ocp-indent version · 0ba7de48
  Loïc Correnson authored Jan 23, 2023
  
  0ba7de48
- Fix mentions to hello plug-in · 94cea462
  Loïc Correnson authored Jan 23, 2023
  
  94cea462
- Merge branch 'fix/andre/fixes-for-cygwin' into 'stable/iron' · 29d0c06b
  Allan Blanchard authored Jan 23, 2023
```
Fixes to ensure compatibility with Windows/Cygwin

See merge request frama-c/frama-c!4035
```
  29d0c06b