Commits · 83db8b4b1a6d84b034731f30adce70b74c9e3530 · pub / frama-c

12 Nov, 2020 2 commits
- Merge branch 'fix/logic-parser/assigns-merging' into 'stable/titanium' · 83db8b4b
  Virgile Prevosto authored Nov 12, 2020
```
Fixes assigns merging

See merge request frama-c/frama-c!2936
```
  83db8b4b
- [kernel] New warning category for multiple froms · b2df74b1
  Allan Blanchard authored Nov 12, 2020
  
  b2df74b1
06 Nov, 2020 3 commits
- [parser] Adds warning when dropping froms · e6b7c454
  Allan Blanchard authored Nov 06, 2020
  
  e6b7c454
- [parser] Narrow froms in case of inclusion · f8f9cd0f
  Allan Blanchard authored Nov 06, 2020
  
  f8f9cd0f
- [kernel] Simplifies merge assigns · a0ada244
  Allan Blanchard authored Nov 06, 2020
  
  a0ada244
05 Nov, 2020 10 commits
- [kernel] Clean from but do not merge them · 637af0a0
  Allan Blanchard authored Nov 05, 2020
  
  637af0a0
- [parser] Update comment · ca041e19
  Allan Blanchard authored Nov 05, 2020
  
  ca041e19
- [parser] Merge assigns dependencies · 336f28f6
  Allan Blanchard authored Nov 05, 2020
  
  336f28f6
- [parser] Merge "assigns x, x, ..." · 3ce322ba
  Allan Blanchard authored Nov 05, 2020
  
  3ce322ba
- Merge branch 'doc/wp/fix-tactics-documentation' into 'stable/titanium' · cf01dcb0
  Allan Blanchard authored Nov 05, 2020
```
Adds missing documentation for some tactics + minor fixes

See merge request frama-c/frama-c!2935
```
  cf01dcb0
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · e0153316
  Allan Blanchard authored Nov 05, 2020
  
  e0153316
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · 326de583
  Allan Blanchard authored Nov 05, 2020
  
  326de583
- [wp/doc] A few details in memory models doc · 2deda6b6
  Allan Blanchard authored Nov 05, 2020
  
  2deda6b6
- [wp/doc] Document tactic: Validity · 3a5fe7b5
  Allan Blanchard authored Nov 05, 2020
  
  3a5fe7b5
- [wp/doc] Document tactic: Bit-Test Range · 9176cd9e
  Allan Blanchard authored Nov 04, 2020
  
  9176cd9e
04 Nov, 2020 1 commit
- [wp/doc] Reorganizes tactics documentation · bc4a7baa
  Allan Blanchard authored Nov 04, 2020
  
  bc4a7baa
03 Nov, 2020 1 commit
- Merge branch 'doc/wp/calls' into 'stable/titanium' · 76cf0424
  Allan Blanchard authored Nov 03, 2020
```
Improves WP `@calls` doc

See merge request frama-c/frama-c!2925
```
  76cf0424
02 Nov, 2020 8 commits
- Apply suggestion to src/plugins/wp/doc/manual/wp_plugin.tex · d069cd2d
  Allan Blanchard authored Nov 02, 2020
  
  d069cd2d
- Merge branch 'fix/wp/coq-version-constraints' into 'stable/titanium' · 1c1b355b
  Loïc Correnson authored Nov 02, 2020
```
Fixes Wp-Coq version constraints

See merge request frama-c/frama-c!2924
```
  1c1b355b
- Merge branch 'fix/wp/why3-prover-detection' into 'stable/titanium' · f9610df7
  Loïc Correnson authored Nov 02, 2020
```
Fix Why3 prover detection

See merge request frama-c/frama-c!2926
```
  f9610df7
- Merge branch 'fix/andre/dockerfiles-dev-custom' into 'stable/titanium' · 2dd72a21
  Allan Blanchard authored Nov 02, 2020
