tspooner / spaces / 82

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
82	ft-integers	feat(discrete): add type for the set of integers, Z	push	25 Oct 2018 02:24PM UTC	tspooner	travis-ci	pending completion   set done
81	master	chore: push to version 3.1.1	push	24 Oct 2018 01:28PM UTC	tspooner	travis-ci	pending completion   set done
79	rf-mapping	refactor(core): rename Surjection::map -> map_onto	push	22 Oct 2018 07:19PM UTC	tspooner	travis-ci	pending completion   set done
76	master	docs: improvements to documentation across the board	push	22 Oct 2018 07:16PM UTC	tspooner	travis-ci	pending completion   set done
78	rf-product_spaces	refactor(product): group product spaces by homogeneity	push	22 Oct 2018 07:16PM UTC	tspooner	travis-ci	pending completion   set done
77	rf-rename_discrete	refactor(discrete): rename Discrete -> Ordinal	push	22 Oct 2018 07:12PM UTC	tspooner	travis-ci	pending completion   set done
75	master	test: fix tests after Interval changes	push	19 Oct 2018 04:53PM UTC	tspooner	travis-ci	pending completion   set done
70	ft-open_closed_intervals	refactor(continuous): reduce visibility of Interval::new This would allow users to create an interval with no bounds. Based on our definitions, this would amount to the real line which is implemented already. We'll just make users use the Interva...	Pull #14	19 Oct 2018 04:46PM UTC	web-flow	travis-ci	pending completion   set done
69	ft-open_closed_intervals	refactor(continuous): reduce visibility of Interval::new This would allow users to create an interval with no bounds. Based on our definitions, this would amount to the real line which is implemented already. We'll just make users use the Interva...	push	19 Oct 2018 04:38PM UTC	tspooner	travis-ci	pending completion   set done
68	master	Merge pull request #10 from tspooner/ft-positive_reals Add specialisations of the Reals type	push	19 Oct 2018 10:50AM UTC	web-flow	travis-ci	pending completion   set done
62	ft-positive_reals	feat(continuous): add positive and non-negative real numbers	Pull #10	19 Oct 2018 10:38AM UTC	web-flow	travis-ci	pending completion   set done
61	rf-restructure	refactor: rename Partitioned -> Partition	Pull #9	19 Oct 2018 10:38AM UTC	web-flow	travis-ci	pending completion   set done
59	rf-supremum_infimum	refactor: rename lb/ub to inf/sup	Pull #7	19 Oct 2018 10:36AM UTC	web-flow	travis-ci	pending completion   set done
60	rf-infinite_bounds	refactor: change BoundedSpace return types to Option<T>	Pull #8	19 Oct 2018 10:35AM UTC	web-flow	travis-ci	pending completion   set done
55	rf-supremum_infimum	refactor: rename lb/ub to inf/sup	push	18 Oct 2018 04:33PM UTC	tspooner	travis-ci	pending completion   set done

• ← Previous
• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• Next →