Static Code Analysis

#153 done

extricate: plugin: FramaC: add $FUNCTION parameter to cli args

on devel by Denis Efremov 6244970

38.5957

2020-09-25 17:03:59.279685+02

#152 done

B-

lib: Kernel: Module: refactor macro handling

on devel by Denis Efremov f823ad8

16.9314

2020-05-14 22:36:30.564191+02

#151 done

B-

lib: File: C: Merge: fix pattern in find_all_files()

on devel by Denis Efremov 16ad502

17.3057

2020-05-08 19:37:19.845607+02

#150 done

B-

lib: graph: add more debugging code

on devel by Denis Efremov 2f82cd2

17.7696

2020-05-08 14:04:22.296443+02

#149 done

B-

lib: C: Function: check for contract in attach_declaration()

on devel by Denis Efremov be6f472

16.6332

2020-05-08 10:10:27.328478+02

#148 done

B-

extricate: plugin: FramaC: add ability to use relative paths in why3 args

on devel by Denis Efremov a98f3d0

18.2353

2020-05-07 22:52:53.866905+02

#147 done

B-

extricate: plugin: FramaC: print instrument fail immediatly

on devel by Denis Efremov 5d434f6

17.2402

2020-05-07 20:41:35.990218+02

#146 done

B-

extricate: allow to use relative paths in .config file

on devel by Denis Efremov 15c2741

18.6817

2020-05-07 12:11:32.058842+02

#145 done

B-

scripts: add clean_perl_imports.sh

on devel by Denis Efremov 7c5998d

18.964

2020-05-06 21:14:05.19988+02

#144 done

lib: C: GlobalSet: add ____cacheline_aligned

on devel by Denis Efremov 7e67cbd

20.1266

2020-05-06 20:31:48.447466+02

#143 done

B-

lib: Graph: add debugging code

on devel by Denis Efremov fdc8b64

17.2023

2020-05-05 00:38:57.70832+02

#142 done

B-

lib: C: Function: optimize a bit

on devel by Denis Efremov f497a67

17.6663

2020-05-04 22:30:55.451642+02

#141 done

B-

extricate: plugin: rewrite: fix args parsing

on devel by Denis Efremov b22026f

17.7224

2020-05-03 23:58:36.269672+02

#140 done

B-

Kernel: Makeile: check CONFIG_* options

on devel by Denis Efremov e4e3233

17.9109

2020-05-02 16:56:02.80006+02

#139 done

config: update example configurations

on devel by Denis Efremov 8abc243

16.3845

2020-04-30 23:12:27.711706+02

#138 done

extricate: add module subdirs to includes

on devel by Denis Efremov e40241b

18.2397

2020-04-30 21:55:43.65715+02

#137 done

extricate: fix message

on devel by Denis Efremov 0a80fc3

17.4302

2020-02-07 16:01:37.793297+01

#136 done

wholetree: frama-c: use av plugin instead of jessie

on devel by Denis Efremov defd31d

18.6636

2020-02-07 14:13:44.738222+01

#135 done

lib: Kernel: Module: fallback to read all files

on devel by Denis Efremov 90eafab

17.4031

2019-09-19 21:40:09.782324+02

#134 done

Extricate: Plugin: FramaC && Spatch: respect order in configuration

on devel by Denis Efremov fd24460

19.6384

2019-09-19 15:31:01.393042+02