```
[Dev] update opam dependencies; fix Python for tests

See merge request frama-c/frama-c!2912
```
  2dd72a21
- [wp] Restore exact match as performed by Why3 · e5f87adf
  Allan Blanchard authored Nov 02, 2020
  
  e5f87adf
- Merge branch 'fix/andre/test-math-oracles-macos' into 'stable/titanium' · a8e36734
  Allan Blanchard authored Nov 02, 2020
```
Fix/andre/test math oracles macos

See merge request frama-c/frama-c!2919
```
  a8e36734
- [wp+opam] Adds a post-message for Why3 provers · 4c32277d
  Allan Blanchard authored Nov 02, 2020
  
  4c32277d
- [wp] More robust prover filter · 17df8863
  Allan Blanchard authored Nov 02, 2020
  
  17df8863
30 Oct, 2020 2 commits
- [wp/doc] Details @calls annotation · 64347a62
  Allan Blanchard authored Oct 30, 2020
  
  64347a62
- [wp] Fixes Coq compilation constraints · 025a3918
  Allan Blanchard authored Oct 30, 2020
  
  025a3918
29 Oct, 2020 5 commits
- Merge branch 'fix/parsing/logic-locations' into 'stable/titanium' · 3c57dedd
  Allan Blanchard authored Oct 29, 2020
```
[logic] ensure gcc-10 will not play with utf8 chars when preprocessing

See merge request frama-c/frama-c!2913
```
  3c57dedd
- Merge branch 'fix/andre/test-cpp-command-oracle' into 'stable/titanium' · a3b82adb
  Allan Blanchard authored Oct 29, 2020
```
[Tests] avoid oracle diffs with non-default TMPDIRs (namely macOS)

See merge request frama-c/frama-c!2918
```
  a3b82adb
- Merge branch 'fix/andre/aorai-oracles-tmpdir' into 'stable/titanium' · 50e61cc9
  Allan Blanchard authored Oct 29, 2020
```
[Aorai] avoid macOS issues with test oracles and Filename.get_temp_dir_name

See merge request frama-c/frama-c!2917
```
  50e61cc9
- Merge branch 'fix/andre/fc-script-path2' into 'stable/titanium' · 8ce240e5
  Allan Blanchard authored Oct 29, 2020
```
Fix/andre/fc script path2

See merge request frama-c/frama-c!2921
```
  8ce240e5
- [analysis-scripts] fix issues in make-template and remove obsolete make-path · 9f505baa
  Andre Maroneze authored Oct 26, 2020
  
  9f505baa
28 Oct, 2020 7 commits
- [Tests] lower precision to avoid math oracle differences in macOS · fcb64146
  Andre Maroneze authored Oct 28, 2020
  
  fcb64146
- [Tests] avoid diff in macOS due to missing newline in shell printf · 76f42508
  Andre Maroneze authored Oct 28, 2020
  
  76f42508
- [aorai] avoid Filename.concat in test script · 70068673
  Virgile Prevosto authored Oct 28, 2020 and Andre Maroneze committed Oct 28, 2020
  
  70068673
- [Aorai] avoid macOS issues with test oracles and Filename.get_temp_dir_name · 8fcad1f5
  Andre Maroneze authored Oct 28, 2020
  
  8fcad1f5
- Removes automatically inserted end-of-line · cc18134c
  Allan Blanchard authored Oct 28, 2020
  
  cc18134c
- [Tests] avoid oracle diffs with non-default TMPDIRs (namely macOS) · 8429888d
  Andre Maroneze authored Oct 28, 2020
  
  8429888d
- Update WSL install procedure for 22-Titanium · e1e1aca2
  Allan Blanchard authored Oct 28, 2020
  
  e1e1aca2
27 Oct, 2020 1 commit
- Merge branch 'fix/callgraph/src-distrib' into 'stable/titanium' · 71300cf4
  Virgile Prevosto authored Oct 27, 2020
```
Fixes callgraph distributed files

See merge request frama-c/frama-c!2916
```
  71300cf4