#521

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
#521	remove-unused-sandbox-and-relation-dep	remove unused sandboxed evaluator, and the relation-lib dependency	push	22 Sep 2022 08:12PM UTC	countvajhula	cover	pending completion set done
#520	main	add relation-lib to doc dependencies	push	22 Sep 2022 07:57PM UTC	countvajhula	cover	pending completion set done
#519	main	minor tidying in makefile	push	22 Sep 2022 12:57AM UTC	countvajhula	cover	pending completion set done
#518	first-optimizations	note about optimizing "active" components of optimized expansions	push	16 Sep 2022 04:48PM UTC	countvajhula	cover	pending completion set done
#517	HEAD	Merge 98222a567 into 06c0e2486	push	16 Sep 2022 04:47PM UTC	web-flow	cover	pending completion set done
#516	first-optimizations	note a todo	push	16 Sep 2022 06:23AM UTC	countvajhula	cover	pending completion set done
#515	HEAD	Merge be3a1ad15 into 06c0e2486	push	16 Sep 2022 06:20AM UTC	web-flow	cover	pending completion set done
#514	HEAD	Merge da13619a4 into 06c0e2486	push	16 Sep 2022 06:08AM UTC	web-flow	cover	pending completion set done
#513	first-optimizations	incorporate various identities as optimizations	push	16 Sep 2022 06:07AM UTC	countvajhula	cover	pending completion set done
#512	first-optimizations	eliminate superfluous identity flows	push	16 Sep 2022 05:57AM UTC	countvajhula	cover	pending completion set done
#511	HEAD	Merge ee6b712e7 into 06c0e2486	push	16 Sep 2022 05:57AM UTC	web-flow	cover	pending completion set done
#510	first-optimizations	flatten nested compositions (associative law)	push	16 Sep 2022 05:53AM UTC	countvajhula	cover	pending completion set done
#509	HEAD	<a href="https://github.com/countvajhula/qi/commit/bc1194861 ">Merge </a><a class="double-link" href="https://github.com/countvajhula/qi/commit/ea8974c8c ">ea8974c8c</a><a href="https://g...	push	16 Sep 2022 05:51AM UTC	web-flow	cover	pending completion set done
#508	first-optimizations	merge amps in sequence	push	16 Sep 2022 05:48AM UTC	countvajhula	cover	pending completion set done
#507	HEAD	<a href="https://github.com/countvajhula/qi/commit/c1d4ff534 ">Merge </a><a class="double-link" href="https://github.com/countvajhula/qi/commit/0c475aae0 ">0c475aae0</a><a href="https://g...	push	16 Sep 2022 05:45AM UTC	web-flow	cover	pending completion set done

← Previous
1
2
3
4
5
6
7
8
9
…
36
37
Next →