Commits · b8608984c65b7134291f926579c73e25a728869a · Stefan Gränitz / Frama Clang

06 Jul, 2021 40 commits
- Update nix/frama-ci.* · b8608984
  Loïc Correnson authored Oct 02, 2020
  
  b8608984
- Update nix/frama-ci.* · c06581af
  François Bobot authored Oct 02, 2020
  
  c06581af
- Update nix/frama-ci.* · 0f2a24dd
  Loïc Correnson authored Sep 28, 2020
  
  0f2a24dd
- Revert "Update default.nix with why3 config" · e978b62e
  Loïc Correnson authored Oct 05, 2020
```
This reverts commit fe28f2bdfd6a347176ac3bed9a6c79fa44fb2a8d.
```
  e978b62e
- Update default.nix with why3 config · 983cd88e
  Loïc Correnson authored Oct 05, 2020
  
  983cd88e
- [tests] Update test oracle to follow frama-c!2694 · 7393f81b
  Allan Blanchard authored Sep 08, 2020
  
  7393f81b
- [tests] update oracles related to frama-c/frama-c!2836 · fb19ba7d
  Andre Maroneze authored Sep 17, 2020
  
  fb19ba7d
- update to new kernel API · 1b29ccd5
  Virgile Prevosto authored Sep 10, 2020
  
  1b29ccd5
- Update nix/frama-ci.* · 849274d2
  Virgile Prevosto authored Sep 10, 2020
  
  849274d2
- [tests] update oracle now that WP uses cache · 22acbd37
  Virgile Prevosto authored Aug 28, 2020
  
  22acbd37
- tentative robustification of WP output · 67fac618
  Virgile Prevosto authored Aug 28, 2020
  
  67fac618
- 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