evdenis / spec-utils / 186

Builds Branch Commit Type Ran Committer Via Coverage
186 devel extricate: plugin: FramaC: add $FUNCTION parameter to cli args Signed-off-by: Denis Efremov <efremov@ispras.ru> push evdenis travis-ci pending completion   set done
185 devel lib: Kernel: Module: refactor macro handling Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
184 devel lib: File: C: Merge: fix pattern in find_all_files() Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
183 devel lib: graph: add more debugging code Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
182 devel lib: C: Function: check for contract in attach_declaration() Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
181 devel extricate: plugin: FramaC: add ability to use relative paths in why3 args Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
180 devel extricate: plugin: FramaC: print instrument fail immediatly Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
179 devel extricate: allow to use relative paths in .config file Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
178 devel scripts: add clean_perl_imports.sh Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
177 devel lib: C: GlobalSet: add ____cacheline_aligned Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
176 devel lib: Graph: add debugging code Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
175 devel lib: C: Function: optimize a bit Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
174 devel extricate: plugin: rewrite: fix args parsing Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
173 devel Kernel: Makeile: check CONFIG_* options Read autoconfig.h and check options in Makefiles. Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
172 devel config: update example configurations Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done