diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-09 02:07:30 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-09 03:07:21 -0400 |
| commit | 34a28d5226491db66984d9f234204ca3d87e5ff7 (patch) | |
| tree | 6013d75a07af166db8f88f14bbb62f575bf98db9 /_CoqProject | |
| parent | 6eea812df480ec9dfff175e8910e32eb20658b8b (diff) | |
Add UniformWeightInstances
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 56eeb51ff..4fe8488d0 100644 --- a/_CoqProject +++ b/_CoqProject @@ -35,6 +35,7 @@ src/Arithmetic/Saturated/Freeze.v src/Arithmetic/Saturated/MontgomeryAPI.v src/Arithmetic/Saturated/MulSplit.v src/Arithmetic/Saturated/UniformWeight.v +src/Arithmetic/Saturated/UniformWeightInstances.v src/Arithmetic/Saturated/Wrappers.v src/Compilers/CommonSubexpressionElimination.v src/Compilers/CommonSubexpressionEliminationDenote.v |