Commits on Source (487)
Showing
- .gitattributes 98 additions, 0 deletions.gitattributes
- .gitignore 3 additions, 2 deletions.gitignore
- .gitlab-ci.yml 132 additions, 35 deletions.gitlab-ci.yml
- CHANGELOG.md 19 additions, 0 deletionsCHANGELOG.md
- CMakeLists.txt 0 additions, 64 deletionsCMakeLists.txt
- DESCRIPTION.md 1 addition, 0 deletionsDESCRIPTION.md
- Doxyfile 1 addition, 1 deletionDoxyfile
- Frama_Clang.ml 1 addition, 1 deletionFrama_Clang.ml
- LICENSE 2 additions, 5 deletionsLICENSE
- LLVM_REV 0 additions, 2 deletionsLLVM_REV
- Makefile 45 additions, 106 deletionsMakefile
- README.md 17 additions, 10 deletionsREADME.md
- VERSION 0 additions, 1 deletionVERSION
- bin/set-version.sh 66 additions, 0 deletionsbin/set-version.sh
- class.ml 1 addition, 1 deletionclass.ml
- class.mli 1 addition, 1 deletionclass.mli
- configure.ac 0 additions, 122 deletionsconfigure.ac
- convert.ml 2289 additions, 2334 deletionsconvert.ml
- convert.mli 1 addition, 1 deletionconvert.mli
- convert_acsl.ml 435 additions, 371 deletionsconvert_acsl.ml
.gitattributes
0 → 100644
CHANGELOG.md
0 → 100644
CMakeLists.txt
deleted
100644 → 0
DESCRIPTION.md
0 → 100644
LLVM_REV
deleted
100644 → 0
VERSION
deleted
100644 → 0
Makefile.clang
→
bin/set-version.sh
100644 → 100755
configure.ac
deleted
100644 → 0
This diff is collapsed.
This diff is collapsed.