Commits · bee34c791776124499d7a2aaef9f74fd7c6ac515 · pub / frama-c

19 Dec, 2019 3 commits
- [Server] Normalize the file names. · bee34c79
  Michele Alberti authored Dec 12, 2019
  
  bee34c79
- [Server] Better name for the service. · 93d1c5d3
  Michele Alberti authored Dec 11, 2019
  
  93d1c5d3
- [Server] Add service for retrieving the current project source filenames. · 3c0c8852
  Michele Alberti authored Dec 11, 2019
  
  3c0c8852
17 Dec, 2019 2 commits
- 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 35 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