- Jun 01, 2020
-
-
- May 07, 2020
-
-
Raphael Defosseux authored-- check if C file has a GNU GPL license -- check if C file has s suspect license -- check if C header is having correct circular dependency protection (with Laurent Thomas's help) Signed-off-by:Raphael Defosseux <raphael.defosseux@eurecom.fr>
-
- Feb 28, 2019
-
-
Raphael Defosseux authored
Signed-off-by:
-
- Sep 26, 2018
-
-
Raphael Defosseux authored
Signed-off-by:
-
- Jul 30, 2018
-
-
Wang Tsu-Han authored
-
- Jul 27, 2018
-
-
Raphael Defosseux authored
Signed-off-by:
-
- Jun 22, 2018
-
-
Raphael Defosseux authored
Signed-off-by:
-
- Jun 15, 2018
-
-
Raphael Defosseux authored
- comment to GitLab merge-request does not anymore # as number (misinterpreted as issue number) - added local build script w/ generation of HTML result file Improvements on bash scripts: - use of proper option parsing Signed-off-by:
-
- Jun 12, 2018
-
-
Raphael Defosseux authored
Signed-off-by: -
Raphael Defosseux authored
Signed-off-by:
-
