Commits · 612e84361576ae61272541c1a32c9ad98643a856 · Stefan Gränitz / Frama Clang · GitLab

06 Jul, 2021 40 commits
- Update nix/frama-ci.* · 612e8436
  Virgile Prevosto authored Aug 27, 2020
  
  612e8436
- Update nix/frama-ci.* · 2632402c
  Virgile Prevosto authored Aug 26, 2020
  
  2632402c
- [CI] the version of nix tools have been bumped · 3c4fdb6f
  François Bobot authored Aug 21, 2020
  
  3c4fdb6f
- Update nix/frama-ci.* · 2eb3dc83
  Virgile Prevosto authored Aug 07, 2020
  
  2eb3dc83
- [CI] cleanup remnants of old attempts · 3ff66c5f
  Virgile Prevosto authored Aug 06, 2020
  
  3ff66c5f
- [Nix] Try to use alt-ergo 2.0.0. · 61f65aed
  Michele Alberti authored Aug 06, 2020
  
  61f65aed
- [Nix] Add alt-ergo dependency. · 7d3f28cd
  Michele Alberti authored Aug 06, 2020
  
  7d3f28cd
- [Nix] AllowUnfree for alt-ergo. · 86301a58
  Michele Alberti authored Aug 06, 2020
  
  86301a58
- [Nix] Temporary HOME. · 1eaa62b8
  Michele Alberti authored Aug 06, 2020
  
  1eaa62b8
- [Nix] Force configure why3. · 04cc0191
  Michele Alberti authored Aug 06, 2020
  
  04cc0191
- [Nix] Some hacking. · 6dbba25f
  Michele Alberti authored Aug 06, 2020
  
  6dbba25f
- [Nix] Fetch and use unstable packages with RTTI fix. · 876cffb6
  Michele Alberti authored Aug 06, 2020
  
  876cffb6
- [Nix] Fetch and use unstable packages with RTTI fix. · b1e8776e
  Michele Alberti authored Aug 06, 2020
  
  b1e8776e
- [Nix] Fetch and use unstable packages with RTTI fix. · 59cf8409
  Michele Alberti authored Aug 06, 2020
  
  59cf8409
- [Nix] Fetch and use unstable packages with RTTI fix. · ff30e7ae
  Michele Alberti authored Aug 06, 2020
  
  ff30e7ae
- [configure] keep rtti in clang plugin · 25bb4e6e
  Virgile Prevosto authored Aug 06, 2020
  
  25bb4e6e
- [ci] update nixos version to 20.03 · c63783f0
  Virgile Prevosto authored Aug 05, 2020
  
  c63783f0
- Change in rev and ref. · 3a89b909
  Michele Alberti authored Aug 04, 2020
  
  3a89b909
- Change in rev and ref. · 5d2e1164
  Michele Alberti authored Aug 04, 2020
  
  5d2e1164
- Change in rev and ref. · f59f6155
  Michele Alberti authored Aug 04, 2020
  
  f59f6155
- CI file updates. · 112e0b5f
  Michele Alberti authored Aug 04, 2020
  
  112e0b5f
- Use new helpers option · 23b5f085
  François Bobot authored Aug 29, 2019
  
  23b5f085
- Remove temporarily this test that doesn't work on nix · 86c89d15
  François Bobot authored Aug 20, 2019
  
  86c89d15
- [CI] Bump to llvm 7 · a3250505
  François Bobot authored Aug 20, 2019
  
  a3250505
- [Nix] try to give CLANG include dir · 18765241
  François Bobot authored Aug 05, 2019
  
  18765241
- Transition to String.* to String.*_ascii · fafb5e27
  François Bobot authored Aug 05, 2019
  
  fafb5e27
- [CI] initialization Frama-CI · 3f85af16
  François Bobot authored Aug 05, 2019
```
But with clang 3.5 instead of 3.3
```
  3f85af16
- Update nix/frama-ci.* · 35d35a3c
  François Bobot authored Aug 05, 2019
  
  35d35a3c
- [tests] update oracles · 475a0e01
  Virgile Prevosto authored Aug 05, 2020
  
  475a0e01
- [tests] update options for tests involving WP · 51dd8503
  Virgile Prevosto authored Aug 05, 2020
  
  51dd8503
- [tests] use better C++ expression for testing, avoiding a Clang warning · 3b19f39e
  Virgile Prevosto authored Aug 04, 2020
  
  3b19f39e
- [tests] update oracle against change in Frama-C's libc · 42b1074a
  Virgile Prevosto authored Aug 04, 2020
  
  42b1074a
- [kernel-API] update against suppression of Transitioning in Frama-C core · 4548fd43
  Virgile Prevosto authored Aug 04, 2020
  
  4548fd43
- [Makefile] fixes variable names for internal compilation · 1116170e
  Virgile Prevosto authored Aug 04, 2020
  
  1116170e
- fixes headers generation · 50072a70
  Virgile Prevosto authored Jul 09, 2020
  
  50072a70
- update README · 06d3689f
  Virgile Prevosto authored Jul 09, 2020
  
  06d3689f
- preparing 0.0.9 release · ec9af29a
  Virgile Prevosto authored Jul 09, 2020
  
  ec9af29a
- [conversion] do not attempt to mangle extern C enum name · 32a2c056
  Virgile Prevosto authored Mar 13, 2020
  
  32a2c056
- [conversion] handle clang's ImplicitValueInitExpr · 77981cda
  Virgile Prevosto authored Mar 13, 2020
  
  77981cda
- tests cases for reported issues · 3e94bf47
  Virgile Prevosto authored Mar 10, 2020
  
  3e94bf47