diff options
author | Jason Gross <jgross@mit.edu> | 2017-03-15 13:36:43 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-03-15 13:36:43 -0400 |
commit | d826ef007efdab3e749a3c0d018a93a811993b6c (patch) | |
tree | 384fba2c77536ef2cff87698787688839b6998a9 /crypto-defects.md | |
parent | 2c2ac41de0bedabc3b8fd53d28f8b65859eb4287 (diff) |
Add a "lite" target
This builds everything in the default target except
WeierstrassCurveTheorems.vo, which, I believe, is the slowest file.
This closes #129.
Diffstat (limited to 'crypto-defects.md')
0 files changed, 0 insertions, 0 deletions