From 73aca8364fd329b2686a46737a3d248078678583 Mon Sep 17 00:00:00 2001 From: practicalswift Date: Sun, 29 Jan 2017 18:36:08 +0100 Subject: [PATCH 1/2] =?UTF-8?q?Fix=20typo:=20"exectured"=20=E2=86=92=20"ex?= =?UTF-8?q?ecuted"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- sage/group_prover.sage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sage/group_prover.sage b/sage/group_prover.sage index ab580c5..68882e9 100644 --- a/sage/group_prover.sage +++ b/sage/group_prover.sage @@ -17,7 +17,7 @@ # - A constraint describing the requirements of the law, called "require" # * Implementations are transliterated into functions that operate as well on # algebraic input points, and are called once per combination of branches -# exectured. Each execution returns: +# executed. Each execution returns: # - A constraint describing the assumptions this implementation requires # (such as Z1=1), called "assumeFormula" # - A constraint describing the assumptions this specific branch requires, From 4c0f32ed51409b340da84dd3d3f91f66b4cb4643 Mon Sep 17 00:00:00 2001 From: practicalswift Date: Sun, 29 Jan 2017 18:37:29 +0100 Subject: [PATCH 2/2] =?UTF-8?q?Fix=20typo:=20"Agressive"=20=E2=86=92=20"Ag?= =?UTF-8?q?gressive"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/asm/field_10x26_arm.s | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/asm/field_10x26_arm.s b/src/asm/field_10x26_arm.s index 5df561f..1e2d7ff 100644 --- a/src/asm/field_10x26_arm.s +++ b/src/asm/field_10x26_arm.s @@ -23,7 +23,7 @@ Note: .eabi_attribute 10, 0 @ Tag_FP_arch = none .eabi_attribute 24, 1 @ Tag_ABI_align_needed = 8-byte .eabi_attribute 25, 1 @ Tag_ABI_align_preserved = 8-byte, except leaf SP - .eabi_attribute 30, 2 @ Tag_ABI_optimization_goals = Agressive Speed + .eabi_attribute 30, 2 @ Tag_ABI_optimization_goals = Aggressive Speed .eabi_attribute 34, 1 @ Tag_CPU_unaligned_access = v6 .text