Commits · d494d7d8e235b8ec613776e313e68cb50dfb3ea0 · Stefan Gränitz / Frama Clang

Jul 06, 2021
- 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 fe28f2bd.
  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
- [Nix] Fetch and use unstable packages with RTTI fix. · b1e8776e
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  b1e8776e
- [Nix] Fetch and use unstable packages with RTTI fix. · 59cf8409
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  59cf8409
- [Nix] Fetch and use unstable packages with RTTI fix. · ff30e7ae
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  ff30e7ae
- [configure] keep rtti in clang plugin · 25bb4e6e
  Virgile Prevosto authored 4 years ago
  
  25bb4e6e
- [ci] update nixos version to 20.03 · c63783f0
  Virgile Prevosto authored 4 years ago
  
  c63783f0
- Change in rev and ref. · 3a89b909
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  3a89b909
- Change in rev and ref. · 5d2e1164
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  5d2e1164
- Change in rev and ref. · f59f6155
  Michele Alberti authored 4 years ago and Virgile Prevosto committed 3 years ago
  
  f59f6155