Commits · ded1c3e329a296101b7d005e98f02e8a5efa70a0 · pub / frama-c

Jan 18, 2019
- [ACSL] fix the fix on logic reads · ded1c3e3
  Virgile Prevosto authored 6 years ago
  
  ded1c3e3
- [ACSL] fixes acceptance of identifier with ACSL keyword in volatile clauses · 676b1078
  Virgile Prevosto authored 6 years ago
  
  676b1078
- [ACSL] Accept ACSL keywords as C identifiers as volatile or logic reads zones · fe04c520
  Virgile Prevosto authored 6 years ago
  
  fe04c520
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173
Dec 04, 2018
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Dec 03, 2018
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored 6 years ago
  
  - Fix Value/Value#5 - Fix Value/Value#14
  af6b48cc
Nov 28, 2018
- Fixes the build-src-distrib script for the new VERSION format. · 25dc09e0
  David Bühler authored 6 years ago
  
  25dc09e0
- [Kernel] allow entries without directory in compile_commands.json · 3ad308cb
  Andre Maroneze authored 6 years ago
  
  3ad308cb
Nov 23, 2018
- Merge branch 'fix/andre/ptests-stdopt-log' into 'master' · 40750dd7
  Virgile Prevosto authored 6 years ago
  
  [Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
  40750dd7
Nov 22, 2018
- [Eva] Updates alternative test oracles. · 0376a3d3
  David Bühler authored 6 years ago
  
  0376a3d3
Nov 16, 2018
- [Makefile] ensure GUI files are distributed even when GUI is disabled · 576e5202
  Andre Maroneze authored 6 years ago
  
  576e5202
Oct 31, 2018

[aorai] Fixes place of comment in Makefile · 736c5476

This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems
in better shape) pushing a nearly empty commit.

736c5476