Skip to content
Commit 646ddd20 authored by lithium\n-sibata's avatar lithium\n-sibata Committed by Francesco Petrogalli
Browse files

* Added the different requirements on the parameters of ddadd and ddadd2 as comments. 

* Through extended testing, it turned out that the required condition by ddadd only holds for 1st, 2nd and last addition in argument reduction. The code is modified to reflect this.
parent 8766abba
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment