ExcaliburZero / resolution-prover / 20

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
20	master	Add documentation for resolve function	push	19 Aug 2018 07:33PM UTC	ExcaliburZero	travis-ci	pending completion   set done
18	badges	Add badge for documentation to readme	push	19 Aug 2018 07:19PM UTC	ExcaliburZero	travis-ci	pending completion   set done
19	master	Add badge for documentation to readme	push	19 Aug 2018 07:14PM UTC	ExcaliburZero	travis-ci	pending completion   set done
17	master	Add doc pushes to Travis CI config	push	19 Aug 2018 07:01PM UTC	ExcaliburZero	travis-ci	pending completion   set done
16	push_docs	Add doc pushes to Travis CI config	push	19 Aug 2018 06:50PM UTC	ExcaliburZero	travis-ci	pending completion   set done
15	master	Add some more documentation	push	19 Aug 2018 05:05PM UTC	ExcaliburZero	travis-ci	pending completion   set done
14	master	Add more documentation	push	19 Aug 2018 04:47PM UTC	ExcaliburZero	travis-ci	pending completion   set done
13	master	Add some documentation for Clause	push	19 Aug 2018 04:34PM UTC	ExcaliburZero	travis-ci	pending completion   set done
11	badges	Add badges to readme	push	14 Aug 2018 06:28AM UTC	ExcaliburZero	travis-ci	pending completion   set done
12	master	Add badges to readme	push	14 Aug 2018 06:27AM UTC	ExcaliburZero	travis-ci	pending completion   set done
10	master	Add license info to readme	push	14 Aug 2018 06:24AM UTC	ExcaliburZero	travis-ci	pending completion   set done
9	master	Add even more content to readme	push	14 Aug 2018 06:22AM UTC	ExcaliburZero	travis-ci	pending completion   set done
8	master	Add more content to readme	push	14 Aug 2018 06:02AM UTC	ExcaliburZero	travis-ci	pending completion   set done
7	master	Add license file	push		ExcaliburZero	travis-ci	pending completion   set done
6	master	Add readme file	push	14 Aug 2018 05:47AM UTC	ExcaliburZero	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• Next →