diff options
author | Jade Philipoom <jadep@mit.edu> | 2015-12-28 14:03:20 -0500 |
---|---|---|
committer | Jade Philipoom <jadep@mit.edu> | 2015-12-28 14:03:20 -0500 |
commit | 7a0d65cc22ef66f96e077c14b9c05ed3b4f4886a (patch) | |
tree | a2d86ad03815f9f1e81c6a977eab32b7d8cba59d /src/.gitignore | |
parent | 3615064f24076237bcd1f3b7815defd29d01a93b (diff) |
PointFormats : removed reliance on Pos.size_nat; doubleAndAdd now takes an argument that serves as an upper bound on bit length.
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions