Commit c8694daf authored by Charles Bouillaguet's avatar Charles Bouillaguet
Browse files

checkpoint

parent 9bcc4fb8
......@@ -8,3 +8,4 @@ moebius_demo
/monica_packed
/monica_oblivious
/monica_vector
/macaulay
......@@ -6,13 +6,14 @@ CFLAGS += -fopenmp
LDFLAGS += -fopenmp
LDLIBS += -lm
all: parser_demo parser_demo_alt moebius_demo monica monica_vector
all: parser_demo parser_demo_alt moebius_demo monica monica_vector macaulay
monica: parser.o monica.o
monica_vector: parser.o monica_vector.o
parser_demo: parser.o parser_demo.o
parser_demo_alt: parser.o parser_demo_alt.o
moebius_demo: parser.o moebius.o moebius_demo.o
macaulay: parser.o macaulay.o
moebius_demo.o: parser.h moebius.h
parser_demo.o: parser.h
......
......@@ -7,7 +7,7 @@ Exhaustive search is available elsewhere, in the [libfes-lite](https://gitlab.li
# Monica
This program implements a striped-down version of the [Crossbred algorithm of Joux-Vitse](https://hal.archives-ouvertes.fr/PRISM/hal-01981516v1). It handles at most 64 variables. At this point, it is not multi-threaded.
This program implements a striped-down version of the [Crossbred algorithm of Joux-Vitse](https://hal.archives-ouvertes.fr/PRISM/hal-01981516v1), limited to `D=2`. It handles at most 64 variables. At this point, it is not multi-threaded.
Internally, it uses "libfes-style" gray-code enumeration to evaluate polynomials quickly.
......
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment