Commit ba3e052d authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 89ad7a67
......@@ -19,7 +19,7 @@ parameterizes it only over the parameters that it actually needs.
In the Coq backend, split the largest definitions into smaller
ones. This circumvenents a limitation of vm_compute on 32 bit
ones. This circumvents a limitation of vm_compute on 32 bit
machines. This also enables us to perform sharing between
definitions, so that the generated files are much smaller.
Markdown is supported
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