Commits · 2f3bbfc45e4fd55afdd4e3f4dab074149c026ecd · Stefan Gränitz / Frama Clang

Jul 06, 2021
- remove some fall-through warnings · 2f3bbfc4
  Franck Vedrine authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  2f3bbfc4
- update to llvm-11 · 96999dc0
  Franck Vedrine authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  96999dc0
- tr1 is obsolete in the stdlib · 78839ec1
  Virgile Prevosto authored 4 years ago
  
  78839ec1
- Reset default branch · 923fb22d
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  923fb22d
- Change default branch · 17b5c31d
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  17b5c31d
- Fix test related to commit 1e3d8db3 · f8c58645
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  f8c58645
- Follows a change in WP hypotheses names · 1ee0278c
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  1ee0278c
- Robustify WP tests · 0f9cfa83
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  0f9cfa83
- WP hypotheses now have a location · d494d7d8
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  d494d7d8
- Deactivate pedantic assigns warning in WP · 2c6fbce2
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  2c6fbce2
- Update tests following variadic modification · 6c317c07
  Basile Desloges authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  6c317c07
- update oracle and cache · 80780e82
  Virgile Prevosto authored 4 years ago
  
  80780e82
- Update nix/frama-ci.* · 417670cb
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  417670cb
- Update issue27-pred.res.oracle · 3122818e
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  3122818e
- Update default.nix with why3 config · 5e4d6248
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  5e4d6248
- Update default.nix to use default alt-ergo · 7cba5f28
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  7cba5f28
- Update default.nix with Alt-Ergo 2.3.1 · 61876f2e
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  61876f2e
- Update nix/frama-ci.* · b8608984
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  b8608984
- Update nix/frama-ci.* · c06581af
  François Bobot authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  c06581af
- Update nix/frama-ci.* · 0f2a24dd
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  0f2a24dd
- Revert "Update default.nix with why3 config" · e978b62e
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  This reverts commit fe28f2bdfd6a347176ac3bed9a6c79fa44fb2a8d.
  e978b62e
- Update default.nix with why3 config · 983cd88e
  Loïc Correnson authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  983cd88e
- [tests] Update test oracle to follow frama-c!2694 · 7393f81b
  Allan Blanchard authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  7393f81b
- [tests] update oracles related to frama-c/frama-c!2836 · fb19ba7d
  Andre Maroneze authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  fb19ba7d
- update to new kernel API · 1b29ccd5
  Virgile Prevosto authored 4 years ago
  
  1b29ccd5
- Update nix/frama-ci.* · 849274d2
  Virgile Prevosto authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  849274d2
- [tests] update oracle now that WP uses cache · 22acbd37
  Virgile Prevosto authored 4 years ago
  
  22acbd37
- tentative robustification of WP output · 67fac618
  Virgile Prevosto authored 4 years ago
  
  67fac618
- Update nix/frama-ci.* · 612e8436
  Virgile Prevosto authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  612e8436
- Update nix/frama-ci.* · 2632402c
  Virgile Prevosto authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  2632402c
- [CI] the version of nix tools have been bumped · 3c4fdb6f
  François Bobot authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  3c4fdb6f
- Update nix/frama-ci.* · 2eb3dc83
  Virgile Prevosto authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  2eb3dc83
- [CI] cleanup remnants of old attempts · 3ff66c5f
  Virgile Prevosto authored 4 years ago
  
  3ff66c5f
- [Nix] Try to use alt-ergo 2.0.0. · 61f65aed
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  61f65aed
- [Nix] Add alt-ergo dependency. · 7d3f28cd
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  7d3f28cd
- [Nix] AllowUnfree for alt-ergo. · 86301a58
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  86301a58
- [Nix] Temporary HOME. · 1eaa62b8
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  1eaa62b8
- [Nix] Force configure why3. · 04cc0191
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  04cc0191
- [Nix] Some hacking. · 6dbba25f
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  6dbba25f
- [Nix] Fetch and use unstable packages with RTTI fix. · 876cffb6
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  876cffb6