Commits · master · pub / meta

21 Jun, 2022 1 commit
- Merge branch 'fix/syntax-headers-indent' into 'master' · 20b6522b
  Virgile Prevosto authored Jun 21, 2022
```
Fix: Lint + Syntax + Headers

See merge request frama-c/meta!68
```
  20b6522b
20 Jun, 2022 5 commits
- Ignore lint and fix-syntax in blame · 037501d4
  Allan Blanchard authored Jun 20, 2022
  
  037501d4
- Add header to meta_model · 293e9aee
  Allan Blanchard authored Jun 20, 2022
  
  293e9aee
- Add header to header_config · 3ac9c4b1
  Allan Blanchard authored Jun 20, 2022
  
  3ac9c4b1
- Fix Header config for Prolog · 18f0255f
  Allan Blanchard authored Jun 20, 2022
  
  18f0255f
- OCP-Indent + fix-syntax · 0afa88bd
  Allan Blanchard authored Jun 17, 2022
  
  0afa88bd
07 Jun, 2022 2 commits
- Update nix/frama-ci.* · 499452ba
  Allan Blanchard authored Jun 07, 2022
  
  499452ba
- Merge branch 'feature/nix/add_ci_to_linea-cabs' into 'master' · 2d4fccbc
  Allan Blanchard authored Jun 07, 2022
```
Update Frama-CI data

See merge request frama-c/meta!66
```
  2d4fccbc
03 Jun, 2022 2 commits
- Update nix/frama-ci.* · 153cabfc
  Allan Blanchard authored Jun 03, 2022
  
  153cabfc
- Update nix/frama-ci.* · ccdeab40
  Allan Blanchard authored Jun 03, 2022
  
  ccdeab40
24 May, 2022 1 commit
- Merge branch 'feature/nathan/wp-opti' into 'master' · 52aaf7b2
  Nathan Koskas de Diego authored May 24, 2022
```
[Qed] update tests

See merge request frama-c/meta!64
```
  52aaf7b2
11 May, 2022 1 commit
- Merge branch 'feature/doc-and-deprecated' into 'master' · 9990b5f6
  Allan Blanchard authored May 11, 2022
```
Follows frama-c/frama-c!3700

See merge request frama-c/meta!61
```
  9990b5f6
09 May, 2022 3 commits
- [Qed] update tests · c47ec6d8
  Nathan Koskas de Diego authored May 09, 2022
  
  c47ec6d8
- Reset default branch · f7f1305a
  François Bobot authored May 09, 2022
  
  f7f1305a
- Change default branch · 1a25f9ef
  François Bobot authored May 09, 2022
  
  1a25f9ef
03 May, 2022 2 commits
- Update nix/frama-ci.* · 82662aac
  Allan Blanchard authored May 03, 2022
  
  82662aac
- Merge branch 'fix/nix/easy-format' into 'master' · fd9a3c4d
  Allan Blanchard authored May 03, 2022
```
Update Frama-CI data

See merge request frama-c/meta!62
```
  fd9a3c4d
02 May, 2022 1 commit
- Update nix/frama-ci.* · f0f02405
  Virgile Prevosto authored May 02, 2022
  
  f0f02405
15 Apr, 2022 2 commits
- Follows frama-c/frama-c!3700 · b3040459
  Allan Blanchard authored Apr 15, 2022
  
  b3040459
- Add missing cache entries · 2432e8f3
  Allan Blanchard authored Apr 15, 2022
  
  2432e8f3
04 Mar, 2022 2 commits
- Merge branch 'fix/andre/enable-warning-6' into 'master' · 70a8c43d
  Virgile Prevosto authored Mar 04, 2022
```
synchronize with !3631

See merge request frama-c/meta!58
```
  70a8c43d
- synchronize with !3631 · 4b996570
  Andre Maroneze authored Mar 04, 2022
  
  4b996570
19 Jan, 2022 1 commit
- Merge branch 'feature/kernel/remove-ast-nodes' into 'master' · 537081e3
  Andre Maroneze authored Jan 19, 2022
```
Follows removed AST nodes in kernel

See merge request frama-c/meta!57
```
  537081e3
17 Jan, 2022 2 commits
- Merge branch 'improve-error-msg' into 'master' · 2be48906
  Allan Blanchard authored Jan 17, 2022
```
[typing] Improve error message

See merge request frama-c/meta!56
```
  2be48906
- [typing] Improve error message · eee803c2
  Virgile Robles authored Jan 17, 2022 and Allan Blanchard committed Jan 17, 2022
  
  eee803c2
13 Jan, 2022 2 commits
- [README] fix typo in name of warning category statuses · ff9133b8
  Virgile Prevosto authored Jan 13, 2022
  
  ff9133b8
- Follows removed AST nodes in kernel · 3c2df742
  Allan Blanchard authored Jan 13, 2022
  
  3c2df742
06 Jan, 2022 4 commits
- Merge branch 'feature/patrick/test-exec-from-result-dir' into 'master' · 4a5d8131
  Patrick Baudin authored Jan 06, 2022
```
[Tests] test command are executed from result directories

See merge request frama-c/meta!52
```
  4a5d8131
- [Tests] oracle updates · f8cfd651
  Patrick Baudin authored Dec 22, 2021
  
  f8cfd651
- [Tests] requirement for test execution from result directories · 35592ace
  Patrick Baudin authored Dec 22, 2021
  
  35592ace
- Merge branch 'stable/chromium' · e414a3ea
  Virgile Prevosto authored Jan 06, 2022
  
  e414a3ea
04 Jan, 2022 9 commits
- version bump and update opam file · d01ef8d4
  Virgile Prevosto authored Jan 04, 2022
  
  d01ef8d4
- Merge branch 'feature/accept-missing-func' into 'stable/chromium' · dae7a09e
  Virgile Prevosto authored Jan 04, 2022
```
Warning instead of abort for unknown functions in target set

See merge request frama-c/meta!54
```
  dae7a09e
- [README] document \callers and \callees, document unknown-func warn key · dc7ebcb6
  Virgile Prevosto authored Jan 04, 2022
  
  dc7ebcb6
- update Changelog · 56b7a065
  Virgile Prevosto authored Jan 04, 2022
  
  56b7a065
- Warning instead of abort for unknown functions in target set · 802c30aa
  Virgile Prevosto authored Jan 03, 2022
```
warning has a category unknown-func, whose status is abort by default.
```
  802c30aa
- MetAcsl has a Changelog · 662ea023
  Virgile Prevosto authored Jan 04, 2022
  
  662ea023
- Merge branch 'feature/func-metavar' into 'stable/chromium' · 8b12000a
  Virgile Prevosto authored Jan 04, 2022
```
add \func metavar to denote current function

See merge request frama-c/meta!55
```
  8b12000a
- [README] introduce \func metavariable · 292611cb
  Virgile Prevosto authored Jan 04, 2022
  
  292611cb
- add \func metavar to denote current function · e592d34f
  Virgile Prevosto authored Jan 04, 2022
  
  e592d34f