Commits · af6b48ccf14a09fb4bfc6a1e3a3c850bb7e78065 · pub / frama-c · GitLab

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
09 Dec, 2005 1 commit
- The public history of Frama-C has been truncated to the commits after the tag 18.0 · a35d2118
  Frama-C Team authored Dec 09, 2005
  
  a35d2118