Commits · master · pub / meta

13 Apr, 2021 3 commits
- Merge branch 'feature/wp/versions-bump' into 'master' · c370dd7d
  Loïc Correnson authored Apr 13, 2021
```
Feature/wp/versions bump

See merge request frama-c/meta!45
```
  c370dd7d
- [why3] update opam & nix · f6554f47
  Loïc Correnson authored Apr 13, 2021
  
  f6554f47
- Update nix/frama-ci.* · 2def950c
  Loïc Correnson authored Apr 13, 2021
  
  2def950c
09 Apr, 2021 4 commits
- Merge branch 'feature/basile/frama-ci-master' into 'master' · be266ded
  Basile Desloges authored Apr 09, 2021
```
Update Frama-CI data

See merge request frama-c/meta!44
```
  be266ded
- Update nix/frama-ci.* · 806c209f
  Basile Desloges authored Apr 09, 2021
  
  806c209f
- Merge branch 'feature/basile/purification' into 'master' · 21727f66
  Basile Desloges authored Apr 09, 2021
```
Update Frama-CI data

See merge request frama-c/meta!43
```
  21727f66
- Update nix/frama-ci.* · 2a4f4a68
  Basile Desloges authored Apr 09, 2021
  
  2a4f4a68
06 Apr, 2021 2 commits
- Update nix/frama-ci.* · febf7dad
  Virgile Prevosto authored Apr 06, 2021
  
  febf7dad
- Merge branch 'feature/pure-local-launch' into 'master' · 4e15a861
  Virgile Prevosto authored Apr 06, 2021
```
Update Frama-CI data

See merge request frama-c/meta!42
```
  4e15a861
02 Apr, 2021 2 commits
- Update nix/frama-ci.* · 32ba4115
  Virgile Prevosto authored Apr 02, 2021
  
  32ba4115
- [nix] make derivation extensible · 623036a5
  Virgile Prevosto authored Apr 02, 2021
  
  623036a5
01 Apr, 2021 1 commit
- Update nix/frama-ci.* · 8947d3dc
  Virgile Prevosto authored Apr 01, 2021
  
  8947d3dc
31 Mar, 2021 2 commits
- Update nix/frama-ci.* · 47da6f71
  Virgile Prevosto authored Mar 31, 2021
  
  47da6f71
- Update nix/frama-ci.* · 965a0113
  Virgile Prevosto authored Mar 31, 2021
  
  965a0113
01 Mar, 2021 1 commit
- Merge branch 'feature/wp/test-cfg' into 'master' · 1a72ad9e
  Allan Blanchard authored Mar 01, 2021
```
[wp] updated oracles

See merge request frama-c/meta!41
```
  1a72ad9e
23 Feb, 2021 1 commit
- [wp] using new cfg · 7eff5178
  Loïc Correnson authored Feb 23, 2021
  
  7eff5178
17 Feb, 2021 2 commits
- Update nix/frama-ci.* · 684577c8
  Virgile Prevosto authored Feb 17, 2021
  
  684577c8
- Update nix/frama-ci.* · cca568ff
  Virgile Prevosto authored Feb 17, 2021
  
  cca568ff
11 Feb, 2021 1 commit
- Merge branch 'fix/andre/silence-warning-16-again' into 'master' · ff03939e
  Virgile Prevosto authored Feb 11, 2021
```
[tests] synchronize with frama-c/frama-c!3062

See merge request frama-c/meta!40
```
  ff03939e
08 Feb, 2021 1 commit
- [tests] synchronize with frama-c/frama-c!3062 · 8aac94da
  Andre Maroneze authored Feb 08, 2021
  
  8aac94da
04 Feb, 2021 1 commit
- Merge branch 'feature/kernel/admit' into 'master' · e2e56218
  Loïc Correnson authored Feb 04, 2021
```
Updates with respect to kernel changes: new predicate kind Admit.

See merge request frama-c/meta!38
```
  e2e56218
02 Feb, 2021 4 commits
- Merge branch 'bugfix/julien/headers' into 'master' · b5a9d790
  Virgile Robles authored Feb 02, 2021
```
fix headers

See merge request frama-c/meta!39
```
  b5a9d790
- [headers] proper attributions for modified file · 51270729
  Virgile Prevosto authored Feb 02, 2021
  
  51270729
- [headers] fixes utf8 handling in prolog files · 2ad500e0
  Virgile Prevosto authored Feb 02, 2021
  
  2ad500e0
- [setlog] allow passing options when loading a setlog source file · f9c963b6
  Virgile Prevosto authored Feb 02, 2021
  
  f9c963b6
01 Feb, 2021 1 commit
- fix headers · 63843979
  Julien Signoles authored Feb 01, 2021
  
  63843979
28 Jan, 2021 8 commits
- Updates with respect to kernel changes. · 108e56c9
  David Bühler authored Oct 21, 2020
  
  108e56c9
- Merge branch 'feature/simplify_address_difference' into 'master' · 7968d56a
  Virgile Prevosto authored Jan 28, 2021
```
Simplify simple address equality/difference

Closes #7

See merge request frama-c/meta!37
```
  7968d56a
- Prettify match case · 4b451f4d
  Virgile Robles authored Jan 28, 2021
  
  4b451f4d
- Simplify simple address difference/equality · 6904cbd3
  Virgile Robles authored Jan 28, 2021
  
  6904cbd3
- Simplify simple address difference/equality · 89c01faa
  Virgile Robles authored Jan 28, 2021
  
  89c01faa
- Merge branch 'feature/called_arg' into 'master' · 55985a47
  Virgile Prevosto authored Jan 28, 2021
```
Add \called_arg

See merge request frama-c/meta!36
```
  55985a47
- Add explicit error message for term misuse · 5df62455
  Virgile Robles authored Jan 28, 2021
  
  5df62455
- Better doc/warnings and fix for last commit · f3b4e89f
  Virgile Robles authored Jan 28, 2021
  
  f3b4e89f
25 Jan, 2021 3 commits
- Document new feature · a05ba181
  Virgile Robles authored Jan 25, 2021
  
  a05ba181
- Introduce \called_arg and transformation · ce1570c8
  Virgile Robles authored Jan 25, 2021
  
  ce1570c8
- Replacement assoc list more generic · 6f67d6a6
  Virgile Robles authored Jan 25, 2021
  
  6f67d6a6
21 Jan, 2021 3 commits
- Merge branch 'bugfix/patrick/A228' into 'master' · d7e53454
  Patrick Baudin authored Jan 21, 2021
```
next to a WP fix about smp_eq_with_lor

See merge request frama-c/meta!35
```
  d7e53454
- [tests] ensure Eva is launched after Wp in uncalled.c · 398b6f18
  Virgile Prevosto authored Jan 21, 2021
  
  398b6f18
- next to a WP fix about smp_eq_with_lor · 0c24bf0a
  Patrick Baudin authored Jan 21, 2021
  
  0c24bf0a