1064775269

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
1064775269	master	Tightness is stated in the conformance page	push	25 Jul 2021 02:38PM UTC	Masashi Mizuno	github	83.41
1064739787	master	Improve documentation for `DecInterval`	push	25 Jul 2021 02:17PM UTC	Masashi Mizuno	github	83.41
1056815038	master	Clarify internal representation of `Interval`	push	22 Jul 2021 04:18PM UTC	Masashi Mizuno	github	83.41
1056812969	master	Clarify internal representation of [`Interval`]	push	22 Jul 2021 04:17PM UTC	Masashi Mizuno	github	83.41
1056627090	master	Document domain/range of functions	push	22 Jul 2021 03:19PM UTC	Masashi Mizuno	github	83.41
1047504533	master	Bump to v0.10.5	push	20 Jul 2021 03:44AM UTC	Masashi Mizuno	github	pending completion set done
1047450724	master	Some clarification in formal intro	push	20 Jul 2021 03:19AM UTC	Masashi Mizuno	github	83.41
1043428629	master	Bump to v0.10.4	push	19 Jul 2021 12:01AM UTC	Masashi Mizuno	github	83.41
1042867181	master	Now singleton interval has no special notation	push	18 Jul 2021 05:44PM UTC	Masashi Mizuno	github	83.41
1042657231	master	Tweak documentation	push	18 Jul 2021 03:23PM UTC	Masashi Mizuno	github	83.41
1039922640	master	Bump to v0.10.3	push	17 Jul 2021 08:41AM UTC	Masashi Mizuno	github	83.41
1039476193	master	Bump to v0.10.2	push	17 Jul 2021 03:33AM UTC	Masashi Mizuno	github	83.41
1039429371	master	Use \set macro in documentation	push	17 Jul 2021 03:04AM UTC	Masashi Mizuno	github	83.41
1039323224	master	Update documentation (#54)	push	17 Jul 2021 01:59AM UTC	GitHub	github	83.41
1039303606	doc	Merge 2730e2e50 into 4dd2d533d	Pull #54	17 Jul 2021 01:45AM UTC	GitHub	github	pending completion set done

← Previous
1
2
…
6
7
8
9
10
11
12
13
14
Next →