3924088323

Builds	Branch	Commit	Type	Ran	Committer	Via	Coverage
3924088323	codegen_improvement	Fixed conjugation test.	push	15 Jan 2023 03:26PM UTC	tbuli	github	pending completion set done
3924088410	codegen_improvement	Merge 977caed48 into f6cc26da6	Pull #20	15 Jan 2023 03:26PM UTC	GitHub	github	pending completion set done
3923498349	master	Fixed merge bug.	push	15 Jan 2023 12:53PM UTC	tbuli	github	pending completion set done
3923474218	ganja_graph	Merge f6cc26da6 into 2443aa18c	Pull #21	15 Jan 2023 12:48PM UTC	GitHub	github	pending completion set done
3923474082	ganja_graph	Fixed merge bug.	push	15 Jan 2023 12:47PM UTC	tbuli	github	pending completion set done
3923428690	ganja_graph	Added normalization.	push	15 Jan 2023 12:35PM UTC	tbuli	github	pending completion set done
3923419551	ganja_graph	Replaced conj by sw for sandwich.	push	15 Jan 2023 12:33PM UTC	tbuli	github	pending completion set done
3923363587	ganja_graph	Added IPython as a dependency.	push	15 Jan 2023 12:19PM UTC	tbuli	github	pending completion set done
3918527467	codegen_improvement	Merge f1892ee4f into 2443aa18c	Pull #20	14 Jan 2023 12:38PM UTC	GitHub	github	pending completion set done
3894884278	codegen_improvement	Cleaned up operator dict test.	push	11 Jan 2023 04:52PM UTC	Martin Roelfs	github	pending completion set done
3719860466	master	Fixed typo	push	17 Dec 2022 11:44AM UTC	Martin Roelfs	github	pending completion set done
3719856466	operator_dict	Merge a11b4c3df into 64fbd1124	Pull #17	17 Dec 2022 11:43AM UTC	GitHub	github	pending completion set done
3719856328	operator_dict	Fixed typo	push	17 Dec 2022 11:42AM UTC	Martin Roelfs	github	pending completion set done
3714168179	operator_dict	Merge 4a14ec2b7 into 64fbd1124	Pull #17	16 Dec 2022 03:02PM UTC	GitHub	github	pending completion set done
3714160361	operator_dict	Fixed documentation generation	push	16 Dec 2022 03:01PM UTC	Martin Roelfs	github	pending completion set done

← Previous
1
2
…
8
9
10
11
12
13
14
15
16
Next →