File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change 1717# - A constraint describing the requirements of the law, called "require"
1818# * Implementations are transliterated into functions that operate as well on
1919# algebraic input points, and are called once per combination of branches
20- # exectured . Each execution returns:
20+ # executed . Each execution returns:
2121# - A constraint describing the assumptions this implementation requires
2222# (such as Z1=1), called "assumeFormula"
2323# - A constraint describing the assumptions this specific branch requires,
Original file line number Diff line number Diff line change 2323 .eabi_attribute 10 , 0 @ Tag_FP_arch = none
2424 .eabi_attribute 24 , 1 @ Tag_ABI_align_needed = 8 - byte
2525 .eabi_attribute 25 , 1 @ Tag_ABI_align_preserved = 8 - byte , except leaf SP
26- .eabi_attribute 30 , 2 @ Tag_ABI_optimization_goals = Agressive Speed
26+ .eabi_attribute 30 , 2 @ Tag_ABI_optimization_goals = Aggressive Speed
2727 .eabi_attribute 34 , 1 @ Tag_CPU_unaligned_access = v6
2828 .text
2929
You can’t perform that action at this time.
0 commit comments