SRI-CSL / bixie / 55

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
55	0.6	added option serverityLimit which can be set to 0 suppress reachability warnings	push	30 Mar 2017 03:51PM UTC	Schaef	travis-ci	pending completion   set done
54	devel	Merge pull request #13 from SRI-CSL/master Syncing branches again.	push	30 Mar 2017 03:50PM UTC	web-flow	travis-ci	pending completion   set done
52	master	added option serverityLimit which can be set to 0 suppress reachability warnings	push	30 Mar 2017 03:50PM UTC	Schaef	travis-ci	pending completion   set done
51	0.5	updated soot and made the runner more robust	push	15 Mar 2017 07:07PM UTC	Schaef	travis-ci	pending completion   set done
50	master	updated soot and made the runner more robust	push	15 Mar 2017 07:03PM UTC	Schaef	travis-ci	pending completion   set done
49	0.4	Merge pull request #12 from SRI-CSL/devel added support for simple user provided method stubs	push	11 Jan 2017 04:40PM UTC	web-flow	travis-ci	pending completion   set done
48	master	Merge pull request #12 from SRI-CSL/devel added support for simple user provided method stubs	push	11 Jan 2017 04:29PM UTC	web-flow	travis-ci	pending completion   set done
47	master	added support for simple user provided method stubs	Pull #12	11 Jan 2017 04:23PM UTC	web-flow	travis-ci	pending completion   set done
46	devel	added support for simple user provided method stubs	push	11 Jan 2017 04:20PM UTC	martinschaef	travis-ci	pending completion   set done
45	0.3	Merge pull request #11 from SRI-CSL/devel Merging back json output and added boogie output flag.	push	26 Aug 2016 10:32PM UTC	web-flow	travis-ci	pending completion   set done
44	master	Merge pull request #11 from SRI-CSL/devel Merging back json output and added boogie output flag.	push	26 Aug 2016 10:10PM UTC	web-flow	travis-ci	pending completion   set done
43	master	Merge pull request #10 from MatthewBennington/jsonOutput Adding JSON report printer	Pull #11	26 Aug 2016 10:04PM UTC	web-flow	travis-ci	pending completion   set done
42	devel	Merge pull request #10 from MatthewBennington/jsonOutput Adding JSON report printer	push	26 Aug 2016 10:02PM UTC	web-flow	travis-ci	pending completion   set done
41	devel	Addressing findbugs results	Pull #10	26 Aug 2016 07:46PM UTC	web-flow	travis-ci	pending completion   set done
40	devel	added boogie printing support	push	20 Aug 2016 12:12AM UTC	martinschaef	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• Next →