diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-02-07 12:56:03 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:38:54 -0400 |
| commit | 2fc6795648fb11ed5e5bd50f473ef477432c5365 (patch) | |
| tree | 62c92c3b079d9e42b68be4473257f229b5fcbd5b /Makefile | |
| parent | d3ffb9c9af7dcba46aaeb5a6cd3da5543165e432 (diff) | |
EdDSA25519 : wrote and proved optimized PointEncoding, which encodes y and the sign bit of x, then solves the curve equation for x ^ 2. Required adding several lemmas to GaloisField (and moving others there from PointFormats).
recursive-build coqprime
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -5,10 +5,13 @@ MODULES := Curves Galois Rep Specific Tactics Util VS := $(MODULES:%=src/%/*.v) -.PHONY: coq clean install +.PHONY: coq clean install coqprime .DEFAULT_GOAL: coq -coq: Makefile.coq +coqprime: + $(MAKE) -C coqprime + +coq: Makefile.coq coqprime $(MAKE) -f Makefile.coq Makefile.coq: Makefile $(VS) |