Commits · 951c5398e3574504be884e04b46543c639ab999c · pub / frama-c

19 Dec, 2019 1 commit
- [WP] Fix search for qed symbols in Why3 translation (#775) · 951c5398
  Virgile Prevosto authored Dec 19, 2019
  
  951c5398
18 Dec, 2019 7 commits
- Merge branch '771-wp-multiple-instances-of-the-generic-list-type' into 'master' · af482dc9
  Patrick Baudin authored Dec 18, 2019
```
Resolve "[wp]: multiple instances of the generic \list type"

Closes #771

See merge request frama-c/frama-c!2485
```
  af482dc9
- [qed] merge terms with type Bool and Prop · 80cd98c6
  Loïc Correnson authored Dec 18, 2019
  
  80cd98c6
- Merge branch 'feature/fix_ci' into 'master' · 23248802
  Michele Alberti authored Dec 18, 2019
```
Feature/fix ci

See merge request frama-c/frama-c!2488
```
  23248802
- E-ACSL is now in Frama-C · 91f64b75
  François Bobot authored Dec 18, 2019
  
  91f64b75
- [wp] force result type of bit-test · 195c9f9e
  Loïc Correnson authored Dec 18, 2019
  
  195c9f9e
- Merge branch 'fix/acsl/typing-functions-sets' into 'master' · 137eab29
  Virgile Prevosto authored Dec 18, 2019
```
Fix/acsl/typing functions sets

See merge request frama-c/frama-c!2482
```
  137eab29
- Fix/acsl/typing functions sets · 45096eb3
  Allan Blanchard authored Dec 18, 2019 and Virgile Prevosto committed Dec 18, 2019
  
  45096eb3
17 Dec, 2019 3 commits
- [bit_test] checks for a boolean type · db688bdb
  Patrick Baudin authored Dec 17, 2019
  
  db688bdb
- Merge branch 'e-acsl-import/julien/archi/no_visitor' into 'master' · 4d7915e8
  Michele Alberti authored Dec 17, 2019
```
[e-acsl:archi] restore correct behavior of ghost parameters

See merge request frama-c/frama-c!2486
```
  4d7915e8
- [e-acsl:archi] restore correct behavior of ghost parameters · 404c8c60
  Julien Signoles authored Dec 17, 2019 and Michele Alberti committed Dec 17, 2019
  
  404c8c60
16 Dec, 2019 29 commits
- Merge branch 'julien/lint' into 'master' · 24e83690
  Michele Alberti authored Dec 16, 2019
```
[E-ACSL] lint-ify some files

See merge request frama-c/frama-c!2473
```
  24e83690
- [e-acsl] lint · 844f6050
  Julien Signoles authored Dec 13, 2019
  
  844f6050
- [e-acsl:lint] address Michele's comments · 5492c6c5
  Julien Signoles authored Dec 13, 2019
  
  5492c6c5
- [e-acsl] lint · 342cf647
  Julien Signoles authored Dec 06, 2019
  
  342cf647
- Merge branch 'e-acsl-import/julien/archi/no_visitor' into 'master' · c4cee6f8
  Michele Alberti authored Dec 16, 2019
```
[E-ACSL] kill the main visitor

See merge request frama-c/frama-c!2471
```
  c4cee6f8
- [e-acsl:tests] update tests wrt kernel changes · 8573c6ad
  Julien Signoles authored Dec 16, 2019
  
  8573c6ad
- [e-acsl:archi] fix incorrect header · e7d7cf90
  Julien Signoles authored Dec 16, 2019
  
  e7d7cf90
- [e-acsl:archi] fix a last typo in one comment · 5ea6608f
  Julien Signoles authored Dec 16, 2019
  
  5ea6608f
- [e-acsl:archi] take into account 2nd Michele's review · e2fbbc53
  Julien Signoles authored Dec 16, 2019
  
  e2fbbc53
- [e-acsl:archi] fix order of globals · f4e9007e
  Julien Signoles authored Dec 13, 2019
  
  f4e9007e
- [e-acsl:archi] lint, again · aef1c96f
  Julien Signoles authored Dec 13, 2019
  
  aef1c96f
- [e-acsl:archi] lint · 2c37d82b
  Julien Signoles authored Dec 13, 2019
  
  2c37d82b
- [e-acsl:archi] addressing Michele's comments · 0d1935cf
  Julien Signoles authored Dec 13, 2019
  
  0d1935cf
- [e-acsl:archi] add doc for Constructor · 666f31c4
  Julien Signoles authored Dec 13, 2019
  
  666f31c4
- [e-acsl:archi] add doc for Injector · fe8c0751
  Julien Signoles authored Dec 13, 2019
  
  fe8c0751
- [e-acsl:archi] add doc for Memory_observer · f633795e
  Julien Signoles authored Dec 13, 2019
  
  f633795e
- [e-acsl:archi] lint: remove dead file · 42989906
  Julien Signoles authored Dec 06, 2019
  
  42989906
- [e-acsl:archi] update headers · 2c9ad78f
  Julien Signoles authored Dec 06, 2019
  
  2c9ad78f
- [e-acsl:archi] lint · bfa8a6dd
  Julien Signoles authored Dec 06, 2019
  
  bfa8a6dd
- [e-acsl:archi] headers · c09be769
  Julien Signoles authored Dec 06, 2019
  
  c09be769
- [e-acsl] do not monitor compiler built-ins · 40720b2a
  Julien Signoles authored Dec 04, 2019
  
  40720b2a
- [e-acsl:archi] fix bug with VLA · 854a4341
  Julien Signoles authored Dec 04, 2019
  
  854a4341
- [e-acsl:archi] remove TODOs · 0bc945bf
  Julien Signoles authored Dec 04, 2019
  
  0bc945bf
- [e-acsl:archi] no env for Global_observer.mk_init_function · 2142b6f7
  Julien Signoles authored Dec 04, 2019
  
  2142b6f7
- [e-acsl:archi] move functions from E-ACSL to Kernel_function · d47813a3
  Julien Signoles authored Dec 04, 2019
  
  d47813a3
- [e-acsl:archi] killing useless code · a0816617
  Julien Signoles authored Dec 04, 2019
  
  a0816617
- [e-acsl:archi] update oracles · bf9c0a96
  Julien Signoles authored Dec 04, 2019
  
  bf9c0a96
- [e-acsl:archi] fix bug with \at · 804a29ee
  Julien Signoles authored Dec 04, 2019
  
  804a29ee
- [e-acsl:archi] fix bug with unspecified sequences · 85fdd77e
  Julien Signoles authored Dec 03, 2019
  
  85fdd77e