Skip to Content.
Sympa Menu

coq-club - [Coq-Club] big.ml

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] big.ml


Chronological Thread 
  • From: Vadim Zaliva <vzaliva AT cmu.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] big.ml
  • Date: Mon, 8 Oct 2018 23:09:35 -0700
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vzaliva AT cmu.edu; spf=Pass smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-it1-f177.google.com
  • Ironport-phdr: 9a23:VrozuhX6QBKh0maoi8TC8EzaeArV8LGtZVwlr6E/grcLSJyIuqrYYxaHt8tkgFKBZ4jH8fUM07OQ7/i/HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9wIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W7YisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAOUbMulFron9okYFohikCgmoBePv1CVHjWLx0K0k0uUuCwXG3A0+H90Uq3nbsND1NLoIXe+r0abI0CzOYvVL0jnz74jIdwouofCKXb9oasXRyEYvGxnAjlWUr4HuIjCb1vwVvmSF8+ZtUfijhm0npg1rvzSix8YhhpPUio8XyF3J8zhyzpwvKt2iUkF7ZMapEJtOuCGeMIt7WsYiTHtpuCY+07EGuIK7cDUTxJQp2hLSaf6Kf5KH4hLkU+aRLjN4i2x/dL2jgBay9FCsyuz6VsaqzFZHtjRJnsXIu3wX1BHe6tKLRuZ880qgwzqDygLe5+NcLUAxj6XbKpohwrAqlpoUtETOBjH2l1/rg6+Xc0Uo4Omp5P7jYrXnuJ+TLZR5iw/gPaQ1hsyzG/g3Mg0TX2SB5+uzyaDj8VXjQLpWlv02jrXZsJfCKMsHoa65GhZZ3Zon6xaiFDiry88YnHkCLFJdYh2LlYnpO1fUIPD5F/izmVqskC04j8zBa7bmG9DGKmXJuLbnZ7d0rUBGmyQpytUK2ZtYC7RJEvv3W1H4/IjGHBY9MhK96+3iFZNw2p5ICjHHObOQLK6H6QzA3ekoOeTZPNZE6ga4EOAs4rvVtVF8nFYceaez2p5ONCKnE+96ZU6cfDzhjspTSD5W7Dp7d/TjjRi5aRAWf2y7DvA34yx9BY67X9+aG9KdxYeZ1SL+JaV4I2BLDlfWTyXtfoSAHvYQMWece5A+1DMDUrelRskq0hT87AI=

I have a question about using ExtrOcamlBigIntConv. The generated code depends on big.ml wrapper which is also mentioned in the documentation. Am I supposed to copy big.ml from Coq source tree to my project? It is not installed via OPAM as part of Coq package.

--
CMU ECE Ph.D. candidate
Mobile/Signal/WhatsApp: +1(510)220-1060




Archive powered by MHonArc 2.6.18.

Top of Page