evdenis / spec-utils / 84

Builds Branch Commit Type Ran Committer Via Coverage
84 devel scripts: sprove use file arg && function instead of dir push evdenis travis-ci pending completion   set done
83 devel dismember: add configuration && script for why3sprove push evdenis travis-ci pending completion   set done
82 v2.2 lib: c: global_set: handle DEFINE_SRCU push evdenis travis-ci pending completion   set done
81 devel lib: c: global_set: handle DEFINE_SRCU push evdenis travis-ci pending completion   set done
80 devel lib: c: global_set: handle asm in global defs push evdenis travis-ci pending completion   set done
79 devel lib: app: graph: add 1 for successefull module loading push evdenis travis-ci pending completion   set done
76 devel dismember: remove YAML::XS dependency push evdenis travis-ci pending completion   set done
74 devel lib: gcc: preprocess: define __KERNEL__ before includes push evdenis travis-ci pending completion   set done
73 devel vagrant: update provision Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
72 v2.1 readme: add link to youtube push web-flow travis-ci pending completion   set done
71 devel readme: add link to youtube push web-flow travis-ci pending completion   set done
70 devel readme: add banner push evdenis travis-ci pending completion   set done
69 devel lib/app/graph: highlight done nodes Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
68 devel config/status_ext2_sample: sample configuration update Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done
67 devel makefile: quiet for wget Signed-off-by: Denis Efremov <efremov@linux.com> push evdenis travis-ci pending completion   set done