Commits · 45f9b04a5e4229fb221291513be85cff72bd7077 · pub / frama-c

21 Jan, 2019 1 commit
- [Headers] upgrade distributed files · 45f9b04a
  Loïc Correnson authored Jan 21, 2019
```
(blind make headers from specifications)
```
  45f9b04a
12 Dec, 2018 1 commit
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored Nov 28, 2018
  
  8c810173
04 Dec, 2018 1 commit
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored Dec 04, 2018
  
  4ff7e39a
03 Dec, 2018 1 commit
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored Nov 22, 2018
```
- Fix Value/Value#5
- Fix Value/Value#14
```
  af6b48cc
28 Nov, 2018 2 commits
- Fixes the build-src-distrib script for the new VERSION format. · 25dc09e0
  David Bühler authored Nov 28, 2018
  
  25dc09e0
- [Kernel] allow entries without directory in compile_commands.json · 3ad308cb
  Andre Maroneze authored Nov 28, 2018
  
  3ad308cb
23 Nov, 2018 1 commit
- Merge branch 'fix/andre/ptests-stdopt-log' into 'master' · 40750dd7
  Virgile Prevosto authored Nov 23, 2018
```
[Ptests] preserve LOG after STDOPT directive

See merge request frama-c/frama-c!2073
```
  40750dd7
22 Nov, 2018 1 commit
- [Eva] Updates alternative test oracles. · 0376a3d3
  David Bühler authored Nov 21, 2018
  
  0376a3d3
16 Nov, 2018 1 commit
- [Makefile] ensure GUI files are distributed even when GUI is disabled · 576e5202
  Andre Maroneze authored Nov 16, 2018
  
  576e5202
31 Oct, 2018 1 commit

Virgile Prevosto authored Oct 31, 2018

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

736c5476