evdenis / spec-utils / 141

Builds Branch Commit Type Ran Committer Via Coverage
141 devel extricate: disable recursion check for Storable push evdenis travis-ci pending completion   set done
140 devel travis: update perl versions push evdenis travis-ci pending completion   set done
139 devel travis: use Ubuntu Xenial for tests push evdenis travis-ci pending completion   set done
138 devel Makefile && travis: bump kernel versions push evdenis travis-ci pending completion   set done
137 devel lib: C: GlobalSet: improve global definitions parsing push evdenis travis-ci pending completion   set done
136 devel C: ACSLComment: simplify detection of logic definitions push evdenis travis-ci pending completion   set done
135 devel C: ACSLComment: improve definitions match push evdenis travis-ci pending completion   set done
134 devel extricate: declaration/definition function contract handling push Denis Efremov travis-ci pending completion   set done
133 devel extricate: declaration/definition function contract handling push Denis Efremov travis-ci pending completion   set done
127 devel extricate: declaration/definition function contract handling push Denis Efremov travis-ci pending completion   set done
126 devel extricate: graph: allow acslcomments in module's macro push Denis Efremov travis-ci pending completion   set done
125 devel extricate: plugin: spatch: allow to use pattern to match functions names push Denis Efremov travis-ci pending completion   set done
124 devel merge: 2 bugs fixed push Denis Efremov travis-ci pending completion   set done
123 devel scripts: compare_verdicts: print successefull results also push Denis Efremov travis-ci pending completion   set done
122 devel extricate: plugin: filter: should check all vertices every time push Denis Efremov travis-ci pending completion   set done