Specify :inputs and :outputs; CCL works
More :inputs and :outputs specified. CCL now passes all 1208 tests if certain functions are traced (bug in CCL?) (trace polynomial-eval-divided-difference swap-elements permutation-reverse lu-invert permutation-next)
Loading
Please register or sign in to comment