diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-04-22 13:57:15 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-05-05 18:01:31 -0400 |
| commit | 7c9658dab4001a636e056062d0ccff98a649bdee (patch) | |
| tree | f024cba2459d92197f5ead65d614863cfc5918ff /_CoqProject | |
| parent | e9c8361628c2803cf9cd0471b2b48eb858920f48 (diff) | |
make update-_CoqProject
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 782741ee2..6352367df 100644 --- a/_CoqProject +++ b/_CoqProject @@ -240,6 +240,7 @@ src/Curves/Weierstrass/Affine.v src/Curves/Weierstrass/AffineProofs.v src/Curves/Weierstrass/Jacobian.v src/Curves/Weierstrass/Projective.v +src/Experiments/PartialEvaluationWithLetIn.v src/Experiments/SimplyTypedArithmetic.v src/LegacyArithmetic/ArchitectureToZLike.v src/LegacyArithmetic/ArchitectureToZLikeProofs.v |