Commits · 24e8369001177f64f4e8b1eef562cc761baa0dec · pub / frama-c · GitLab

16 Dec, 2019 40 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
- [e-acsl:archi] fix bug with global compound initializers · 7bf3a38d
  Julien Signoles authored Dec 03, 2019
  
  7bf3a38d
- [e-acsl:archi] fix bug with switch · ea6d373c
  Julien Signoles authored Dec 03, 2019
  
  ea6d373c
- [e-acsl:archi] better error message · f64db051
  Julien Signoles authored Dec 03, 2019
  
  f64db051
- [e-acsl:archi] fix bug with constinit · e76a0b77
  Julien Signoles authored Dec 03, 2019
  
  e76a0b77
- [e-acsl:archi] fix bug with initial environments of functions · d44a1535
  Julien Signoles authored Dec 02, 2019
  
  d44a1535
- [e-acsl:archi] add missing valid_sid:true · a26e5ceb
  Julien Signoles authored Dec 02, 2019
  
  a26e5ceb
- [e-acsl:archi] fix warning error · e847477b
  Julien Signoles authored Dec 02, 2019
  
  e847477b
- [archi] visit initializers · 70fc7535
  Julien Signoles authored Oct 18, 2019
  
  70fc7535
- [archi] fix bugs when moving labels of gotos · 206e26a9
  Julien Signoles authored Oct 11, 2019
  
  206e26a9
- [archi] additional comment · d424a74b
  Julien Signoles authored Oct 11, 2019
  
  d424a74b
- [archi] fix bug with loop invariants · 5c56d8d7
  Julien Signoles authored Oct 11, 2019
  
  5c56d8d7